\documentclass[12pt]{article}
% Please don't use your own macros.
% The next macro is included as it is not defined in the standard LaTeX class;
% don't delete or modify the next line.
\def\address#1{\def\email##1{\endgraf\medskip\emph{E-mail}: \ttfamily ##1}\date{\small #1}}
\begin{document}
\title{Something New in Topological Algebra \\ and Set-Theoretic Topology}
% Fill in the title of your talk
\author{Organizing Committee}
% Fill in your name
\address{%
Faculty of Mechanics and Mathematics, \\
M.\,V.~Lomonosov Moscow State University, \\
1 Leninskie Gory, Moscow 119991, Russia
\email{TopAlgebra2018@gmail.com}}
% Fill in your institution, your institutional address and e-mail
\maketitle
%%<<<< Here goes the body of your abstract.
% Please do not declare theorem environments,
% use standard font markup and vertical spacing instead.
% If you want to highlight some statements you may use the pattern below >>>>.
Write a text on the topic of your research, optimally about 1 page long
(using standard {\LaTeX} layout).
Then send us the TeX file and, optionally, its printable version in PS or PDF format.
The deadline for submission of abstracts is June 30, 2018.
%%>>>> We're done! Uncomment the next line.
%\end{document}
\section*{A Short Manual of Style}
We will discuss how one can generalize a known result from the paper
[Author1, Author2, \emph{Journal}, Year]
% an alternative to \cite{bib} references and extensive list in `thebibliography' environment
to a wider class of groups.
\medskip
\textbf{Definition 1.}
A topological group $G$ satisfying this and that conditions is called \emph{like this}.
\medskip
We establish two new facts.
\medskip
\textbf{Theorem 1.}
{\em Assume these conditions. Then the first statement holds.}
\medskip
\textbf{Theorem 2.}
(Model1 + $\neg$Model2)
{\em Under those additional assumptions, we obtain the second statement.}
\medskip
\textbf{Problem.}
Can Theorem 2 be proven in ZFC?
\end{document}