[Prev][Next][Index][Thread]
CSL 2001 -- last CALL FOR PAPERS and FOR AFFILIATED WORKSHOPS
------------
| CSL 2001 |
------------
Last CALL FOR PAPERS - CALL FOR AFFILIATED WORKSHOPS
15th Annual Conference of the European Association for Computer Science Logic
http://www.lsv.ens-cachan.fr/csl01/
------------------------------------------------------------------------------
Last CALL FOR PAPERS for CSL 2001 - September 10-13, Paris, France
------------------------------------------------------------------------------
CSL is intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for computer
science.
IMPORTANT DATES:
Paper submissions : March 15, 2001
Notifications of acceptance : May 8, 2001
Final version due : June 1, 2001
CSL 2001 conference : September 10-13, 2001
PAPER SUBMISSIONS:
Submitted papers must describe work not previously published. They must not
be submitted concurrently to a journal or to another conference. Papers
(co)authored by members of the Program Committee are not allowed.
Submissions must not exceed 15 pages (in the usual format for Springer LNCS).
For any further informations, see: http://www.lsv.ens-cachan.fr/csl01/
or send a message to: csl01@lsv.ens-cachan.fr
CONFERENCE LOCATION:
The conference will take place in Salons de la Mutualité, 24 rue
Saint-Victor -Paris 5ème, located in the historical center of Paris
(Quartier Latin). Metro: Maubert-Mutualité, RER: Saint-Michel Notre-Dame.
INVITED SPEAKERS:
Jean-Yves Girard (IML, Marseille)
Peter O'Hearn (QMW College, London)
Jan Van den Bussche (U. Limburg)
PROGRAM COMMITTEE:
Andrea Asperti (U. Bologna) | Julian Bradfield (U. Edinburgh)
René David (U. Savoie) | Gilles Dowek (INRIA)
Laurent Fribourg (ENS Cachan) (chair) | Daniel Leivant (Indiana U.)
David McAllester (AT&T) | Johann Makowsky (Technion Haifa)
Aart Middeldorp (U. Tsukuba) | Catuscia Palamidessi (Penn. State)
Frank Pfenning (CMU) | Philippe Schnoebelen (ENS Cachan)
Iain Stewart (U. Leicester) | Moshe Vardi (Rice U.)
Philip Wadler (Avaya Labs) | Thomas Wilke (U. Kiel)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
------------------------------------------------------------------------------
CALL FOR AFFILIATED WORKSHOPS - September 14-15, Cachan, France
------------------------------------------------------------------------------
Facilities are available for post-conference workshops on topics related to
the conference CSL 2001.
Workshops affiliated to CSL 2001 will be held at ENS Cachan (RER station
``Bagneux'', it takes 20 minutes by RER to go from the center of Paris to
ENS Cachan).
Researchers and practitioners are invited to submit workshop proposals that
should be sent to the CSL 2001 chair: Laurent Fribourg
(fribourg@lsv.ens-cachan.fr).
Proposals should include:
* a short scientific justification of the proposed topic,
* names of the organizers,
* expected number of participants and duration (one day-long or two
day-long workshops),
* estimated dates for paper submissions, notification of acceptance and
final versions, and any other relevant informations (for ex. invited
speakers, ...)
Workshop organizers will be responsible for producing a call for papers,
reviewing and making acceptance decisions on submitted papers and
scheduling workshop activities in consultation with the local organizers.
IMPORTANT DATES:
Workshop proposals : April 15, 2001
Notifications of acceptance : May 1, 2001
Workshops : September 14-15, 2001