Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Tableaux 2003 TSC elections

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tableaux 2003 TSC elections


chronological Thread 
  • 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




Archive powered by MhonArc 2.6.16.

Top of Page