coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Marta Cialdea <marta AT dia.uniroma3.it>
- To: tab03 AT dia.uniroma3.it
- Cc: "Prof. Dr. Peter H. Schmitt" <pschmitt AT ira.uka.de>
- Subject: [Coq-Club] Tableaux 2003 TSC elections
- Date: Thu, 29 May 2003 12:30:08 +0200 (CEST)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- List-id: International Conference Tableaux 2003 <tab03.pop.dia.uniroma3.it>
The term of office for the three members
Marcello D'Agostino
Melvin Fitting
Uli Furbach
of the Tableau Steering Committee expire this year.
New TSC members to replace them will be elected at
the Tableau Business Meeting during the Tableau Conference
in Rome.
With this message I want to solicite names of candidates.
Please, send the names of candidates you want to see nominated
for the upcoming election. I appreciate receiving your
suggestions before July, 11.
Yours Sincerely
Peter H. Schmitt
(TSC Vice President)
------------------------------------------------
Please, reply to:
Prof. Dr. Peter H. Schmitt
<pschmitt AT ira.uka.de>
(in the CC field of this message)
-----------------------------------------------
_______________________________________________
Tab03 mailing list
Tab03 AT pop.dia.uniroma3.it
http://pop.dia.uniroma3.it/mailman/listinfo.cgi/tab03
- [Coq-Club] Tableaux 2003 TSC elections, Marta Cialdea
Archive powered by MhonArc 2.6.16.