From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7973 Path: news.gmane.org!not-for-mail From: Andrzej Murawski Newsgroups: gmane.science.mathematics.categories Subject: CSL-LICS 2014 - Last Call for Papers Date: Wed, 8 Jan 2014 10:40:30 +0000 Message-ID: Reply-To: Andrzej Murawski NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1389214300 31009 80.91.229.3 (8 Jan 2014 20:51:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 8 Jan 2014 20:51:40 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Wed Jan 08 21:51:48 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W106J-0000n5-39 for gsmc-categories@m.gmane.org; Wed, 08 Jan 2014 21:51:43 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:53493) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1W105X-00028Y-S1; Wed, 08 Jan 2014 16:50:55 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1W105W-0001CZ-UT for categories-list@mlist.mta.ca; Wed, 08 Jan 2014 16:50:54 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7973 Archived-At: LAST CALL FOR PAPERS JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) AND the Twenty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) July 14=E2=80=9318, 2014, Vienna, Austria http://vsl2014.at/csl-lics/ http://lii.rwth-aachen.de/lics/csl-lics14/ CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. LICS is an annual international forum on theoretical and practical topics i= n computer science that relate to logic. The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thu= s, in 2014, these meetings will have one program committee, one program, and o= ne proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014. We invite submissions on topics that fit the themes of both conferences. Th= ese topics include (but are not limited to): Automata theory; automated deduction; categorical models and logics; constraints programming; constructive mathematics; database theory; decisio= n procedures; domain theory; finite model theory; formal languages; formal methods in software engineering; foundations of computability; functional a= nd reactive synthesis; game semantics; graph games; higher-order logic; lambda and combinatory calculi; linear logic; logic programming; logics for AI; logics of programs; logical aspects of computational complexity; modal and temporal logics; model checking; program analysis; proof theory; semantics = of programming languages; specification and verification of hardware, software= , and complex systems; term rewriting; and type theory. Also welcome are papers describing models and logics for biological systems= ; concurrent, distributed, and mobile computation; quantum computation; security; and real-time, probabilistic, and hybrid systems. INSTRUCTIONS TO AUTHORS Authors are required to submit a paper title and a short abstract of about = 100 words in advance of submitting the full paper. Every full paper must be submitted in the IEEE Proceedings 2-column 10-point format and may not be longer than 10 pages, including references. The full paper must be in Engli= sh and provide sufficient detail to allow the program committee to assess its merits. Full proofs may appear in a technical appendix which will be read a= t the reviewers' discretion. Authors are strongly encouraged to include a wel= l written introduction which is directed at all members of the program committee. The results reported in submissions must be unpublished and not submitted f= or publication elsewhere, including the proceedings of other symposia or workshops. The program chairs must be informed in advance of submission of = any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present that paper = at the conference. Paper selection will be merit-based, with no a priori limit on the number o= f accepted papers. Papers authored or co-authored by members of the program committee are not allowed. DEADLINES The exact deadline time on these dates is given by anywhere on earth (AoE). Title and Short Abstracts Due January 13, 2014 Full Papers Due January 20, 2014 Author Notification March 31, 2014 Final Versions Due for Proceedings May 15, 2014 Deadlines are firm; late submissions will not be possible. All submissions are made electronically via . AWARDS The Kleene Award for Best Student Paper will be given for the best student paper(s), as judged by the program committee. The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann, w= ill be presented during the joint meeting. The LICS Test-of-Time Award 2014 will be presented during the joint meeting= . PROGRAM COMMITTEE CHAIRS Thomas A. Henzinger, IST Austria Dale Miller, INRIA & LIX PROGRAM COMMITTEE Andreas Asperti, University of Bologna Gilles Barthe, IMDEA Andrej Bauer, IMFM Lars Birkedal, Aarhus University Krishnendu Chatterjee, IST Austria Adriana Compagnoni, Stevens Institute of Technology Valeria DePaiva, Nuance Communications Laurent Doyen, ENS Cachan Jacques Duparc, University of Lausanne Maribel Fernandez, King's College London Herman Geuvers, Radboud University Nijmegen Dan Ghica, University of Birmingham Erich Gr=C3=A4del, RWTH Aachen University Holger Hermanns, Saarland University Neil Immerman, University of Mass. Amherst Naoki Kobayashi, University of Tokyo Laura Kov=C3=A1cs, Chalmers University Victor Kuncak, EPFL Salvatore La Torre, University of Salerno Rupak Majumdar, MPI-SWS Damiano Mazza, CNRS & Univerity Paris-Nord Joel Ouaknine, University of Oxford Leszek Pacholski, University of Wroclaw Nir Piterman, University of Leicester Andrew Pitts, University of Cambridge Andreas Podelski, University of Freiburg R. Ramanujam, IMS Chennai James Riely, DePaul University Simona Ronchi Della Rocca, University of Torino Amr Sabry, Indiana University Tom Schrijvers, Ghent University P. S. Thiagarajan, National University of Singapore Alwen Tiu, Australian National University Victor Vianu, University of California, San Diego Andrei Voronkov, University of Manchester Igor Walukiewicz, CNRS & University of Bordeaux WORKSHOP CHAIRS Patricia Bouyer-Decitre, CNRS & ENS Cachan Georg Moser, University of Innsbruck LOCAL ORGANIZATION COMMITTEE Krishnendu Chatterjee, IST Austria Jan Otop, IST Austria PUBLICITY CHAIRS Kaustuv Chaudhuri, INRIA & LIX Andrzej Murawski, University of Warwick FLoC ORGANIZATION COMMITTEE M. Baaz, S. Szeider, M. Vardi, H. Veith EACSL EXECUTIVE COMMITTEE L. Aceto, M. Bezem, A. Dawar (president), R. Kahle, B. Loewe, M. Lohrey, J. Makowsky, D. Niwinski, L. Ong, S. Ronchi della Rocca, H. Veith, G. Winsk= el LICS ORGANIZING COMMITTEE M. Abadi, L. Aceto, R. Alur, P. Beame, M. P. Bonacina, P. Bouyer-Decitre, K= . Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernandez, M. Grohe,= O. Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, V. Lipovac, D= . Miller, M. Mislove, G. Moser, A. Murawski, L. Ong (chair), A. Scedrov, D. Shmoys, M. Valeriote SPONSORSHIP The joint meeting is sponsored by the European Association for Computer Science Logic, the IEEE Technical Committee on Mathematical Foundations of Computation, and by the ACM SIGACT in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Scienc= e. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]