AISB event Bulletin Item
CFP: LICS 2010: Logic in Computer Science
Twenty-fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2010) CALL FOR PAPERS July 11-14, 2010, Edinburgh, Scotland, UK http://www.informatik.hu-berlin.de/lics/lics10/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: automata theory in connection with logic, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decidable theories, domain theory, finite model theory, first-order logic, formal aspects of program analysis, formal methods, game semantics, higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logical frameworks, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org. Important Dates: =============== Titles & Short Abstracts Due: January 10, 2010 Extended Abstracts Due: January 17, 2010 Author Notification: March 21, 2010 Camera-ready Papers Due: April 29, 2010 Authors are required to submit a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. All submissions will be electronic. All deadlines are at midnight (GMT); late submissions will not be possible. Submission will be open at http://www.easychair.org/conferences/?conf=lics2010 Submission Instructions: ======================= Every extended abstract must be submitted in the IEEE Proceedings two-column camera-ready format and may be no longer than 10 pages including references with a font size of 10pt. Submissions instructions including LaTeX style files are available from the LICS 2010 website. The abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same two-column format following the 10-page extended abstract or there can be a pointer to an existing manuscript on a website. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The PC chair should be informed of closely related work submitted to a conference or journal in advance of submission. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. Short Presentations: =================== LICS 2010 will have a session of short (10 minute) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2010 submission site in a time frame to be advertised on the LICS 2010 website. Kleene Award for Best Student Paper: =================================== An award in honour of the late S. C. Kleene will be given for the best student paper, as judged by the program committee. Details concerning eligibility criteria and procedure for consideration for this award will be posted at the LICS website. The committee may decline to make the award or split it among several papers. Program Committee: ================= Program Chair: Jean-Pierre Jouannaud INRIA and Tsinghua University, Beijing, China firstname.lastname@example.org Program Committee: Parosh Abdullah, Uppsala University Albert Atserias, Univ. Politecnica de Catalunya Franz Baader, Technische Universitaet Dresden Krishnendu Chatterjee, IST, Vienna Yijia Chen, Jiao Tong University, Shanghai Veronique Cortier, CNRS and Universite de Nancy Vincent Danos, University of Edinburgh Martin Escardo, University of Birmingham Javier Esparza, Technische Universitaet Muenchen Amy Felty, University of Ottawa Herman Geuvers, Radboud University Nijmegen Dan Ghica, University of Birmingham Robert Harper, Carnegie Mellon University Jean-Pierre Jouannaud, INRIA and Tsinghua Univ. Naoki Kobayashi, Tohoku University, Sendai Orna Kupferman, Hebrew University, Jerusalem Stephane Lengrand, CNRS and Polytechnique Jose Meseguer, UI at Urbana-Champaign John Mitchell, Stanford University Eugenio Moggi, Universita di Genova Anca Muscholl, Universite de Bordeaux Mogens Nielsen, University of Aarhus Makoto Tatsuta, NII, Tokyo Wolfgang Thomas, RWTH Aachen Pawel Urzyczyn, Warsaw University Victor Vianu, UC at San Diego Conference Chair: ================ Martin Escardo, University of Birmingham email@example.com Workshops Chairs: ================ Adriana Compagnoni, Stevens IT, New-Jersey Maribel Fernandez, King's College London Publicity Chairs: ================ Stephan Kreutzer, University of Oxford Nicole Schweikardt, Univ. Frankfurt am Main General Chair: ============= Rajeev Alur, U. Penn, Philadelphia firstname.lastname@example.org Organizing Committee: ==================== M. Abadi, R. Alur (chair), G. Ausiello, F. Baader, P. Beame, S. Brookes, S. Buss, E. Clarke, A. Compagnoni, M. Escardo, M. Fernandez, L. Fortnow, J. Giesl, R.Jagadeesan, J.-P. Jouannaud, P. Kolaitis, S. Kreutzer, B. Larose, J. A. Makowsky, J. Palsberg, F. Pfenning, A. M. Pitts, N. Schweikardt, P. Scott, M. Valeriote Advisory Board: ============== M. Abadi, S. Abramski, Y. Gurevich, T. Henzinger, C. Kirchner, P. Kolaitis, D. Kozen, L. Ong, U. Martin, J. Mitchell, L. Pacholski, G. Plotkin, A. Scedrov, M. Y. Vardi, G. Winskel Colocated events: ================ The following conferences are colocated with LICS at FLoC 2010: CAV, ICLP, IJCAR, ITP, RTA, SAT, as indicated on the FLoC homepage. There will also be a number of workshops sponsored by the FLoC conferences. Details on workshops affiliated with LICS can be found at the LICS 2010 website. Sponsorship: =========== The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.