Program Chair: Orna Kupferman, Hebrew University orna@cs.huji.ac.il Program Committee: Parosh A. Abdulla, Uppsala University Amal Ahmed, Northeastern University Sergei Artemov, City University of New York Andrei Bulatov, Simon Fraser University Yijia Chen, Shanghai Jiao Tong University Véronique Cortier, CNRS, Loria Mariangiola Dezani-Ciancaglini, Univ. di Torino Thomas Ehrhard, CNRS, Université Paris Diderot Javier Esparza, Technische Universität München Kousha Etessami, University of Edinburgh Maribel Fernandez, King's College London Santiago Figueira, University of Buenos Aires Simon Gay, University of Glasgow Martin Grohe, Humboldt-Universität zu Berlin Martin Hofmann, LMU Munich Petr Jancar, Technical University Ostrava Barbara Jobstmann, CNRS, Verimag, Jasper DA Patricia Johann, University of Strathclyde Bakhadyr Khoussainov, University of Auckland Antonina Kolokolova, University of Newfoundland Victor Marek, University of Kentucky Angelo Morzenti, Politecnico di Milano Lawrence Moss, Indiana University Madhavan Mukund, Chennai Math. Institute Anca Muscholl, Université Bordeaux Mogens Nielsen, Aarhus University Catuscia Palamidessi, INRIA, Ecole Polytechnique Luc Segoufin, INRIA, ENS Cachan Natarajan Shankar, SRI International Alexandra Silva, Radboud University Nijmegen Balder ten Cate, UC Santa Cruz Kazushige Terui, Kyoto University Ron van der Meyden, Univ. of New South Wales Jeannette M. Wing, Carnegie Mellon University Nobuko Yoshida, Imperial College London Conference Chair: Mike Mislove, Tulane University mislove@tulane.edu Workshops Chair: Patricia Bouyer-Decitre, CNRS, ENS Cachan Publicity Chair: Andrzej Murawski, Univ. of Warwick General Chair: Luke Ong, University of Oxford luke.ong@cs.ox.ac.uk Organizing Committee: Martín Abadi, Luca Aceto, Rajeev Alur, Franz Baader, Paul Beame, Patricia Bouyer-Decitre, Adriana Compagnoni, Anuj Dawar, Nachum Dershowitz, Martín Escardó, Maribel Fernández, Martin Grohe, Orna Grumberg, Jean-Pierre Jouannaud, Phokion Kolaitis, Orna Kupferman, Benoit Larose, Vlatko Lipovac, Michael Mislove, Georg Moser, Andrzej Murawski, Luke Ong (chair), Andre Scedrov, Philip Scott, David Shmoys, Matt Valeriote Advisory Board: Martín Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry Coquand, Thomas Henzinger, Phokion Kolaitis, Dexter Kozen, Dale Miller, John Mitchell, Prakash Panangaden, Andrew Pitts, Gordon Plotkin, Moshe Vardi, Glynn Winskel

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF. Agenda for the LICS'13 Business Meeting Conference Program Getting from Astor to the Meetings/Breakfast/Registration Accommodation and Transportation Registration for MFPS/LICS/CSF Tutorials (June 24) Hubert Comon-Lundh. Logic In Computer Security: Some attacker's models and related decision problems (abstract) Jan Rutten. Automata and the algebra-coalgebra duality: on varieties and covarieties, on transition monoids and their dual (abstract) Invited Speakers   LICS 2013 will feature invited lectures by Rajeev Alur, Joseph Halpern (with CSF), Nancy Lynch and Prakash Panangaden. It will also include a special session to mark the 80th birthday of Dana Scott, which will have the following invited speakers: Andrew Pitts, Steve Awodey, Andrej Bauer, Robert Harper, and Dana Scott. Affiliated Workshops June 28-29 (Friday-Saturday) Higher-Order Program Analysis (HOPA) Natural Language and Computer Science (NLCS) June 29 (Saturday) Foundations of Computer Security (FCS) (co-located with CSF) Syntax and Semantics of Low Level Languages (LOLA) Program Test-of-Time Awards Leo Bachmair, Harald Ganzinger and Uwe Waldmann. Set constraints are the monadic class André Joyal, Mogens Nielsen and Glynn Winskel. Bisimulation via open maps Benjamin C. Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes Call for Short Presentations (Deadline: April 20, 2013) Call for Papers The symposium is cosponsored by ACM SIGACT and the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. Back to the LICS webpage.