[FOM] LICS 2009 Second Call for Papers

[Stephan Kreutzer]

        Twenty-fourth Annual IEEE Symposium on

       LOGIC IN COMPUTER SCIENCE (LICS 2009)

                       Call for Papers


                  August  11--14, 2009,
              Los Angeles, California, USA

          http://www.informatik.hu-berlin.de/lics/


            Colocated with the 16th International
             Static Analysis Symposium (SAS 2009),
                       August 9--11



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, 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, 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.


Important Dates:
  Titles & Short Abstracts Due:  January 12, 2009
  Extended Abstracts  Due:       January 19, 2009
  Author Notification:                 March 19, 2009
  Camera-ready Papers Due:     May 25, 2009.


Submission information:
  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 firm; late submissions will not be considered.
  Submission is open at
      http://www.easychair.org/conferences/?conf=lics09

  See below for detailed submission instructions.


Affiliated Workshops:
    There will be five workshops affiliated with LICS 2009;
    information  will be posted shortly the LICS website.


Program Chair:
     Andrew Pitts
     Computer Laboratory
     University of Cambridge, UK
     Andrew.Pitts at cl.cam.ac.uk


Program Committee:
  Rance Cleaveland, University of Maryland
  Karl Crary, Carnegie Mellon University
  Rocco De Nicola, Univ. degli Studi di Firenze
  Gilles Dowek, École polytechnique
  Neil Immerman, University of Massachusetts
  Radha Jagadeesan, DePaul University
  Claude Kirchner, INRIA
  Marta Kwiatkowska, Oxford University
  Benoit Larose, Concordia University
  Soren Lassen, Google Inc.
  Leonid Libkin, University of Edinburgh
  Paul-André Melliès, CNRS & Univ. Paris Diderot
  Eugenio Moggi, Università di Genova
  Andrzej Murawski, Oxford University
  Gopalan Nadathur, University of Minnesota
  Prakash Panangaden, McGill University
  Madhusudan Parthasarathy, UI Urbana-Champaign
  Nir Piterman, Imperial College London
  Andrew Pitts, University of Cambridge
  François Pottier, INRIA
  Vijay Saraswat, IBM TJ Watson Research Center
  Lutz Schröder, DFKI-Lab Bremen
  Nicole Schweikardt,  Univ Frankfurt am Main
  Alwen Tiu, Australian National University
  Hongseok Yang, Queen Mary Univ. of London


Conference Chair:
  Jens Palsberg, UCLA
  Los Angeles, California, USA
  palsberg at ucla.edu


Workshops Chairs:
  Adriana Compagnoni, Stevens Inst. of Technology
  Philip J. Scott, University of Ottawa


Publicity Chairs:
  Stephan Kreutzer, University of Oxford
  Nicole Schweikardt, Universitat Frankfurt am Main


General Chair:
  Martín Abadi, Microsoft Research Silicon Valley and
              University of California, Santa Cruz


Organizing Committee:
  M. Abadi (chair), S. Abramsky, G. Ausiello, F. Baader,
  S. Brookes, S. Buss, E. Clarke, A. Compagnoni, H. Gabow, J. Giesl,
  R. Jagadeesan, A. Jeffrey, J.-P. Jouannaud, P. Kolaitis,
  S. Kreutzer, R. E. Ladner, J. A. Makowsky, J. Marcinkowski, L. Ong,
  F. Pfenning, A. M. Pitts, N. Schweikardt, P. Scott, M. Veanes


Advisory Board:
  R. Constable, Y. Gurevich, T. Henzinger, C. Kirchner, D. Kozen,
  U. Martin, J. Mitchell, L. Pacholski, V. Pratt, A. Scedrov,
  D.S. Scott, M.Y. Vardi, G. Winskel


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 reference with a font size of 10pt.  The LaTeX style
  files are available at http://www.cl.cam.ac.uk/users/amp12/lics09/.

  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-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.
  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 2009 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 2009 submission site in a time frame
  to be determined.


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 program
  committee may decline to make the award or may split it among
  several papers.


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.

--
You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsibscribe' in the message body. If you want help with using the
mailing list, please send 'help' in the body of an email to
majordomo at comlab.ox.ac.uk.