%% This document created by Scientific Word (R) Version 3.0
\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
%TCIDATA{OutputFilter=latex2.dll}
%TCIDATA{CSTFile=LaTeX article (bright).cst}
%TCIDATA{Created=Thu Mar 09 08:58:24 2000}
%TCIDATA{LastRevised=Fri Mar 10 13:59:23 2000}
%TCIDATA{}
%TCIDATA{}
\newtheorem{theorem}{Theorem}
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}
\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\begin{document}
\title{First International Congress on Tools for Teaching Logic.\\My title}
\author{Me\\My University}
\maketitle
\begin{abstract}
My abstract.
\end{abstract}
\section{Section}
\noindent This shell document provides a sample layout of a standard LaTeX
article. Replace the text in this shell with your own.
\subsection{Subsection}
Use the Section tag for major sections, and the Subsection tag for subsections.
\subsubsection{Subsubsection}
\paragraph{Subsubsubsection}
\subparagraph{Subsubsubsubsection}
\subsection{Lists}
You can create numbered, bulleted, and description lists using the tag popup
at the bottom left of the screen.
\begin{enumerate}
\item List item 1
\item List item 2
\end{enumerate}
\begin{itemize}
\item Bullet item 1
\item Bullet item 2
\end{itemize}
\begin{description}
\item [ Description List]Each description list item has a term followed by the
description of that term. Double click the term box to enter the term, or to
change it.
\end{description}
\subsection{Theorem Environments}
The following theorem-like environments (in alphabetical order) are available
in this style.
\begin{acknowledgement}
This is an acknowledgement
\end{acknowledgement}
\begin{algorithm}
This is an algorithm
\end{algorithm}
\begin{axiom}
This is an axiom
\end{axiom}
\begin{case}
This is a case
\end{case}
\begin{claim}
This is a claim
\end{claim}
\begin{conclusion}
This is a conclusion
\end{conclusion}
\begin{condition}
This is a condition
\end{condition}
\begin{conjecture}
This is a conjecture
\end{conjecture}
\begin{corollary}
This is a corollary
\end{corollary}
\begin{criterion}
This is a criterion
\end{criterion}
\begin{definition}
This is a definition
\end{definition}
\begin{example}
This is an example
\end{example}
\begin{exercise}
This is an exercise
\end{exercise}
\begin{lemma}
This is a lemma
\end{lemma}
\begin{proof}
This is the proof of the lemma.
\end{proof}
\begin{notation}
This is notation
\end{notation}
\begin{problem}
This is a problem
\end{problem}
\begin{proposition}
This is a proposition
\end{proposition}
\begin{remark}
This is a remark
\end{remark}
\begin{solution}
This is a solution
\end{solution}
\begin{summary}
This is a summary
\end{summary}
\begin{theorem}
This is a theorem
\end{theorem}
\begin{proof}
[Proof of the Main Theorem]This is the proof.
\end{proof}
\end{document}