[DL] Tableaux 2003 Deadline extension for position paper submission

Marta Cialdea marta at dia.uniroma3.it
Wed Mar 19 18:29:55 CET 2003

The usual apologies for multiple copies...


            International Conference  TABLEAUX 2003
                 Automated Reasoning with
            Analytic Tableaux and Related Methods
                        Roma, Italy
                   September 9-12, 2003
      (co-located with TPHOLs 2003 and Calculemus 2003)
Position papers and brief reports on work in progress will be accepted
until Monday, March 31st.  

Submissions in this category will be reviewed by members of the
program committee and accepted papers in this category will be
published in a volume by ARACNE Editrice (Italy), as a Technical
Report of Dipartimento di Informatica e Automazione, Universita` di
Roma Tre.

Papers have to be submitted in postscript format through the special
submission page at www.lugroma3.org/ConfMan/REG-paper/. Papers have to
be registered at the same page by March 26, 2003. The registration
form includes title, short abstract and a list of keywords. 


Marta Cialdea Mayer
Dipartimento di Informatica e Automazione
Via Vasca Navale, 79
00146 Roma

tel +39-06-55173232
fax +39-06-5573030

Tab03 mailing list
Tab03 at pop.dia.uniroma3.it

More information about the dl mailing list