[FOM] LICS 2009 Call for Short Presentations

[Stephan Kreutzer]

		     CALL FOR SHORT PRESENTATIONS

		Twenty-Fourth Annual IEEE Symposium on
		LOGIC IN COMPUTER SCIENCE  (LICS 2009)

        August  11th - 14th, 2009, Los Angeles, California, USA
	   http://www2.informatik.hu-berlin.de/lics/lics09/

Following a now established tradition, there will be short talk (5-10
minutes) sessions during LICS 2009. These are intended for
descriptions of work in progress, student projects, trailers for
longer presentations at one of the affiliated workshops, and relevant
research being or to be published elsewhere; other brief
communications may be acceptable.

Talks can be on any topic related to logic in computer
science. 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.

Submissions for these presentations, in the form of short abstracts
(1 or 2 pages long), should be entered at the LICS 2009 submission
site following the instructions at

<http://www.cl.cam.ac.uk/~amp12/lics09/shorts.html>

Abstracts for proposed short talks must be in pdf format and should be
1-2 pages long.

Deadline for submissions: 11:59 GMT, Monday May 25, 2009

Notification: June 2, 2009

Invited Talks:
  John C. Baez, University of California, Riverside
  Edmund M. Clarke, Carnegie Mellon University

Invited Tutorial Talks:
  Dan R. Ghica, University of Birmingham
  Benjamin Rossman, Massachusetts Institute of Technology

Collocated events:
  Static Analysis Symposium (SAS 2009), August 9--11

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
  Maribel Fernandez, King's College London

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

Sponsorship:
The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
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.