Logic List Mailing Archive

CSL 2007 (Computer Science Logic)

11-15 September 2007
Lausanne, Switzerland

=09=09Call for Papers

 =09=09CSL 07
 =09=0911-15 September, 2007
 =09=09Lausanne (CH)


Computer Science Logic (CSL) is the annual conference of the European 
Association for Computer Science Logic (EACSL). The conference is intended
 
for computer scientists whose research activities involve logic, as well 
as for logicians working on issues significant for computer science. 
CSL'07, the 16th annual EACSL conference will be organized in Lausanne by
 
the Western Swiss Center for Logic, History and Philosophy of Sciences, 
and the University of Lausanne. The Ackermann Award for 2007 is sponsored
 
by Logitech and will be presented to the recipients at CSL'07. A joint 
session with GAMES 07, the annual meeting of the European Network will 
take place on 11 September, 2007.

 =09=09http://www.unil.ch/csl07/

Topics of interest include:
 =09- automated deduction and interactive theorem proving,
 =09- constructive mathematics and type theory,
 =09- equational logic and term rewriting,
 =09- automata and games,
 =09- modal and temporal logics,
 =09- model checking,
 =09- logical aspects of computational complexity,
 =09- finite model theory,
 =09- computational proof theory,
 =09- logic programming and constraints,
 =09- lambda calculus and combinatory logic,
 =09- categorical logic and topological semantics,
 =09- domain theory,
 =09- database theory,
 =09- specification, extraction and transformation of programs,
 =09- logical foundations of programming paradigms,
 =09- verification and program analysis,
 =09- linear logic,
 =09- higher-order logic,
 =09- nonmonotonic reasoning,
 =09- logics and type systems for biology.

Proceedings will be published in the LNCS series. Each paper accepted by 
the Programme Committee must be presented at the conference by one of the
 
authors, and final copy be prepared according to Springer's guidelines.

Submitted papers must be in Springer's LNCS style and of no more than 15 
pages, presenting work not previously published. They must not be 
submitted concurrently to another conference with refereed proceedings. 
Any closely related work submitted to a conference or journal before April
 
2, 2007 must be reported to the PC chairs. Papers authored or coauthored 
by members of the Programme Committee are not allowed.

Submitted papers must be in English and provide sufficient detail to allow
 
the Programme Committee to assess the merits of the paper. Full proofs may
 
appear in a technical appendix which will be read at the reviewer's 
discretion. The title page must contain: title and author(s), physical and
 
e-mail addresses, identification of the corresponding author, an abstract
 
of no more than, 200 words, and a list of keywords.

The submission deadline is in two stages. Titles and abstracts must be 
submitted by 02 April, 2007 and full papers by 09 April, 2007. 
Notifications of acceptance will be sent by 21 May, 2007, and final 
versions are due 18 June, 2007.

Important Dates:
Submission
- title & abstract:=0902 April, 2007
- full paper:=09=0909 April, 2007
- Notification:=09=0921 May, 2007
- Final papers:=0918 June, 2007


Invited Speakers:

   -Samson Abramsky=09=09=09(Oxford)
   -Luca de Alfaro =09=09=09(Santa Cruz)
   -Arnold Beckmann =09=09=09(Swansea)
   -Anuj Dawar =09=09=09=09(Cambridge)
   -Orna Kupferman =09=09=09(Jerusalem)
   -Helmut Seidl =09=09=09(Munich)


Programme Committee:


   -Serge? Artemov =09=09=09(New-York)
   -Franz Baader =09=09=09(Dresden)
   -Lev Beklemishev =09=09=09(Moscow)
   -Andrei Bulatov =09=09=09(Burnaby)
   -Michel De Rougemont =09=09=09(Paris)
   -Jacques Duparc (co-Chair) =09=09(Lausanne)
   -Erich Gr?del =09=09=09(Aachen)
   -Thomas Henzinger (co-Chair)=09=09(Lausanne)
   -Michael Kaminski =09=09=09(Ha?fa)
   -Stephan Kreutzer =09=09=09(Berlin)
   -Benedikt L?we =09=09=09(Amsterdam)
   -Rupak Majumdar =09=09=09(Los Angeles)
   -Paul-Andr? M?llies =09=09=09(Paris)
   -Joel Ouaknine =09=09=09(Oxford)
   -Jean-Eric Pin =09=09=09(Paris)
   -Nicole Schweikardt =09=09=09(Berlin)
   -Luc Segoufin =09=09=09(Orsay)
   -Thomas Strahm =09=09=09(Bern)
   -Ashish Tiwari =09=09=09(Menlo Park, CA)
   -Helmut Veith =09=09=09(Munich)
   -Igor Walukiewicz =09=09=09(Bordeaux)