coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LPAR-12 Deadline Reminder

From: geoff AT cs.miami.edu
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] LPAR-12 Deadline Reminder
Date: Mon, 4 Jul 2005 12:13:53 -0400 (EDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

--------------------------------------------------------------------------
LPAR-12                                               Montego Bay, Jamaica
http://www.lpar.net/2005                             2nd-6th December 2005

                                 Reminder

The  12th  International  Conference on  Logic for  Programming Artificial
Intelligence  and Reasoning (LPAR-12) will  be held 2nd-6th December 2005,
at the  Wexford Hotel,  Montego Bay,  Jamaica.  Submission of  papers  for
presentation at the conference is now invited.

Dates and Deadlines:
+ Submission of full paper abstracts          11th July
+ Submission of full papers                   18th July
+ Submission of short papers                  26th September

Details are available on the WWW site ... http://www.lpar.net/2005
--------------------------------------------------------------------------
                 Jamaica ... Land of LPAR and Reggae
--------------------------------------------------------------------------

[Coq-Club] LPAR-12 Deadline Reminder, geoff