CALL FOR PAPERS Twenty-First Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2006) August 12th - 15th, 2006, Seattle, Washington http://www.informatik.hu-berlin.de/lics/lics06/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2006 will be organized as part of the Fourth Federated Logic Conference (FLoC 2006) to be held in Seattle from August 10 to August 22, 2006. Visit http://research.microsoft.com/floc06/ for information regarding FLoC 2006 and the participating meetings. Suggested, but not exclusive, topics of interest for LICS 2006 include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, reasoning about security, rewriting, specifications, 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. IMPORTANT DATES: 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. PAPER REGISTRATION DEADLINE (with titles & short abstracts): February 3, 2006 PAPER SUBMISSION DEADLINE: February 10, 2006 Author notification: April 14, 2006 Final versions for the proceedings: May 5, 2006. All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission will be posted at the LICS 2006 web site. SUBMISSION INSTRUCTIONS: Every extended 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. Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (IEEE style files will be accessible from the LICS 2006 web site). If necessary, detailed proofs of technical results can be included in a clearly-labeled appendix in the same two-column format following the 10-page extended abstract or there can be a pointer to a manuscript on a web site. 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. 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 2006 will have a session of short (5-10 minutes) 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 2006 submission site between 15th April and 21st April 2006. Authors will be notified of acceptance or rejection by 28th April 2006. KLEENE AWARD FOR BEST STUDENT PAPER: An award in honor 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 web site. The program committee may decline to make the award or may split it among several papers. INVITED SPEAKERS: The following distinguished speakers have agreed to give invited talks at LICS 2006: Andreas Blass (Univ. of Michigan, Ann Arbor, USA), Andy Gordon (Microsoft Research, Cambridge, UK), Orna Kupferman (Hebrew Univ., Israel); the LICS/RTA/SAT joint plenary invited speaker is Randy Bryant (Carnegie Mellon Univ., USA); the invited speakers at the FLoC session celebrating the birth centennial of Kurt Goedel are John Dawson (Pennsylvania State Univ., York, USA) and Dana Scott (Carnegie Mellon Univ., USA). COLOCATED EVENTS: The following conferences are colocated with LICS at FLoC 2006: CAV, ICLP, IJCAR, RTA, SAT; visit the FLoC 2006 homepage at http://research.microsoft.com/floc06/ for details. There will also be a number of workshops sponsored by the FLoC conferences. Details on workshops affiliated with LICS, in particular, can be found at the LICS 2006 web site. SPONSORSHIP: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing. PROGRAM CHAIR: Rajeev Alur, Univ. of Pennsylvania PROGRAM COMMITTEE: Luca Aceto, Reykjavik Univ., Iceland and Aalborg Univ., Denmark Rajeev Alur, Univ. of Pennsylvania, USA Christel Baier, Univ. of Bonn, Germany Maria Luisa Bonet, Polytechnic Univ. of Catalunya, Spain Flavio Corradini, Univ. of Camarino, Italy Victor Dalmau, Univ. Pompeu Fabra, Spain Thomas Eiter, TU Vienna, Austria Kousha Etessami, Univ. of Edinburgh, UK Amy Felty, Univ. of Ottawa, Canada Cedric Fournet, Microsoft Research, UK Patrice Godefroid, Bell Labs, USA Jason Hickey, California Institute of Technology, USA Radha Jagadeesan, DePaul Univ., USA Leonid Libkin, Univ. of Toronto, Canada Patrick Lincoln, SRI, USA Yoram Moses, Technion, Israel George Necula, Univ. of California at Berkeley, USA Joel Ouaknine, Oxford Univ., UK Davide Sangiorgi, Univ. of Bologna, Italy Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign, USA Thomas Wilke, Univ. of Kiel, Germany CONFERENCE CHAIR: Magus Veanes, Microsoft Research, Redmond, USA WORKSHOPS CHAIR: Philip J. Scott, Univ. of Ottawa, Canada PUBLICITY CO-CHAIRS: Stephan Kreutzer and Nicole Schweikardt, Humboldt-Univ. Berlin, Germany GENERAL CHAIR: Phokion G. Kolaitis, IBM Almaden Research Center and Univ. of California, Santa Cruz, USA ORGANIZING COMMITTEE: Samson Abramsky, Rajeev Alur, Franz Baader, Andrei Broder, Samuel Buss, Edmund Clarke, Amy Felty, Hal Gabow, Lauri Hella, Radhakrishnan Jagadeesan, Alan Jeffrey, Phokion Kolaitis (chair), Stephan Kreutzer, Johann Makowsky, John Mitchell, Mogens Nielsen, Prakash Panangaden, Femke van Raamsdonk, Philip Scott, Nicole Schweikardt, Magus Veanes, Andrei Voronkov ADVISORY BOARD: Robert Constable, Yuri Gurevich, Claude Kirchner, Dexter Kozen, Ursula Martin, Albert Meyer, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Dana S. Scott, Moshe Y. Vardi, Glynn Winskel