Sign for Notice Everyday    Sign Up| Sign In| Link|

Our Sponsors

  • ESTA - Electronic System for Travel Authorization
Receive Latest News

Share Us

CSL 2011 - Annual Conference of the European Association for Computer Science Logic CSL 2011

View: 3669

Website | Edit Freely

Category CSL 2011

Deadline: March 26, 2011 | Date: September 12, 2011-September 15, 2011

Venue/Country: Bergen, Norway

Updated: 2010-12-03 17:59:49 (GMT+9)

Call For Papers - CFP

Annual Conference of the European Association for Computer Science Logic

CSL 2011

September 12?15, 2011, Bergen, Norway


Programme Committee

Samson Abramsky (Oxford)

Andrea Asperti (Bologna)

Franz Baader (Dresden)

Matthias Baaz (Vienna)

Johan van Benthem

(Amsterdam/ Stanford)

Marc Bezem (Bergen, chair)

Patrick Blackburn (Nancy)

Andreas Blass (Michigan)

Jan van den Bussche (Hasselt)

Thierry Coquand (Gothenburg)

Nachum Dershowitz (Tel Aviv)

Valentin Goranko (Copenhagen)

Erich Gr¨adel (Aachen)

Wiebe van der Hoek (Liverpool)

Bart Jacobs (Nijmegen)

Reinhard Kahle (Lisbon)

Stephan Kreutzer (Oxford)

Viktor Kuncak (Lausanne)

Daniel Leivant (Indiana)

Benedikt Loewe (Amsterdam)

Jean-Yves Marion (Nancy)

Eugenio Moggi (Genova)

Albert Rubio (Barcelona)

Anton Setzer (Swansea)

Alex Simpson (Edinburgh)

John Tucker (Swansea)

Paweł Urzyczyn (Warsaw)

Helmut Veith (Vienna)

Andrei Voronkov (Manchester)

Organizing Committee

Isolde Adler

Marc Bezem

Magne Haveraaen

Michał Walicki

Uwe Wolter

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.

The 20th EACSL Annual Conference on Computer Science Logic (CSL 2011)

will take place in Bergen, Norway, from 12 to 15 September 2011.

Topics of interest include (but are not limited to) automated deduction and interactive

theorem proving, constructive mathematics and type theory, equational

logic and term rewriting, automata and games, modal and temporal logic, model

checking, decision procedures, logical aspects of computational complexity, finite

model theory, computational proof theory, logic programming and constraints,

lambda calculus and combinatory logic, categorical logic and topological semantics,

domain theory, database theory, specification, extraction and transformation

of programs, logical foundations of programming paradigms, verification and program

analysis, linear logic, higher-order logic, nonmonotonic reasoning.

Workshops. Proposals for satellite workshops on more specialized topics are


Proceedings. The proceedings will be publised in the series LIPIcs, Leibniz International

Proceedings in Informatics.

The Ackermann Award for 2011 will be presented to the recipients at CSL11.


(under construction)

Conference address. CSL 2011, Department of Informatics, University of

Bergen, P.O.Box 7803, N-5020 Bergen, Norway,

Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.