posted by user: sierrauy || 4047 views || tracked by 11 users: [display]

CSL 2011 : 20th Annual Conference of the European Association for Computer Science Logic

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Logic
 
Link: http://www.eacsl.org/csl11
 
When Sep 12, 2011 - Sep 15, 2011
Where Bergen, Norway
Abstract Registration Due Mar 27, 2011
Submission Deadline Apr 3, 2011
Notification Due May 30, 2011
Final Version Due Jun 17, 2011
Categories    logic   automated deduction   interactive theorem proving   automata and games
 

Call For Papers


CALL FOR PAPERS AND WORKSHOP PROPOSALS

CSL 2011
20th Annual Conference of the
European Association for Computer Science Logic
Bergen, Norway
September 12-15, 2011

GENERAL INFORMATION

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 Ackermann Award for 2011 will be presented to the
recipients at CSL 2011.


SCOPE

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, game semantics
- 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
- domain theory,
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical foundations of programming paradigms
- logical aspects of quantum computing
- verification and program analysis
- linear logic
- higher-order logic
- nonmonotonic reasoning

PROCEEDINGS

The proceedings will be published in the series LIPIcs,
Leibniz International Proceedings in Informatics.
Each paper accepted by the Program Committee (PC) must be
presented at the conference by one of the authors,
and a final copy must be prepared according to LIPIcs guidelines
(http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/).

PAPER SUBMISSION

Authors are invited to submit papers of not more than 15 pages
in LIPIcs style presenting work not previously published.
Papers are to be submitted through EasyChair:
http://www.easychair.org/conferences/?conf=csl2011. Submitted papers
must be in English and provide sufficient detail to allow the PC to
assess the merits of the paper. Full proofs may appear in a technical
appendix which will be read at the reviewers' discretion.
Authors are strongly encouraged to include a well written intro-
duction which is directed at all members of the program committee.
Submission is in two phases with dates as given below.
Papers must not be submitted concurrently to another conference with
refereed proceedings; The PC chair should be informed of closely
related work submitted to a conference or journal by March 19, 2011.
Papers authored or coauthored by members of the PC are not allowed.

WORKSHOPS

Proposals for satellite workshops on more specialized topics are
welcome and can be sent to csl11@eacsl.org

IMPORTANT DATES

Submission of title and abstract: March 27, 2011
Submission of full paper: April 3, 2011
Notification: May 30, 2011
Final paper due: June 17, 2011
Conference: September 12-15, 2011

PROGRAM 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 Graedel (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)
Pawel Urzyczyn (Warsaw)
Helmut Veith (Vienna)
Andrei Voronkov (Manchester)

ORGANIZING COMMITTEE

Isolde Adler
Marc Bezem
Magne Haveraaen
Michal Walicki
Uwe Wolter

CONFERENCE ADDRESS

CSL 2011, Department of Informatics,
University of Bergen,
P.O.Box 7803, N-5020 Bergen, Norway
http://www.eacsl.org/csl11

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
ACMC 2017   Australasian Computer Music Conference
LICS 2018   Logic in Computer Science
ECCV 2018   European Conference on Computer Vision
IJCAR 2018   9th International Joint Conference on Automated Reasoning
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
LOGLEG 2018   Logic, Law and Legal Reasoning
ACL 2017   The 55th annual meeting of the Association for Computational Linguistics
ACL 2018   56th Annual Meeting of the Association for Computational Linguistics