Submissions

The list is maintained as a web page, and also available as a (LATEX-based) PDF ﬁle. Therefore, it is important that the submitted source material is provided in LATEX, and it can be easily transformed into a html ﬁle (e.g. that it is typeset in basic LATEX, with as few special symbols as possible). All references should be provided as BibTEX entries.

We would greatly appreciate, if submissions are done by sending us two ﬁles respecting the following constraints.

A BibTEX-ﬁle containing relevant references not yet included in opltlca.bib .

A LATEX-ﬁle based on draft.tex (you need also tlcamacro.tex , if you want try a PdfLATEX compilation) appropriately ﬁlled.

A special LATEX-command building the problem heading must be used. This command contains 4 ﬁelds. The ﬁrst ﬁeld can be used in order to describe the problem-origin, it is optional (as usual LATEX-options, you can omit it and the square bracket surrounding it). Other ﬁelds respectively contain name of the submitter, a date and a statement.

   \ProblemSummary[
           This field is optional.
           Insert here information around:
                  - who posed first the problem
                  - name-problem origin
                  - related problems and conjectures
                  - further historical remarks
   ]{
          YourFirstNAME YourLastNAME
          \INDEX{YourLastNAME, YourFirstNAME}
   }
   {PROBLEM BIRTH-DATE}
   {STATEMENT SUMMARIZING THE OPEN PROBLEM}

Here is a real example with origin remarks.

   \ProblemSummary[
   The problem was posed by
        \HREF{http://www.cs.ru.nl/\string ~henk/}
                                {Henk Barendregt}
                    \INDEX{Barendregt, Henk},
        \HREF{http://www.cs.ru.nl/\string ~herman/}
                                   {Herman Geuvers}
                    \INDEX{Geuvers, Herman}
        and
        \HREF{http://www.cs.vu.nl/\string ~jwk/}
                               {Jan Willem Klop}
                    \INDEX{Klop, Jan Willem}.
   ]{
        \HREF{http://www.diku.dk/\string ~rambo/}
                       {Morten Heine S{\o}rensen}
            \INDEX{S{\o}rensen, Morten Heine}
   }{1993}
   {Is every weakly normalizing PTS also strongly normalizing?}

Hyperlinks to relevant web pages where detailed information information can be given, by using the following LATEX-command:
   \HREF{...url...}{...label...}.

Homepage can be added as follows,
   \HREF{http://www.di.unito.it/\string ~paolini/}
                           {Luca Paolini HomePage}.
To create index entries use
   \INDEX{keyword_1}
      ....
   \INDEX{keyword_n}.

Please add keywords of your problem by using this feature.
A brief and concise (up to 1/2 page) exposition of the problem.
To cite references use
\cite{bibkey}

LATEX and BibTEX Remarks

Please, use special symbols only in math-mode. For instance, if you need a section-symbol like $§$ then write $\S$ instead of \S . To insert a tilde in the scope of \HREF, use “\string $~$ ”.