<div dir="ltr"><p style="margin:0px;font-size:11px;font-family:Menlo"> CALL FOR PAPERS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> JOINT MEETING OF</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> the Twenty-Third EACSL Annual Conference on</p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> COMPUTER SCIENCE LOGIC (CSL)</p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> AND</p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> the Twenty-Ninth Annual ACM/IEEE Symposium on</p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> LOGIC IN COMPUTER SCIENCE (LICS)</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> July 14–18, 2014, Vienna, Austria</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> <a href="http://vsl2014.at/csl-lics/">http://vsl2014.at/csl-lics/</a></p>
<p style="margin:0px;font-size:11px;font-family:Menlo"> <a href="http://lii.rwth-aachen.de/lics/csl-lics14/">http://lii.rwth-aachen.de/lics/csl-lics14/</a></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">CSL is the annual meeting of the European Association for Computer Science</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Logic (EACSL) intended for computer scientists whose research activities</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">involve logic, as well as for logicians working on issues significant for</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">computer science.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">LICS is an annual international forum on theoretical and practical topics in</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">computer science that relate to logic.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The organizers of these two series of meetings have chosen to join the 2014</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">editions of these meetings into a single event within the Federated Logic</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus,</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">in 2014, these meetings will have one program committee, one program, and one</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">proceedings. No decision has been made to hold CSL and LICS jointly beyond</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">2014.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">We invite submissions on topics that fit the themes of both conferences. These</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">topics include (but are not limited to):</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Automata theory; automated deduction; categorical models and logics;</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">constraints programming; constructive mathematics; database theory; decision</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">procedures; domain theory; finite model theory; formal languages; formal</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">methods in software engineering; foundations of computability; functional and</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">reactive synthesis; game semantics; graph games; higher-order logic; lambda</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">and combinatory calculi; linear logic; logic programming; logics for AI;</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">logics of programs; logical aspects of computational complexity; modal and</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">temporal logics; model checking; program analysis; proof theory; semantics of</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">programming languages; specification and verification of hardware, software,</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">and complex systems; term rewriting; and type theory.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Also welcome are papers describing models and logics for biological systems;</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">concurrent, distributed, and mobile computation; quantum computation;</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">security; and real-time, probabilistic, and hybrid systems.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">INSTRUCTIONS TO AUTHORS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Authors are required to submit a paper title and a short abstract of about 100</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">words in advance of submitting the full paper. Every full paper must be</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">submitted in the IEEE Proceedings 2-column 10-point format and may not be</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">longer than 10 pages, including references. The full paper must be in English</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">and provide sufficient detail to allow the program committee to assess its</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">merits. Full proofs may appear in a technical appendix which will be read at</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">the reviewers' discretion. Authors are strongly encouraged to include a well</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">written introduction which is directed at all members of the program</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">committee.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The results reported in submissions must be unpublished and not submitted for</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">publication elsewhere, including the proceedings of other symposia or</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">workshops. The program chairs must be informed in advance of submission of any</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">closely related work submitted or about to be submitted to a conference or</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">journal. Authors of accepted papers are expected to sign copyright release</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">forms. One author of each accepted paper is expected to present that paper at</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">the conference.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Paper selection will be merit-based, with no a priori limit on the number of</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">accepted papers.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Papers authored or co-authored by members of the program committee are not</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">allowed.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">DEADLINES</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The exact deadline time on these dates is given by anywhere on earth (AoE).</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Title and Short Abstracts Due January 13, 2014</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Full Papers Due January 20, 2014</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Author Notification March 31, 2014</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Final Versions Due for Proceedings May 15, 2014</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Deadlines are firm; late submissions will not be possible.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">All submissions are made electronically via</p>
<p style="margin:0px;font-size:11px;font-family:Menlo"><<a href="http://easychair.org/conferences/conf=csllics2014">http://easychair.org/conferences/conf=csllics2014</a>>.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">AWARDS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The Kleene Award for Best Student Paper will be given for the best student</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">paper(s), as judged by the program committee.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann, will</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">be presented during the joint meeting.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The LICS Test-of-Time Award 2014 will be presented during the joint meeting.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">PROGRAM COMMITTEE CHAIRS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Thomas A. Henzinger, IST Austria</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Dale Miller, INRIA & LIX</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">PROGRAM COMMITTEE</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andreas Asperti, University of Bologna</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Gilles Barthe, IMDEA</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andrej Bauer, IMFM</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Lars Birkedal, Aarhus University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Krishnendu Chatterjee, IST Austria</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Adriana Compagnoni, Stevens Institute of Technology</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Valeria DePaiva, Nuance Communications</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Laurent Doyen, ENS Cachan</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Jacques Duparc, University of Lausanne</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Maribel Fernandez, King's College London</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Herman Geuvers, Radboud University Nijmegen</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Dan Ghica, University of Birmingham</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Erich Grädel, RWTH Aachen University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Holger Hermanns, Saarland University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Neil Immerman, University of Mass. Amherst</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Naoki Kobayashi, University of Tokyo</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Laura Kovács, Chalmers University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Victor Kuncak, EPFL</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Salvatore La Torre, University of Salerno</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Rupak Majumdar, MPI-SWS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Damiano Mazza, CNRS & Univerity Paris-Nord</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Joel Ouaknine, University of Oxford</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Leszek Pacholski, University of Wroclaw</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Nir Piterman, University of Leicester</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andrew Pitts, University of Cambridge</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andreas Podelski, University of Freiburg</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">R. Ramanujam, IMS Chennai</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">James Riely, DePaul University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Simona Ronchi Della Rocca, University of Torino</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Amr Sabry, Indiana University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Tom Schrijvers, Ghent University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">P. S. Thiagarajan, National University of Singapore</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Alwen Tiu, Australian National University</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Victor Vianu, University of California, San Diego</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andrei Voronkov, University of Manchester</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Igor Walukiewicz, CNRS & University of Bordeaux</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">WORKSHOP CHAIRS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Patricia Bouyer-Decitre, CNRS & ENS Cachan</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Georg Moser, University of Innsbruck</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">LOCAL ORGANIZATION COMMITTEE</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Krishnendu Chatterjee, IST Austria</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Jan Otop, IST Austria</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">PUBLICITY CHAIRS</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Kaustuv Chaudhuri, INRIA & LIX</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Andrzej Murawski, University of Warwick</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">FLoC ORGANIZATION COMMITTEE</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">M. Baaz, S. Szeider, M. Vardi, H. Veith</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">EACSL EXECUTIVE COMMITTEE</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">L. Aceto, M. Bezem, A. Dawar (president), R. Kahle, M. Lohrey, J. Makowsky,</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">D. Niwinski, B. Loewe, L. Ong, S. Ronchi della Rocca, H. Veith, G. Winskel</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">LICS ORGANIZING COMMITTEE</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">M. Abadi, L. Aceto, R. Alur, F. Baader, P. Beame, P. Bouyer-Decitre, K.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernandez, M. Grohe, O.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, V. Lipovac, D.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Miller, M. Mislove, G. Moser, A. Murawski, L. Ong (chair), A. Scedrov, D.</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Shmoys, M. Valeriote</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">SPONSORSHIP</p>
<p style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></p>
<p style="margin:0px;font-size:11px;font-family:Menlo">The joint meeting is sponsored by the European Association for Computer</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Science Logic, the IEEE Technical Committee on Mathematical Foundations of</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Computation, and by the ACM SIGACT in cooperation with the Association for</p>
<p style="margin:0px;font-size:11px;font-family:Menlo">Symbolic Logic and the European Association for Theoretical Computer Science.</p><div><br></div></div>