The Coq mailing list

[Marta Cialdea <marta AT dia.uniroma3.it>]

Early registration for TABLEAUX 2003 in Rome has begun.  The
conference will take place on September 9-12.

Go to 

http://tab2003.dia.uniroma3.it/

to register for the conference.  Early registration closes on June
30. The webpage also contains information about accommodations,
tutorials, social events and excursion.

The paper schedule will appear soon on the website

TABLEAUX 2003 organization committee
__________________________________________________________________________
|
|  Organization Committee TABLEAUX 2003
|
|__________________________________________________________________________


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