From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2FFSFpa003431 for ; Tue, 15 Mar 2011 16:28:15 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgAAJsif02BsR5IlGdsb2JhbACmCBQBAQEBCQsSFAUgsSaRKYViBJAg X-IronPort-AV: E=Sophos;i="4.62,322,1297033200"; d="scan'208";a="93862937" Received: from alfons.uib.no ([129.177.30.72]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Mar 2011 16:27:47 +0100 Received: from thoralf.uib.no (smtp.uib.no) [129.177.13.16] by alfons.uib.no for caml-list@inria.fr with esmtp (Exim 4.69) id 1PzW9y-0005yn-Bp; Tue, 15 Mar 2011 16:27:46 +0100 Received: from ii122127.klientdrift.uib.no [129.177.122.127]:47591 by smtp.uib.no for caml-list@inria.fr with esmtps (Exim 4.69) id 1PzW9y-0008Mt-As; Tue, 15 Mar 2011 16:27:46 +0100 Received: from nmimb by ii122127.klientdrift.uib.no for caml-list@inria.fr with local (Exim 4.71) id 1PzW9x-0003qr-Hp; Tue, 15 Mar 2011 16:27:45 +0100 Message-Id: Date: Tue, 15 Mar 2011 16:27:45 +0100 To: caml-list@inria.fr User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: Marcus Aloysius Bezem X-checked-clean: by exiscan on alfons X-Scanner: 54992a11e5a9296a4a28f6a895b4038f http://tjinfo.uib.no/virus.html X-UiB-SpamFlag: NO UIB: -30 hits, 8.0 required X-UiB-SpamReport: spamassassin found; -6.0 another conference -15 From is listed in 'whitelist_SA' -9.0 Message received from UIB Subject: [Caml-list] CSL'11 call for papers, deadline approaching ------------------------------------------------------------------- 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 http://www.eacsl.org/csl11 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 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. CSL'11 will be preceded by TYPES 2011, the 18-th Workshop "Types for Proofs and Programs" (http://www.types.name) to be held in Bergen from 8-11 September. INVITED SPEAKERS Thomas Ehrhard (University Paris Diderot) Martin Otto (Technical University Darmstadt) Moshe Vardi (Rice University) Frank Wolter (University of Liverpool) 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 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 -----------------------------------------------------------------