[DL] Tableaux 2003 Deadline extension for position paper submission

[Marta Cialdea]

The usual apologies for multiple copies...

              DEADLINE EXTENSION FOR POSITION PAPER
                          SUBMISSIONS

            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)
              http://tab2003.dia.uniroma3.it/
 
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
(Italia)

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



_______________________________________________
Tab03 mailing list
Tab03 at pop.dia.uniroma3.it
http://pop.dia.uniroma3.it/mailman/listinfo.cgi/tab03