CSL 07
16th EACSL Annual Conference on Computer Science and Logic
11-15 September 2007
Lausanne, Switzerland
Foto © LT/Muris Camo
General Information
Call for Papers
Important Dates
Invited Speakers
Programme Committee
Organizing Committee
Previous Conferences
Submissions
Accepted Papers
Instructions for Authors
LNCS 4646
Programme
The Host City of Lausanne
Travel Information
Accommodation
Sponsors
Contact Us
Ackermann Award 2007 (sponsored by Logitech)
Pictures
–>
GAMES 07