coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tableaux 2003 early registration deadline

From: Tableaux 2003 <tab2003 AT dia.uniroma3.it>
To: tab03 AT dia.uniroma3.it
Subject: [Coq-Club] Tableaux 2003 early registration deadline
Date: Fri, 4 Jul 2003 13:56:02 +0200 (MEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
List-id: International Conference Tableaux 2003 <tab03.pop.dia.uniroma3.it>

The deadline for TABLEAUX 2003 early registrations is
****************** MONDAY, 7 JUNE *******************

The scientific programme and preliminary schedule of the conference is now
available at TABLEAUX 2003 Web page.

TABLEAUX 2003 Organizing Committee

http://tab2003.dia.uniroma3.it

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

[Coq-Club] Tableaux 2003 early registration deadline, Tableaux 2003