BOTH 2001
Workshop on Bohm's theorem: applications
to Computer Science Theory

July 13, 2001, Crete, Greece
co-location with ICALP'01


Instructions to authors

  • Recompile your file with the entcsmacro.sty.
    You can find it at URL http://math.tulane.edu/~entcs/ especially prepared for BOTH 2001.
    (The entscsmacro.sty file can also be found at end of this page).

  • Put all source files (latex, figures, special style files, ps, pdf files, etc) in a gzipped tar file.

  • Email it to jean-jacques.levy@inria.fr
    % Macro file for Electronic Notes in Theoretical Computer Science.
    % Adopted from document-style for journals published by Elsevier Science. 
    % To be used with LaTeX version 2.09 of 14 January 1992 (or later) 
    %
    % Version: 1.10
    % Date:    13 February 1998
    %
    % Copyright (C) 1998. All rights reserved.
    %
    % IMPORTANT NOTICE:
    %
    % You are not allowed to change this file. You may however copy this file 
    % to a file with a different name and then change the copy. 
    % 
    % You are NOT ALLOWED to distribute this file alone. You are NOT ALLOWED 
    % to take money for the distribution or use of this file (or a changed 
    % version) except for a nominal charge for copying etc. 
    % 
    % You are allowed to distribute this file under the condition that it is 
    % distributed together with all files mentioned in readme.els. 
    % 
    % If you receive only some of these files from someone, complain! 
    % 
    %
    
    \headheight 10pt
    \headsep 20pt
    \footskip 20pt
    \setlength{\topmargin}{-30pt}
    \addtolength{\textheight}{25pt} 
    
    \def\labelenumi{\rm\normalshape (\theenumi)}     
    \def\labelenumii{\rm\normalshape (\theenumii)}
    
    \font\eightrm=cmr8 scaled\magstep1
    \font\eightbf=cmbx8 scaled\magstep1
    \font\eighttt=cmtt8 scaled\magstep1
    \font\eightit=cmsl10
    \font\sixrm=cmr6 scaled\magstep1
    \font\bfone=cmbx10 scaled\magstep2
    \font\smc=cmcsc10 scaled\magstep1
    \font\sc=cmcsc10 
    
    \def\date{\ifcase\month\or January\or February \or March\or April\or May
    \or June\or July\or August\or September\or October\or November
    \or December\fi\space\number\day, \number\year}
    
    \volume{50}
    \def\volu{50 No.\ 2}
    \journal{Electronic Notes in Theoretical Computer Science}
    \def\jour{Electronic Notes in Theoretical Computer Science}
    \def\vol{50}
    
    \def\rightheadline{\hfill\sc\lastname\hfill}    
    \def\leftheadline{\hfill\sc\lastname\hfill}
    \def\firstheadline{\vbox{\baselineskip=8pt
        \parindent 0pt \obeylines \eightrm \jour\space
       \volu$\,$(\annum)\hfill\break {\eighttt URL:
          http://www.elsevier.nl/locate/entcs/volume\vol.html}\ \ 
        \pageref{LastPage} pages\hfill\break}} \def\firstfootline{\hfill
      \eightit \copyright \annum\ Published by Elsevier Science B.~V.\hfill}
    
    \pagestyle{headings}
    
    % THE NEXT LINES GIVE DEFINITIONS FOR THE THEOREM ENVIRONMENTS.
    % EACH IS VIEWED AS A theorem environment IN THE SENSE OF LaTeX.
    % THEIR NAMES ARE: Theorem, Proposition, Lemma, Corollary, Proposition,
    % Criterion, Definition, Conjecture, Example, Problem, Remark, 
    % Summary, and Acknowledgement.  ALSO INCLUDED WITHIN encs.sty ARE THE
    % ENVIRONMENTS Note, Claim and Case UNDER THEIR OWN NAMES, AND THE
    % ENVIRONMENT Algorithm UNDER THE NAME alg; FOR THIS USE 
    % \begin{alg} text \end{alg}.
    % TYPE \begin{name} text \end{name} AS USUAL FOR ENVIRONMENTS IN LaTeX.
    % THE ENVIRONMENT name IS NUMBERED WITHIN section. E.G. THE FIRST 'Name' 
    % IN SECTION 1 IS NUMBERED 'Name 1.1'
    
    \newenvironment{theorem}{\vspace{-\lastskip}\par\addvspace{.6pc plus
        .2pc minus .1pc}\begin{thm}}{\end{thm}\par\addvspace{.6pc plus
        .2pc minus .1pc}} \newenvironment{lemma}{\vspace{-\lastskip}\par
      \addvspace{.6pc plus .2pc minus .1pc}\begin{lem}}
      {\end{lem}\par\addvspace{.6pc plus .2pc minus .1pc}}
    \newenvironment{corollary}{\vspace{-\lastskip}\par \addvspace{.6pc
        plus .2pc minus .1pc}\begin{cor}}{\end{cor}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    \newenvironment{proposition}{\vspace{-\lastskip}\par \addvspace{.6pc
        plus .2pc minus .1pc}\begin{prop}}{\end{prop}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    \newenvironment{criterion}{\vspace{-\lastskip}\par \addvspace{.6pc
        plus .2pc minus .1pc} \begin{crit}}{\end{crit}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    \newenvironment{definition}{\vspace{-\lastskip}\par \addvspace{.6pc
        plus .2pc minus
        .1pc}\begin{defn}\rm}{\end{defn}\par\addvspace{.6pc plus .2pc
        minus .1pc}}
    \newenvironment{conjecture}{\vspace{-\lastskip}\par \addvspace{.6pc
        plus .2pc minus .1pc}\begin{conj}}{\end{conj}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    \newenvironment{example}{\vspace{-\lastskip}\par \addvspace{.6pc plus
        .2pc minus .1pc}\begin{exmp}\rm}{\end{exmp}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    \newenvironment{problem}{\vspace{-\lastskip}\par \addvspace{.6pc plus
        .2pc minus .1pc}\begin{prob}}{\end{prob}\par\addvspace{.6pc plus
        .2pc minus .1pc}} \newenvironment{remark}{\vspace{-\lastskip}\par
      \addvspace{.6pc plus .2pc minus .1pc}\begin{rem}\rm}
    {\end{rem}\par\addvspace{.6pc plus .2pc minus .1pc}}
    \newenvironment{summary}{\vspace{-\lastskip}\par \addvspace{.6pc plus
        .2pc minus .1pc}\begin{summ}}{\end{summ}\par\addvspace{.6pc plus
        .2pc minus .1pc}}
    \newenvironment{acknowledgement}{\vspace{-\lastskip}\par\addvspace{.6pc
        plus .2pc minus .1pc}\begin{ack}}{\end{ack}\par\addvspace{.6pc
        plus .2pc minus .1pc}}
    
    \newenvironment{exercise}{\begin{trivlist}\item[\hskip%
        \labelsep{\bf Exercise.}]}% 
        {\end{trivlist}}
    
    %% THE ENVIRONMENT \begin{proof} ... \end{proof} PRODUCES AN
    %% END-OF-PROOF SIGN.
    
    \newenvironment{proof}{\begin{pf}}{\qed\end{pf}}
    
    %% THE ENVIRONMENT \begin{proof*} ... \end{proof*} SUPPORTS ADDING
    %% INFORMATION SUCH AS  'Proof (Sketch)' AS THE LABEL FOR THE PROOF.
    
    \newenvironment{proof*}{\begin{pf*}}{\qed\end{pf*}}
    
    %% END OF `entcsmacro.sty'%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%