Program Chair: Frank Pfenning, Carnegie Mellon University Program Committee: Eyal Amir, Univ. of Illinois, Urbana-Champaign Andreas Blass, University of Michigan Andrei Bulatov, Simon Fraser University Cristiano Calcagno, Imperial College Stephen Cook, University of Toronto Ugo Dal Lago, University of Bologna Vincent Danos, University Paris 7 Martin Escardo, University of Birmingham Patrice Godefroid, Microsoft Research Redmond Jean Goubault-Larrecq, ENS Cachan John Harrison, Intel Rosalie Iemhoff, University Utrecht Naoki Kobayashi, Tohoku University Stephan Kreutzer, Oxford University Orna Kupferman, Hebrew University John Mitchell, Stanford University Robert Nieuwenhuis, Technical Univ. Catalonia Michael Norrish, NICTA, Australia Catuscia Palamidessi, INRIA Frank Pfenning, Carnegie Mellon University Philip Scott, University of Ottawa Alex Simpson, University of Edinburgh Ashish Tiwari, SRI Frank Wolter, University of Liverpool James Worrell, Oxford University Conference Chair: Stephen Brookes, Carnegie Mellon University Workshops Co-Chairs: Adriana Compagnoni, Stevens Inst. of Technology Phil Scott, University of Ottawa Publicity Co-Chairs: Stephan Kreutzer, Oxford University Nicole Schweikardt, University of Frankfurt General Chair: Martín Abadi, Microsoft Research Silicon Valley and University of California, Santa Cruz Organizing Committee: Martín Abadi (chair), Samson Abramsky, Rajeev Alur, Giorgio Ausiello, Franz Baader, Steve Brookes, Samuel Buss, Edmund Clarke, Adriana Compagnoni, Hal Gabow, Jürgen Giesl, Radha Jagadeesan, Alan Jeffrey, Phokion Kolaitis, Stephan Kreutzer, Richard E. Ladner, Johann (Janos) A. Makowsky, Jerzy Marcinkowski, Luke Ong, Prakash Panangaden, Frank Pfenning, Nicole Schweikardt, Philip Scott, Margus Veanes Advisory Board: Robert Constable, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Dexter Kozen, Ursula Martin, John Mitchell, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Dana S. Scott, Moshe Y. Vardi, Glynn Winskel

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2008 will be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA, 24th–27th June 2008. It will be colocated with the IEEE Computer Security Foundations Symposium (CSF).   More information on LICS 2008: Local information can be found at the LICS 2008 conference webpage at Carnegie Mellon University. Registration is open! The deadline for early registration is JUNE 1, 2008. Late registration (at higher cost) will be available until June 10, after which registration requires special arrangement with the conference organizers (please write an email to Stephen Brookes). Online registration for LICS 2008 is available here. This registration page can also be used to reserve a room in the CMU campus dormitories, if required. There is also a separate page with information about reserving a hotel room if you prefer that option. Blocks of hotels for LICS participants are being held until June 2, so if you plan to reserve a hotel room please do so before then. Call for short talks.   Deadline: April 21, 2008   (expired) Invited Speakers Preliminary program of LICS'08 List of accepted papers List of workshops co-located with LICS 2008: June 21: (CoLocated with CSF) FCS-ARSPA-WITS (L.Bauer, S.Etalle, J.den Hartog, L.Vigano) Security and Rewriting, SecRet2008 (Dan Dougherty, Santiago Escobar) June 22: FCS-ARSPA-WITS (L.Bauer, S.Etalle, J.den Hartog, L.Vigano) Proof-Carrying Code (PCC08) (Ian Stark, David Aspinall) June 23: Intuitionist Modal Logics and Applications (IMLA08) (Valeria de Paiva, Aleks Nanevski) International Workshop on Logical Frameworks and MetaLanguages (LFMTP) (Andreas Abel, Christian Urban) Call for Papers Revised submission deadlines: Titles & short abstracts due:  14 January 2008 Extended abstracts due:  21 January 2008 Submission instructions, style files for preparing a submission, and a link to the LICS 2008 submission site can be found here. Call for Workshops (pdf) Workshop proposals due:  20 November 2007   (expired)   Important dates: Workshop Proposals Deadline:   20 November 2007 Paper Registration Deadline (with short abstracts):   14 January 2008 Paper Submission Deadline:   21 January 2008 Author Notification:   10 March 2008 Final Versions for the Proceedings:   7 April 2008 Short Talks Submission Deadline:   21 April 2008 Conference:   24–27 June 2008 The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.