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