On this page:
- Index of LICS committees
- Index of FLoC committees
- List of all LICS committees
- List of all FLoC committees
Index of LICS Committees
- LICS 2024, Tallinn, Estonia
- LICS 2023, Boston, USA
- LICS 2022, Haifa, Israel
- LICS 2021, Rome, Italy
- LICS 2020, Saarbrucken, Germany
- LICS 2019, Vancouver
- LICS 2018, Oxford
- LICS 2017, Reykjavik
- LICS 2016, New York City
- LICS 2015, Kyoto, Japan
- LICS 2014, Vienna, Austria
- LICS 2013, New Orleans, USA
- LICS 2012, Dubrovnik, Croatia
- LICS 2011, Toronto, Canada
- LICS 2010, Edinburgh, Scotland, UK
- LICS 2009, Los Angeles, California, USA
- LICS 2008, Pittsburgh, PA, USA
- LICS 2007, Wroclaw, Poland
- LICS 2006, Seattle, Washington, USA
- LICS 2005, Chicago, USA
- LICS 2004, Turku, Finland
- LICS 2003, Ottawa, Canada
- LICS 2002, Copenhagen, Denmark
- LICS 2001, Boston, MA, USA
- LICS 2000, Santa Barbara, CA, USA
- LICS 1999, Trento, Italy
- LICS 1998, Indianapolis, IN, USA
- LICS 1997, Warsaw, Poland
- LICS 1996, New Brunswick, NJ, USA
- LICS 1995, San Diego, CA, USA
- LICS 1994, Paris, France
- LICS 1993, Montreal, Canada
- LICS 1992, Santa Cruz, CA, USA
- LICS 1991, Amsterdam, The Netherlands
- LICS 1990, Philadelphia, PA, USA
- LICS 1989, Pacific Grove, CA, USA
- LICS 1988, Edinburgh, Scotland, UK
- LICS 1987, Ithaca, NY, USA
- LICS 1986, Cambridge, MA, USA
Index of FLoC Committees
- FLOC 2014, Vienna, Austria
- FLOC 2010, Edinburgh, Scotland, UK
- FLOC 2006, Seattle, Washington, USA
- FLOC 2002, Copenhagen, Denmark
- FLOC 1999, Trento, Italy
- FLOC 1996, New Brunswick, NJ, USA
List of all LICS committees
LICS 2024, Tallinn, Estonia
General Chair
Orna Kupferman
Hebrew UniversityProgram Chair
Ugo Dal Lago and Javier Esparza
University of Bologna
Technische Universität MünchenConference Chair
Pawel Sobocinski
Taltech, EstoniaPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Valentin Blot
INRIA, FranceProgram Committee:
Mohamed Faouzi Atig (Uppsala University)
Steve Awodey (CMU )
Libor Barto (Charles University, Prague)
Lars Birkedal (Aarhus University)
Pierre Clairambault (CNRS & Aix-Marseille Université)
Thierry Coquand (University of Gothenburg)
Wojciech Czerwinski (Univ. Warsaw)
Ugo Dal Lago (University of Bologna)
Laurent Doyen (CNRS)
Javier Esparza (TUM)
Emmanuel Filiot (Univ. Libre de Bruxelles)
Bernd Finkbeiner (CISPA)
Cameron Freer (MIT)
Moses Ganardi (MPI-SWS)
Pierre Ganty (IMDEA Software)
Deepak Garg (MPI-SWS)
Francesco Gavazzo (University of Pisa)
Silvia Ghilezan (University of Novi Sad)
Rob van Glabbeek (Univ. Edinburgh)
Christoph Haase (University of Oxford)
Masahito Hasegawa (Kyoto University)
Ichiro Hasuo (Nat. Inst. of Informatics)
Ohad Kammar (University of Edinburgh)
Bruce Kapron (University of Victoria)
Juha Kontinen (University of Helsinki)
Cynthia Kop (Radboud University)
S.N. Krishna (IIT Bombay)
Andrzej Murawski (University of Oxford)
Sara Negri (University of Genova)
Petr Novotný (Masaryk University)
Michele Pagani (ENS Lyon)
Simon Perdrix (Inria, Loria)
Sasha Rubin (University of Sydney)
Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg)
Peter Selinger (Dalhousie University)
Ana Sokolova (University of Salzburg)
Lutz Strassburger (Inria Saclay)
Mirco Tribastone (IMT Lucca)
Anthony Widjaja Lin (University of Kaiserslautern & MPI-SWS)
Nobuko Yoshida (University of Oxford)Steering Committee
Christel Baier
Valentin Blot
Ugo Dal Lago
Javier Esparza
Dana Fisman
Marco Gaboardi
Daniele Gorla
Martin Grohe
Joost-Pieter Katoen
Naoki Kobayashi
Orna Kupferman
Leonid Libkin
Dale Miller
Joel Ouaknine
Brigitte Pientka
Alexandra Silva
Pawel Sobocinski
Sam Staton
Alwen Tiu
Igor WalukiewiczLICS 2023, Boston, USA
General Chair
Orna Kupferman
Hebrew UniversityProgram Chair
Igor Walukiewicz
CNRS, Université de Bordeaux, FranceConference Chair
Marco Gaboardi
Boston UniversityPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Valentin Blot
INRIA, FranceProgram Committee:
Igor Walukiewicz (CNRS, Université de Bordeaux, France)
S. Akshay (IIT Bombay, India)
Shaull Almagor (Technion, Israel)
Pablo Barcelo (Universidad Católica de Chile)
Manuel Bodirsky (TU Dresden, Germany)
Dmitry Chistikov (University of Warwick, UK)
Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis)
Anuj Dawar (University of Cambridge, UK)
Valeria de Paiva (Topos Institute, Berkeley, USA)
Stephane Demri (CNRS, LMF, France)
Yuxin Deng (East China Normal University, China)
Arnaud Durand (Université Paris Cité, France)
Claudia Faggian: (IRIF, CNRS and Université Paris Cité)
Maribel Fernández (King's College London, UK)
Matthew Hague (Royal Holloway University of London, UK)
Justin Hsu (Cornell University, USA)
Shin-ya Katsumata (National Institute of Informatics, Japan)
Alex Kavvos (University of Bristol, UK)
Stefan Kiefer (University of Oxford, UK)
Bartek Klin (University of Oxford, UK)
Naoki Kobayashi (University of Tokyo, Japan)
Barbara Koenig (Duisburg-Essen, Germany)
Laura Kovács (Vienna University of Technology, Austria)
Filip Mazowiecki (University of Warsaw)
Damiano Mazza (CNRS, LIPN, France)
Catuscia Palamidessi (INRIA, LIX, France)
Daniela Petrisan (IRIF, France)
André Platzer (Karlsruhe Institute of Technology, Germany)
Damien Pous (CNRS, LIP, France)
Pawel Sobocinski (Tallinn University of Technology, Estonia)
Szymon Toruńczyk (University of Warsaw, Poland)
Frits Vaandrager (Radboud University, The Netherlands)
Fabio Zanasi (University College London, UK)
Georg Zetzsche (MPI-SWS, Germany)
Thomas Zeume (Ruhr-Universität Bochum, Germany)Steering Committee
Christel Baier
Valentin Blot
Dana Fisman
Marco Gaboardi
Daniele Gorla
Martin Grohe
Holger Hermanns
Naoki Kobayashi
Orna Kupferman
Leonid Libkin
Dale Miller
Joel Ouaknine
Frank Pfenning
Brigitte Pientka
Alexandra Silva
Sam Staton
Alwen Tiu
Igor Walukiewicz
Lijung ZhangLICS 2022, Haifa, Israel
General Chair
Orna Kupferman
Hebrew UniversityProgram Chair
Christel Baier
TU Dresden, GermanyConference Chair
Dana Fisman
Ben-Gurion University, IsraelPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Frederic Blanqui
INRIA, FranceProgram Committee:
Zena M. Ariola (University of Oregon, US)
Christel Baier (TU Dresden, Germany (chair))
Michael Benedikt (University of Oxford, UK)
Udi Boker (IDC Herzliya, Israel)
Swarat Chaudhuri (University of Texas at Austin, US)
Lorenzo Clemente (University of Warsaw, Poland)
Liron Cohen (Ben-Gurion University, Israel)
Thomas Colcombet (CNRS IRIF Paris, France)
Thierry Coquand (University of Gothenburg, Sweden)
Martin Hötzel Escardo (University of Birmingham, UK)
Marcelo P. Fiore (University of Cambridge, UK)
Stefan Göller (University of Kassel, Germany)
Jan Hoffmann (CMU, Pittsburgh, US)
Benjamin Lucien Kaminski (University College London, UK)
Shin-ya Katsumata (National Institute of Informatics, Tokyo, Japan)
Juha Kontinen (University of Helsinki, Finland)
Jan Kretinsky (TU Munich, Germany)
Antonín Kučera (Masaryk University, Brno, Czech Republic)
Ranko Lazic (University of Warwick, UK)
Karoliina Lehtinen (CNRS, Aix-Marseille University, France)
Christof Löding (RWTH Aachen, Germany)
Assia Mahboubi (INRIA, Nantes University, France, and, Vrije Universiteit Amsterdam, NL)
Annabelle McIver (Macquarie University, Sydney, Australia)
Nelma Moreira (University of Porto, Portugal)
Aniello Murano (Universita degli Studi di Napoli Federico II, Italy)
Kedar Namjoshi (Nokia Bell Labs, US)
Joanna Ochremiak (CNRS LaBRI Bordeaux, France)
Prakash Panangaden (McGill University, Canada)
Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil)
Revantha Ramanayake (University of Groningen, Netherlands)
Jean-François Raskin (Université Libre de Bruxelles, Belgium)
Sylvain Schmitz (IRIF, Université de Paris, France)
Tachio Terauchi (Waseda University, Tokyo, Japan)
Henning Urbat (FAU Erlangen-Nürnberg, Germany)
Mahesh Viswanathan (University of Illinois, US)Steering Committee
Christel Baier
Frederc Blanqui
Patricia Bouyer-Decitre
Andre Bulatov
Dana Fisman
Daniele Gorla
Martin Grohe
Holger Hermanns
Naoki Kobayashi
Orna Kupferman
Leonid Libkin
Dale Miller
Joel Ouaknine
Frank Pfenning
Brigitte Pientka
Alexandra Silva
Sam Staton
Alwen Tiu
Lijung ZhangLICS 2021, Rome, Italy
General Chair
Dale Miller
Ecole PolytechniqueProgram Chair
Leonid Libkin
University of Edinburgh, UKConference Chair
Daniele Gorla
Universita di Roma La Sapienza, ItalyPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Frederic Blanqui
INRIA, FranceProgram Committee:
Christoph Berkholz (Humboldt-University Berlin)
Meghyn Bienvenu (CNRS, University of Bordeaux)
Filippo Bonchi (University of Pisa)
Véronique Bruyere@Bruyère (University of Mons)
Yu-Fang Chen (Academia Sinica)
Dmitry Chistikov (University of Warwick)
Silvia Crafa (University of Padova)
Amina Doumane (CNRS-ENS de Lyon)
Stéphanie Delaune (University Rennes, CNRS, IRISA)
Ekaterina Fokina (TU Wien)
Marco Gaboardi (Boston University)
Adria Gascon (Google UK)
Lauri Hella (Tampere University)
Ekaterina Komendantskaya (Heriott-Watt University)
Benoit Larose (UQAM, Montréal)
Jérôme Leroux (CNRS, University of Bordeaux)
Leonid Libkin (Univ. of Edinburgh/ENS-Paris)
Wim Martens (University of Bayreuth)
Peter OHearn@O’Hearn (UCL/Facebook)
Daniela Petrisan (Université de Paris, CNRS, IRIF)
Miguel Romero (Universidad Adolfo Ibáñez)
Philippe Schnoebelen (CNRS and ENS Paris-Saclay)
Olivier Serre (Université de Paris, CNRS, IRIF)
Sebastian Siebertz (University of Bremen)
Kristina Sojakova (INRIA)
Alwen Tiu (Australian National University)
Patrick Totzke (University of Liverpool)
Szymon Torunczyk (University of Warsaw)
Takeshi Tsukada (University of Tokyo)
Jamie Vicary (University of Cambridge)
Michael Zakharyaschev (Birkbeck)
Anna Zamansky (Haifa University)
Georg Zetzsche (Max Planck Institute for Software Systems)
Thomas Zeume (Ruhr-Universität Bochum)Steering Committee
Martín Abadi
Christel Baier
Frederic Blanqui
Patricia Bouyer
Andrei Bulatov
Daniele Gorla
Erich Graedel
Martin Grohe
Holger Hermanns
Naoki Kobayashi
Orna Kupferman
Leonid Libkin
Annabel McIver
Dale Miller
Luke Ong
Joel Ouaknine
Frank Pfenning
Alexandra Silva
Sam Staton
Lijung ZhangLICS 2020, Saarbrucken, Germany
General Chair
Dale Miller
Ecole PolytechniqueProgram Chair
Naoki Kobayashi
The University of Tokyo, JapanConference Chair
Holger Hermanns and Lijun Zhang
Saarbrucken, Germany and Beijing, ChinaPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Frederic Blanqui
INRIA, FranceProgram Committee:
Andreas Abel (Gothenburg University, Sweden)
Steve Awodey (Carnegie Mellon University, USA)
Christel Baier (TU Dresden, Germany)
Supratik Chakraborty (IIT Bombay, India)
Yijia Chen (Fudan University, China)
Pierre Clairambault (CNRS & ENS Lyon, France)
Ugo Dal Lago (University of Bologna & INRIA, Italy)
Laure Daviaud (City, University of London, UK)
Anuj Dawar (University of Cambridge, UK)
Josée Desharnais (Université Laval, Canada)
Jörg Endrullis (Vrije Universiteit Amsterdam, NL)
Emmanuel Filiot (Université Libre de Bruxelles, Belgium)
Rob van Glabbeek (Data61, CSIRO, Sydney, Australia)
Emmanuel Jeandel (Université de Lorraine, France)
Bakhadyr Khoussainov (The University of Auckland, New Zealand)
Hélène Kirchner (INRIA, France)
Naoki Kobayashi (The University of Tokyo, Japan)
Antonina Kolokolova (Memorial University of Newfoundland, Canada)
Orna Kupferman (Hebrew University, Israel)
Radu Mardare (University of Strathclyde, UK)
David Monniaux (CNRS & University of Grenoble, France)
Joanna Ochremiak (CNRS & University of Bordeaux, France)
Valeria de Paiva (Samsung Research America and University of Birmingham, USA)
Elaine Pimentel (UFRN, Brazil)
André Platzer (Carnegie Mellon University, USA)
Davide Sangiorgi (University of Bologna & INRIA, Italy)
Alex Simpson (University of Ljubljana, Slovenia)
Pawel Sobocinski (Tallinn University of Technology, Estonia)
Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)
Sam Staton (University of Oxford, UK)
Christine Tasson (Université de Paris, IRIF, France)
Makoto Tatsuta (National Institute of Informatics, Japan)
Igor Walukiewicz (CNRS & University of Bordeaux,France)
James Worrell (University of Oxford, UK)Steering Committee
Martín Abadi
Luca Aceto
Christel Baier
Frederic Blanqui
Patricia Bouyer
Andrei Bulatov
Anuj Dawar
Erich Graedel
Martin Grohe
Holger Hermanns
Anna Ingólfsdóttir
Naoki Kobayashi
Annabel McIver
Dale Miller
Luke Ong
Joel Ouaknine
Frank Pfenning
Alexandra Silva
Sam Staton
Lijung ZhangLICS 2019, Vancouver
General Chair
Dale Miller
Ecole PolytechniqueProgram Chair
Patricia Bouyer
CNRS, FranceConference Chair
Andrei Bulatov
Simon Fraser UniversityPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Frederic Blanqui
INRIA, FranceProgram Committee:
Parosh A. Abdulla (Uppsala University, Sweden)
Luca Aceto (Reykjavik University, Iceland / Gran Sasso Science Institute, Italy)
C. Aiswarya (Chennai Mathematical Institute, India)
Myrto Arapinis (University of Edinburgh, UK)
Lars Birkedal (Aarhus University, Denmark)
Patricia Bouyer (CNRS, France)
Arnaud Carayol (CNRS, France)
Kaustuv Chaudhuri (Inria, France)
Thierry Coquand (University of Gothenburg, Sweden)
Kousha Etessami (University of Edinburgh, UK)
Maribel Fernandez (King's College London, UK)
Santiago Figueira (Univ. Buenos Aires, Argentina)
Mai Gehrke (CNRS, France)
Stefan Kiefer (University of Oxford, UK)
Aleks Kissinger (Radboud Univ., NL)
Barbara König (Univ. Duisburg-Essen, Germany)
Laura Kovács (TU Wien, Austria)
Stephan Kreutzer (TU Berlin, Germany)
Antonín Kučera (Masaryk University, Czech Republic)
Sławomir Lasota (University of Warsaw, Poland)
Ranko Lazić (University of Warwick, UK)
Stefan Mengel (CNRS, France)
Catuscia Palamidessi (Inria, France)
Prakash Panangaden (McGill University, Canada)
Sophie Pinchinat (University of Rennes, France)
Andrew M. Pitts (University of Cambridge, UK)
Karin Quaas (Universität Leipzig, Germany)
Jean-François Raskin (Univ. Libre de Bruxelles, Belgium)
Pierre-Alain Reynier (Aix-Marseille University, France)
Tony Tan (National Taiwan University, Taiwan)
Victor Vianu (U.C. San Diego, USA)Steering Committee
Martín Abadi
Luca Aceto
Christel Baier
Frederic Blanqui
Patricia Bouyer
Andrei Bulatov
Anuj Dawar
Erich Graedel
Martin Grohe
Anna Ingólfsdóttir
Eric Koskinen
Annabel McIver
Dale Miller
Luke Ong
Joel Ouaknine
Frank Pfenning
Natarajan Shankar
Alexandra Silva
Sam StatonLICS 2018, Oxford
General Chair
Martin Grohe
RWTH Aachen UniversityProgram Chair
Martin Hofmann
LMU MunichConference Chair
Sam Staton
University of OxfordPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Patricia Bouyer
CNRS & ENS CachanProgram Committee:
Gilles Barthe (IMDEA Software Institute)
Michael Benedikt (Univ. Oxford)
Hans L. Bodlaender (Utrecht University)
Ugo Dal Lago (Univ. Bologna & INRIA Sophia Antipolis)
Samir Datta (Chennai Mathematical Institute)
Anuj Dawar (Univ. Cambridge)
Josee Desharnais (Univ. Laval)
Jerome Feret (INRIA, ENS Paris)
Erich Grädel (RWTH Aachen)
Ichiro Hasuo (NII Tokyo)
Justin Hsu (UCL)
Alan Jeffrey (Mozilla Research)
Bartek Klin (Univ. Warsaw)
Antonina Kolokolova (Memorial Univ. Newfoundland)
Orna Kupferman (Hebrew Univ. Jerusalem)
Daniel Leivant (Indiana Univ.)
Daniel R. Licata (Carnegie Mellon University)
Anthony Widjaja Lin (Univ. Oxford)
Sebastian Maneth (Univ. Bremen)
Anca Muscholl (Univ. Bordeaux)
Brigitte Pientka (McGill University)
Thomas Place (Univ. Bordeaux)
Ramyaa Ramyaa (New Mexico Tech.)
Giselle Reis (Carnegie Mellon (Qatar))
Sylvain Schmitz (ENS Paris-Saclay)
Nicole Schweikardt (HU Berlin)
Peter Selinger (Dalhousie University)
Zhong Shao (Yale University)
Ana Sokolova (Univ. Salzburg)
Thomas Streicher (TU Darmstadt)
Carolyn Talcott (SRI International)
Lijun Zhang (Chinese Academy of Sciences, Beijing)Steering Committee
Martín Abadi
Luca Aceto
Rajeev Alur
Patricia Bouyer
Krishnendu Chatterjee
Martin Grohe
Masahito Hasegawa
Tom Henzinger
Anna Ingólfsdóttir
Eric Koskinen
StephanKreutzer
Dale Miller
Luke Ong
Joel Ouaknine
Catuscia Palamidessi
Natarajan Shankar
Alexandra Silva
Sam Staton
Moshe VardiLICS 2017, Reykjavik
General Chair
Martin Grohe
RWTH Aachen UniversityProgram Chair
Joël Ouaknine
MPI for Software Systems and Oxford UniversityConference Chair
Luca Aceto and Anna Ingólfsdóttir
Reykjavik UniversityPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Patricia Bouyer
CNRS & ENS CachanProgram Committee:
Albert Atserias (Universitat Politècnica de Catalunya)
Steve Awodey (Carnegie Mellon University)
Christel Baier (TU Dresden)
Nick Benton (Microsoft Research)
Nathalie Bertrand (INRIA Rennes)
Achim Blumensath (Masaryk University)
Mikołaj Bojańczyk (Warsaw University)
Patricia Bouyer (CNRS, ENS Cachan)
James Brotherston (University College London)
Corina Cîrstea (University of Southampton)
Véronique Cortier (CNRS, LORIA)
Gilles Dowek (INRIA & ENS Cachan)
Thomas Ehrhard (Université Paris Diderot)
Diego Figueira (LaBRI)
Stefan Göller (CNRS, ENS Cachan)
Jean Goubault-Larrecq (ENS Cachan)
Neil Immerman (University of Massachusetts, Amherst)
Bart Jacobs (Radboud University Nijmegen)
Elham Kashefi (CNRS, Laboratoire d'Informatique de Paris 6 & University of Edinburgh)
Antonín Kučera (Masaryk University)
Carsten Lutz (Universität Bremen)
Barnaby Martin (Durham University)
Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg)
David Monniaux (CNRS, VERIMAG)
Joel Ouaknine (MPI-SWS & University of Oxford)
Dominique Perrin (Université Paris-Est)
Brigitte Pientka (McGill University)
Alexander Rabinovich (Tel Aviv University)
Ofer Strichman (Technion)
Christine Tasson (Université Paris Diderot)
Margus Veanes (Microsoft Research)Steering Committee
Martín Abadi
Luca Aceto
Rajeev Alur
Patricia Bouyer
Krishnendu Chatterjee
Martin Grohe
Masahito Hasegawa
Anna Ingólfsdóttir
Eric Koskinen
StephanKreutzer
Dale Miller
Luke Ong
Joel Ouaknine
Catuscia Palamidessi
Natarajan Shankar
Alexandra Silva
Sam Staton
Moshe VardiLICS 2016, New York City
General Chair
Martin Grohe
RWTH Aachen UniversityProgram Chair
Natarajan Shankar
SRI InternationalConference Chair
Eric Koskinen
Yale UniversityPublicity Chair
Sam Staton
University of OxfordWorkshops Chair
Patricia Bouyer-Decitre
CNRS & ENS CachanProgram Committee:
Albert Atserias (Universitat Politècnica de Catalunya)
Steve Awodey (Carnegie Mellon University)
Christel Baier (TU Dresden)
Nick Benton (Microsoft Research)
Nathalie Bertrand (INRIA Rennes)
Achim Blumensath (Masaryk University)
Mikołaj Bojańczyk (Warsaw University)
Patricia Bouyer (CNRS, ENS Cachan)
James Brotherston (University College London)
Corina Cîrstea (University of Southampton)
Véronique Cortier (CNRS, LORIA)
Gilles Dowek (INRIA & ENS Cachan)
Thomas Ehrhard (Université Paris Diderot)
Diego Figueira (LaBRI)
Stefan Göller (CNRS, ENS Cachan)
Jean Goubault-Larrecq (ENS Cachan)
Neil Immerman (University of Massachusetts, Amherst)
Bart Jacobs (Radboud University Nijmegen)
Elham Kashefi (CNRS, Laboratoire d'Informatique de Paris 6 & University of Edinburgh)
Antonín Kučera (Masaryk University)
Carsten Lutz (Universität Bremen)
Barnaby Martin (Durham University)
Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg)
David Monniaux (CNRS, VERIMAG)
Joel Ouaknine (MPI-SWS & University of Oxford)
Dominique Perrin (Université Paris-Est)
Brigitte Pientka (McGill University)
Alexander Rabinovich (Tel Aviv University)
Ofer Strichman (Technion)
Christine Tasson (Université Paris Diderot)
Margus Veanes (Microsoft Research)Steering Committee
Martín Abadi
Rajeev Alur
Patricia Bouyer-Decitre
Krishnendu Chatterjee
Martin Grohe
Masahito Hasegawa
Eric Koskinen
StephanKreutzer
Orna Kupferman
Dale Miller
Michael Mislove
Luke Ong
Catuscia Palamidessi
Natarajan Shankar
Alexandra Silva
Sam Staton
Moshe VardiLICS 2015, Kyoto, Japan
General Chair
Luke Ong
University of Oxford
luke.ong@cs.ox.ac.ukProgram Chair
Catuscia Palamidessi
INRIA & E. PolytechniquePublicity Chair
Andrzej Murawski
University of Warwick
a.murawski@warwick.ac.ukWorkshops Chair
Patricia Bouyer-Decitre
CNRS & ENS Cachan
bouyer@lsv.ens-cachan.frProgram Committee:
Pablo Barceló (U. Chile)
Gilles Barthe (IMDEA)
Andrej Bauer (IMFM)
Lev Beklemishev (Russian Ac. of Sci.)
Patricia Bouyer-Decitre (CNRS & ENS Cachan)
Adam Chlipala (MIT)
Agata Ciabattoni (TU Wien)
Véronique Cortier (CNRS Loria)
Pedro D'Argenio (UN Cordoba)
Anuj Dawar (U. Cambridge)
Mariangiola Dezani-Ciancaglini (U. Torino)
Yuxi Fu (SJTU)
Rob van Glabbeek (NICTA)
Ichiro Hasuo (U. Tokyo)
Martin Hofmann (LMU)
Delia Kesner (U. Paris Diderot)
Barbara König (U. Duisburg-Essen)
Laura Kovács (Chalmers UT)
Dexter Kozen (Cornell U.)
Manfred Kufleitner (U. Stuttgart)
Anthony W. Lin (Yale-NUS College)
Simone Martini (U. Bologna)
Madhavan Mukund (Chennai Math. Inst.)
Filip Murlak (U. Warsaw)
Gopalan Nadathur (U. Minnesota)
Frank Pfenning (CMU)
Ian Pratt-Hartmann (U. Manchester)
Albert Rubio (U. Barcelona)
Peter Selinger (Dalhousie U.)
Alexandra Silva (Radboud U.)
Tachio Terauchi (JAIST)
Bow-Yaw Wang (Academia Sinica)Organizing Committee
Martín Abadi
Luca Aceto
Rajeev Alur
Maria PaolaBonacina
Patricia Bouyer-Decitre
Krishnendu Chatterjee
Adriana Compagnoni
Anuj Dawar
Nachum Dershowitz
Maribel Fernández
Martin Grohe
Orna Grumberg
Masahito Hasegawa
Thomas A. Henzinger
Phokion Kolaitis
Orna Kupferman
Benoit Larose
Dale Miller
Michael Mislove
Andrzej Murawski
Luke Ong
Catuscia Palamidessi
Prakash Panangaden
Kristoffer Rose
Andre Scedrov
David Shmoys
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Rajeev Alur
Bob Constable
Thierry Coquand
Thomas Henzinger
Jean-Pierre Jouannaud
Phokion Kolaitis
Dexter Kozen
Dale Miller
John Mitchell
Prakash Panangaden
Andrew Pitts
Gordon Plotkin
Moshe Y. Vardi
Glynn WinskelLICS 2014, Vienna, Austria
General Chair
Luke Ong
University of Oxford
luke.ong@cs.ox.ac.ukProgram Chair
Thomas A. Henzinger Dale A. Miller
IST Austria
INRIA & LIXPublicity Chair
Andrzej Murawski
University of Warwick
a.murawski@warwick.ac.ukWorkshops Chair
Patricia Bouyer-Decitre
CNRS & ENS Cachan
bouyer@lsv.ens-cachan.frProgram Committee:
Andrea Asperti (University of Bologna)
Gilles Barthe (IMDEA)
Andrej Bauer (IMFM)
Lars Birkedal (Aarhus University)
Krishnendu Chatterjee (IST Austria)
Adriana Compagnoni (Stevens Institute of Technology)
Valeria DePaiva (Nuance Communications)
Laurent Doyen (ENS Cachan)
Jacques Duparc (University of Lausanne)
Maribel Fernández (King's College London)
Herman Geuvers (Radboud University Nijmegen)
Dan Ghica (University of Birmingham)
Erich Grädel (RWTH Aachen University)
Holger Hermanns (Saarland University)
Neil Immerman (University of Mass. Amherst)
Naoki Kobayashi (University of Tokyo)
Laura Kovács (Chalmers University)
Viktor Kuncak (EPFL)
Salvatore La Torre (University of Salerno)
Rupak Majumdar (MPI-SWS)
Damiano Mazza (CNRS & University Paris-Nord)
Joel Ouaknine (University of Oxford)
Leszek Pacholski (University of Wroclaw)
Nir Piterman (University of Leicester)
Andrew Pitts (University of Cambridge)
Andreas Podelski (University of Freiburg)
R. Ramanujam (IMS Chennai)
James Riely (DePaul University)
Simona Ronchi Della Rocca (University of Torino)
Amr Sabry (Indiana University)
Tom Schrijvers (Ghent University)
P. S. Thiagarajan (National University of Singapore)
Alwen Tiu (Nanyang Technological University)
Victor Vianu (University of California, San Diego)
Igor Walukiewicz (CNRS & University of Bordeaux)Organizing Committee
Martín Abadi
Luca Aceto
Rajeev Alur
Paul Beame
Maria PaolaBonacina
Patricia Bouyer-Decitre
Krishnendu Chatterjee
Adriana Compagnoni
Anuj Dawar
Nachum Dershowitz
Maribel Fernández
Martin Grohe
Orna Grumberg
Thomas A. Henzinger
Phokion Kolaitis
Orna Kupferman
Benoit Larose
Vlatko Lipovac
Dale Miller
Michael Mislove
Georg Moser
Andrzej Murawski
Luke Ong
Andre Scedrov
David Shmoys
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Rajeev Alur
Bob Constable
Thierry Coquand
Thomas Henzinger
Jean-Pierre Jouannaud
Phokion Kolaitis
Dexter Kozen
Dale Miller
John Mitchell
Prakash Panangaden
Andrew Pitts
Gordon Plotkin
Moshe Y. Vardi
Glynn WinskelLICS 2013, New Orleans, USA
General Chair
Luke Ong
University of Oxford
luke.ong@cs.ox.ac.ukProgram Chair
Orna Kupferman
Hebrew University
orna@cs.huji.ac.ilConference Chair
Mike Mislove
Tulane University
mislove@tulane.eduPublicity Chair
Andrzej Murawski
University of Warwick
a.murawski@warwick.ac.ukWorkshops Chair
Patricia Bouyer-Decitre
CNRS & ENS Cachan
bouyer@lsv.ens-cachan.frProgram Committee:
Parosh 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 Fernández (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 Jančar (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 (U. New South Wales)
Jeannette M. Wing (Carnegie Mellon University)
Nobuko Yoshida (Imperial College London)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
Andre Scedrov
Philip Scott
David Shmoys
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Rajeev Alur
Bob Constable
Thierry Coquand
Thomas Henzinger
Phokion Kolaitis
Dexter Kozen
Dale Miller
John Mitchell
Prakash Panangaden
Leszek Pacholski
Prakash Panangaden
Andrew Pitts
Gordon Plotkin
Moshe Y. Vardi
Glynn WinskelLICS 2012, Dubrovnik, Croatia
General Chair
Rajeev Alur
University of Pennsylvania, Philadelphia
alur@cis.upenn.eduProgram Chair
Nachum Dershowitz
Tel Aviv University
nachum@tau.ac.ilConference Chair
Vlatko Lipovac
Univ. of Dubrovnik
vlipovac@unidu.hrAndre Scedrov
Univ. of Pennsylvania
scedrov@math.upenn.eduPublicity Chair
Stephan Kreutzer
Berlin Inst. of Technology
stephan.kreutzer@tu-berlin.deAndrzej Murawski
University of Leicester
andrzej.murawski@le.ac.ukWorkshops Chair
Adriana Compagnoni
Stevens Institute of Technology, New Jersey
abc@cs.stevens.eduMaribel Fernández
King's College London
Maribel.Fernandez@kcl.ac.ukProgram Committee:
Christel Baier (Dresden Univ. of Technology)
Lev Beklemishev (Steklov Inst. of Mathematics)
Andreas Blass (Univ. of Michigan)
Manuel Bodirsky (École Polytechnique)
Mikołaj Bojańczyk (Warsaw Univ.)
Ahmed Bouajjani (Univ. Paris Diderot)
Patricia Bouyer-Decitre (CNRS)
Andrei Bulatov (Simon Fraser Univ.)
Hubert Comon-Lundh (ENS Cachan)
Anuj Dawar (Univ. of Cambridge)
Gilles Dowek (INRIA)
Martín Escardó (Univ. of Birmingham)
Maribel Fernández (King's College London)
Rob van Glabbeek (NICTA)
Rosalie Iemhoff (Utrecht Univ.)
Neil Immerman (UMass, Amherst)
Max Kanovich (Queen Mary, Univ. of London)
Naoki Kobayashi (Tohoku Univ.)
Orna Kupferman (Hebrew Univ.)
Marta Kwiatkowska (Univ. of Oxford)
Olivier Laurent (CNRS - ENS Lyon)
Richard Mayr (Univ. of Edinburgh)
Andrzej Murawski (Univ. of Leicester)
David Plaisted (Univ. North Carolina, Chapel Hill)
Davide Sangiorgi (Univ. of Bologna)Organizing Committee
Martín Abadi
Rajeev Alur
Franz Baader
Paul Beame
Samuel Buss
Edmund M. Clarke
Adriana Compagnoni
Nachum Dershowitz
Martín Escardó
Maribel Fernández
Lance Fortnow
Jürgen Giesl
Martin Grohe
Jean-Pierre Jouannaud
Phokion Kolaitis
Stephan Kreutzer
Benoit Larose
Vlatko Lipovac
Johann A. Makowsky
Michael Mislove
Burkhard Monien
Andrzej Murawski
Philip Scott
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Phokion Kolaitis
Dexter Kozen
Ursula Martin
John Mitchell
Luke Ong
Leszek Pacholski
Prakash Panangaden
Gordon Plotkin
Andre Scedrov
Moshe Y. Vardi
Glynn WinskelLICS 2011, Toronto, Canada
General Chair
Rajeev Alur
University of Pennsylvania, Philadelphia
alur@cis.upenn.eduProgram Chair
Martin Grohe
Humboldt University, Berlin
grohe@informatik.hu-berlin.deConference Chair
Benoit Larose
Champlain Regional College
larose@mathstat.concordia.caMatt Valeriote
McMaster Univ., Hamilton
matt@math.mcmaster.caPublicity Chair
Stephan Kreutzer
University of Oxford
kreutzer@comlab.ox.ac.ukAndrzej Murawski
University of Leicester
andrzej.murawski@le.ac.ukWorkshops Chair
Maribel Fernández
King's College London
Maribel.Fernandez@kcl.ac.ukAdriana Compagnoni
Stevens Institute of Technology, New Jersey
abc@cs.stevens.eduProgram Committee:
Eli Ben-Sasson (Technion, Haifa)
Patrick Baillot (CNRS & ENS, Lyon)
Patricia Bouyer-Decitre (ENS, Cachan)
Balder ten Cate (UC Santa Cruz)
Thierry Coquand (University of Gothenburg)
Victor Dalmau (UPF, Barcelona)
Josée Desharnais ( Univ. Laval, Québec)
Kousha Etessami ( Univ. of Edinburgh)
Philippa Gardner ( Imperial College, London)
Rob van Glabbeek ( NICTA, Sydney)
Guillem Godoy (UPC, Barcelona)
Martin Grohe ( HU Berlin)
Martin Hofmann (LMU Munich)
Vineet Kahlon (NEC Labs, Princeton)
Stephan Kreutzer (Univ. of Oxford)
Dale Miller (INRIA, Saclay)
Leonardo de Moura (Microsoft Research, Redmond)
Luke Ong (Univ. of Oxford)
Benjamin Rossman (MIT, Cambridge)
Davide Sangiorgi ( Univ. of Bologna)
Luc Segoufin (INRIA & ENS, Cachan)
Matt Valeriote ( McMaster Univ., Hamilton)
Andrei Voronkov ( Univ. of Manchester)
Igor Walukiewicz ( Univ. of Bordeaux)
Thomas Wilke ( Univ. of Kiel)Organizing Committee
Martín Abadi
Rajeev Alur
Paul Beame
Maria Paola Bonacina
Samuel Buss
Edmund M. Clarke
Adriana Compagnoni
Martín Escardó
Maribel Fernández
Lance Fortnow
Jürgen Giesl
Martin Grohe
Jean-Pierre Jouannaud
Phokion Kolaitis
Stephan Kreutzer
Benoit Larose
Johann A. Makowsky
Burkhard Monien
Andrzej Murawski
Jens Palsberg
Andrew Pitts
Philip Scott
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Phokion Kolaitis
Dexter Kozen
Ursula Martin
John Mitchell
Luke Ong
Leszek Pacholski
Gordon Plotkin
Andre Scedrov
Moshe Y. Vardi
Glynn WinskelLICS 2010, Edinburgh, Scotland, UK
General Chair
Rajeev Alur
University of Pennsylvania, Philadelphia
alur@cis.upenn.eduProgram Chair
Jean-Pierre Jouannaud
INRIA and Tsinghua University, Beijing
jeanpierre.jouannaud@gmail.comConference Chair
Martín Escardó
University of Birmingham
m.escardo@cs.bham.ac.ukPublicity Chair
Stephan Kreutzer
University of Oxford
kreutzer@comlab.ox.ac.ukNicole Schweikardt
Frankfurt University
schweika@informatik.uni-frankfurt.deWorkshops Chair
Maribel Fernández
King's College London
Maribel.Fernandez@kcl.ac.ukAdriana Compagnoni
Stevens Institute of Technology, New Jersey
abc@cs.stevens.eduProgram Committee:
Parosh Abdulla (Uppsala University)
Albert Atserias (Universitat Politècnica de Catalunya)
Franz Baader (TU Dresden)
Krishnendu Chatterjee (IST, Vienna)
Yijia Chen (Jiaotong University, Shanghai)
Véronique Cortier (CNRS & LORIA, Nancy)
Vincent Danos (University of Edinburgh)
Martín Escardó (University of Birmingham)
Javier Esparza (TU München)
Amy Felty (University of Ottawa)
Herman Geuvers (Radboud University, Nijmegen)
Dan Ghica (University of Birmingham)
Robert Harper (Carnegie Mellon University)
Jean-Pierre Jouannaud (INRIA and Tsinghua University, Beijing)
Naoki Kobayashi (Tohoku University, Sendai)
Orna Kupferman (Hebrew University, Jerusalem)
Stephane Lengrand (CNRS & LIX, Palaiseau)
José Meseguer (University of Illinois, Urbana-Champaign)
John Mitchell (Stanford University)
Eugenio Moggi (Università di Genova)
Anca Muscholl (Université Bordeaux)
Mogens Nielsen (Aarhus University)
Makoto Tatsuta (NII, Tokyo)
Wolfgang Thomas (RWTH Aachen)
Paweł Urzyczyn (Warsaw University)
Victor Vianu (University of California, San Diego)Organizing Committee
Martín Abadi
Rajeev Alur
Paul Beame
Maria Paola Bonacina
Steve Brookes
Samuel Buss
Edmund M. Clarke
Adriana Compagnoni
Martín Escardó
Maribel Fernández
Lance Fortnow
Jürgen Giesl
Radha Jagadeesan
Jean-Pierre Jouannaud
Phokion Kolaitis
Stephan Kreutzer
Benoit Larose
Johann A. Makowsky
Burkhard Monien
Jens Palsberg
Frank Pfenning
Andrew M. Pitts
Nicole Schweikardt
Philip Scott
Matt ValerioteAdvisory Board
Martín Abadi
Samson Abramsky
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Phokion Kolaitis
Dexter Kozen
Ursula Martin
John Mitchell
Luke Ong
Leszek Pacholski
Gordon Plotkin
Andre Scedrov
Moshe Y. Vardi
Glynn WinskelLICS 2009, Los Angeles, California, USA
General Chair
Martín Abadi
Microsoft Research Silicon Valley and University of California, Santa Cruz
abadi@cs.ucsc.edu
Phone : +1 831 459 1489Program Chair
Andrew M. Pitts
University of Cambridge, U.K.
andrew.pittso@cl.cam.ac.ukConference Chair
Jens Palsberg
UCLA
palsberg@ucla.eduPublicity Chair
Stephan Kreutzer
Oxford University
kreutzer@comlab.ox.ac.ukNicole Schweikardt
Frankfurt University
schweika@informatik.uni-frankfurt.deWorkshops Chair
Maribel Fernández
King's College London
Maribel.Fernandez@kcl.ac.ukAdriana Compagnoni
Stevens Inst. of Technology
abc@cs.stevens.eduProgram Committee:
Rance Cleaveland (University of Maryland)
Karl Crary (Carnegie Mellon University)
Rocco De Nicola (Università di Firenze)
Gilles Dowek (École Polytechnique, Paris)
Neil Immerman (U. of Massachusetts, Amherst)
Radha Jagadeesan (DePaul University, USA)
Claude Kirchner (INRIA Lorraine)
Marta Z. Kwiatkowska (Ocford University)
Benoit Larose (Concordia University)
Soren Lassen (Google Inc.)
Leonid Libkin (University of Edinburgh)
Paul-André Melliès (CNRS & U. Paris Diderot)
Eugenio Moggi (U. di Genova)
Andrzej Murawski (Oxford University)
Gopalan Nadathur (University of Minnesota)
Prakash Panangaden (McGill University)
Madhusudan Parthasarathy (University of Illinois at Urbana-Champaign)
Nir Piterman (Imperial College London)
Andrew M. Pitts (Cambridge University)
Francois Pottier (INRIA)
Vijay Saraswat (IBM TJ Watson Research Center)
Lutz Schröder (DFKI-Lab Bremen)
Nicole Schweikardt (Frankfurt University)
Alwen Tiu (Australian National University)
Hongseok Yank (Queen Mary University of London)Organizing Committee
Martín Abadi
Samson Abramsky
Rajeev Alur
Giorgio Ausiello
Franz Baader
Steve Brookes
Samuel R. Buss
Adriana Compagnoni
Hal Gabow
Jürgen Giesl
Lauri Hella
Radha Jagadeesan
Phokion G. Kolaitis
Stephan Kreutzer
Richard E. Ladner
Johann A. Makowsky
Jerzy Marcinkowski
Luke Ong
Jens Palsberg
Frank Pfenning
Andrew Pitts
Nicole Schweikardt
Philip J. Scott
Margus VeanesAdvisory Board
Robert L. Constable
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Dexter C. Kozen
Ursula Martin
John C. Mitchell
Leszek Pacholski
Gordon Plotkin
Vaughan R. Pratt
Andre Scedrov
Dana S. Scott
Moshe Y. Vardi
Glynn WinskelLICS 2008, Pittsburgh, PA, USA
General Chair
Martín Abadi
Microsoft Research Silicon Valley and University of California, Santa Cruz
abadi@cs.ucsc.edu
Phone : +1 831 459 1489Program Chair
Frank Pfenning
Carnegie Mellon University, Pittsburgh
fp@cs.cmu.eduConference Chair
StephenBrookes
Carnegie Mellon UniversityPublicity Chair
Stephan Kreutzer
Oxford University
kreutzer@comlab.ox.ac.ukNicole Schweikardt
Frankfurt University
schweika@informatik.uni-frankfurt.deWorkshops Chair
Phil Scott
University of Ottawa
phil@site.uottawa.caAdriana Compagnoni
Stevens Inst. of Technology
abc@cs.stevens.eduProgram 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)Organizing Committee
Martín Abadi
Samson Abramsky
Rajeev Alur
Giorgio Ausiello
Franz Baader
Steve Brookes
Samuel R. Buss
Edmund Clarke
Adriana Compagnoni
Hal Gabow
Jürgen Giesl
Radha Jagadeesan
Alan Jeffrey
Phokion G. Kolaitis
Stephan Kreutzer
Richard E. Ladner
Johann A. Makowsky
Jerzy Marcinkowski
Luke Ong
Prakash Panangaden
Frank Pfenning
Nicole Schweikardt
Philip J. Scott
Margus VeanesAdvisory Board
Robert L. Constable
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Dexter C. Kozen
Ursula Martin
John C. Mitchell
Leszek Pacholski
Vaughan R. Pratt
Andre Scedrov
Dana S. Scott
Moshe Y. Vardi
Glynn WinskelLICS 2007, Wroclaw, Poland
General Chair
Martín Abadi
Bell Labs - Lucent Technologies
3180 Porter Drive
Palo Alto, California 94304, USA
abadi@research.bell-labs.com
Phone : +1 650 565 7477
Fax : +1 650 565 7676Program Chair
Luke Ong
University of Oxford
lo@comlab.ox.ac.ukConference Chair
Jerzy Marcinkowski
University of Wroclaw
jma@ii.uni.wroc.plPublicity Chair
Stephan Kreutzer
Humboldt-Universität zu Berlin, Germany
kreutzer@informatik.hu-berlin.deNicole Schweikardt
Humboldt-Universität zu Berlin, Germany
schweika@informatik.hu-berlin.deWorkshops Chair
Philip J. Scott
University of Ottawa
phil@site.uottawa.caProgram Committee:
Albert Atserias (Technical University of California)
Steve Awodey (Carnegie Mellon University)
Nachum Dershowitz (Tel Aviv University)
Thomas Ehrhard (University of Paris 7 and CNRS)
Javier Esparza (University of Stuttgart)
Marcelo P. Fiore (University of Cambridge)
Erich Grädel (RWTH Aachen University)
Thomas A. Henzinger (EPFL)
Alan Jeffrey (Bell Labs)
Achim Jung (University of Birmingham)
Dexter C. Kozen (Cornell University)
Kim G. Larsen (Aalborg University)
Jerzy Marcinkowski (University of Wroclaw)
Luke Ong (University of Oxford) (chair)
Frank Pfenning (CMU)
Andrew M. Pitts (Cambridge University)
Vladimiro Sassone (University of Southampton)
Nicole Schweikardt (Humboldt University Berlin)
Peter Selinger (Dalhousie University)
Natarajan Shankar (Computer Science Lab. SRI)
Victor Vianu (University of California, San Diego)
Igor Walukiewicz (CNRS, Bordeaux)Organizing Committee
Martín Abadi
Samson Abramsky
Rajeev Alur
Franz Baader
Andrei Z. Broder
Samuel R. Buss
Edmund M. Clarke
Jürgen Giesl
Lauri Hella
Radha Jagadeesan
Alan Jeffrey
Phokion G. Kolaitis
Stephan Kreutzer
Richard E. Ladner
Johann A. Makowsky
Jerzy Marcinkowski
Mogens Nielsen
Luke Ong
Prakash Panangaden
Nicole Schweikardt
Philip J. Scott
Margus Veanes
Andrei VoronkovAdvisory Board
Robert L. Constable
Yuri Gurevich
Thomas A. Henzinger
Claude Kirchner
Dexter C. Kozen
Ursula Martin
John C. Mitchell
Leszek Pacholski
Vaughan R. Pratt
Andre Scedrov
Dana S. Scott
Moshe Y. Vardi
Glynn WinskelLICS 2006, Seattle, Washington, USA
General Chair
Phokion G. Kolaitis
IBM Almaden Research Center
UC Santa Cruz
kolaitis@almaden.ibm.comProgram Chair
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.eduConference Chair
Margus Veanes
Microsoft Research
margus@microsoft.comPublicity Chair
Stephan Kreutzer
Humboldt-Universität zu Berlin, Germany
kreutzer@informatik.hu-berlin.deNicole Schweikardt
Humboldt-Universität zu Berlin, Germany
schweika@informatik.hu-berlin.deWorkshops Chair
Philip J. Scott
University of Ottawa
phil@site.uottawa.caProgram Committee:
Luca Aceto (Reykjavik University, Iceland, and Aalborg University, Denmark)
Rajeev Alur (University of Pennsylvania) (chair)
Christel Baier (University of Bonn, Germany)
Maria Luisa Bonet (Polytechnic University of Catalunya, Spai)
Flavio Corradini (University of Camerino, Ital)
Victor Dalmau (Universitat Pompeu Fabra, Spain)
Thomas Eiter (TU Vienna, Austria)
Kousha Etessami (University of Edinburgh, UK)
Amy Felty (University of Ottawa, Canada)
Cedric Fournet (Microsoft Research, UK)
Patrice Godefroid (Bell Labs, USA)
Jason Hickey (CalTech, USA)
Radha Jagadeesan (DePaul University, USA)
Leonid Libkin (University of Toronto, Canada)
Patrick Lincoln (SRI, USA)
Yoram Moses (Technion, Israel)
George C. Necula (UC Berkeley, USA)
Joël Ouaknine (Oxford University, UK)
Davide Sangiorgi (University of Bologna, Italy)
Mahesh Viswanatha (University of Illinois at Urbana-Champaign, USA)
Thomas Wilke (University of Kiel, Germany)Organizing Committee
Samson Abramsky
Rajeev Alur
Franz Baader
Andrei Z. Broder
Samuel R. Buss
Edmund M. Clarke
Amy Felty
Harold N. Gabow
Lauri Hella
Radha Jagadeesan
Alan Jeffrey
Phokion G. Kolaitis
Stephan Kreutzer
Johann A. Makowsky
John C. Mitchell
Mogens Nielsen
Prakash Panangaden
Femke van Raamsdonk
Nicole Schweikardt
Philip J. Scott
Margus Veanes
Andrei VoronkovAdvisory Board
Robert L. Constable
Yuri Gurevich
Claude Kirchner
Dexter C. Kozen
Ursula Martin
Albert R. Meyer
Leszek Pacholski
Vaughan R. Pratt
Andre Scedrov
Dana S. Scott
Moshe Y. Vardi
Glynn WinskelLICS 2005, Chicago, USA
General Chair
Phokion G. Kolaitis (IBM Almaden Research Center and University of California at Santa Cruz)
Program Chair
Prakash Panangaden (McGill University, Montreal)
Conference Chair
Alan Jeffery (School of CTI, DePaul University, Chicago, Illinois, USA)
Radhakrishnan Jagadeesan (School of CTI, DePaul University, Chicago, Illinois, USA)
Publicity Chair
Alex K. Simpson (University of Edinburgh)
Workshops Chair
Philip J. Scott (University of Ottawa)
Program Committee:
Jiri Adamek (Technical University of Braunschweig)
Luca de Alfaro (U. of California, Santa Cruz)
Andrei A. Bulatov (Simon Fraser University)
Hubert Comon-Lundh (ENS Cachan)
Philippa Gardner (Imperial College)
Martin Grohe (Humboldt-Universitat zu Berlin)
Neil Immerman (U. of Massachusetts, Amherst)
Marta Z. Kwiatkowska (University of Birmingham)
Maurizio Lenzerini (Universita di Roma)
Guy McCusker (University of Sussex)
Lawrence S. Moss (University of Indiana)
Prakash Panangaden (McGill University) (chair)
Frank Pfenning (Carnegie-Mellon University)
Toniann Pitassi (University of Toronto)
Uday S. Reddy (University of Birmingham)
Thomas Schwentick (Philipps-Universitat Marburg)
Peter Selinger (University of Ottawa)
Natarajan Shankar (SRI International)
Igor Walukiewicz (Universite Bordeaux)Organizing Committee
Samson Abramsky
Andrei Z. Broder
Samuel R. Buss
Edmund M. Clarke
Amy Felty
Harold N. Gabow
Lauri Hella
Radha Jagadeesan
Alan Jeffrey
Ulrich Kohlenbach
Phokion G. Kolaitis (chair)
Johann A. Makowsky
John C. Mitchell
Mogens Nielsen
Prakash Panangaden
Frank Pfenning
Gordon D. Plotkin
Femke van Raamsdonk
Philip J. Scott
Alex K. Simpson
Andrei VoronkovAdvisory Board
Robert L. Constable
Yuri Gurevich
Claude Kirchner
Dexter C. Kozen
Ursula Martin
Albert R. Meyer
Leszek Pacholski
Vaughan R. Pratt
Andre Scedrov
Dana S. Scott
Moshe Y. Vardi
Glynn WinskelLICS 2004, Turku, Finland
General Chair
Phokion G. Kolaitis (University of California at Santa Cruz)
Program Chair
Harald Ganzinger (MPI, Saarbruecken)
Conference Chair
Lauri Hella (University of Tampere)
Publicity Chair
Alex K. Simpson (University of Edinburgh)
Workshops Chair
Phil J. Scott (University of Ottawa)
Program Committee:
Rajeev Alur (University of Pennsylvania)
Andrew W. Appel (Princeton University)
Albert Atserias (UPC, Barcelona)
Franz Baader (Dresden University)
Samuel R. Buss (University of California, San Diego)
Roberto Di Cosmo (Universite de Paris VII)
Gilles Dowek (Ecole Polytechnique, Paris)
Harald Ganzinger (MPI, Saarbruecken) (chair)
Martin Hofmann (LMU Muenchen)
Achim Jung (University of Birmingham)
Kim G. Larsen (Aalborg University)
Leonid Libkin (University of Toronto)
Rocco De Nicola (Università di Firenze)
Damian Niwinski (Warsaw University)
Prakash Panangaden (McGill University, Montreal)
Albert Rubio (UPC, Barcelona)
Vitaly Shmatikov (SRI International)
Moshe Y. Vardi (Rice University, Houston)
Helmut Veith (TU Wien)
Andrei Voronkov (University of Manchester)Organizing Committee
Samson Abramsky
Andrei Z. Broder
Edmund M. Clarke
Amy Felty
Ulrich Furbach
Harold N. Gabow
Harald Ganzinger
Joseph Y. Halpern
Lauri Hella
Ulrich Kohlenbach
Phokion G. Kolaitis (chair)
Harry G. Mairson
Aart Middeldorp
John C. Mitchell
Mogens Nielsen
Prakash Panangaden
Gordon D. Plotkin
Philip J. Scott
Richard A. Shore
Alex K. Simpson
Iain A. StewartAdvisory Board
Robert L. Constable
Yuri Gurevich
Claude Kirchner
Dexter C. Kozen
Ursula Martin
Albert R. Meyer
Leszek Pacholski
Vaughan R. Pratt
Andre Scedrov
Moshe Y. Vardi
Glynn WinskelLICS 2003, Ottawa, Canada
General Chair
Samson Abramsky (Oxford U.)
Samson.Abramsky@comlab.ox.ac.ukProgram Chair
Phokion G. Kolaitis
Computer Science Department
University of California, Santa Cruz
Santa Cruz, CA 95064
USA
kolaitis@cs.ucsc.edu
Phone : +1 831 459 4768
Fax : +1 831 459 4829Conference Chair
Amy Felty
SITE & Math. and Stat.
University of Ottawa
Ottawa, Ontario, K1N 6N5
Canada
afelty@site.uottawa.caPhilip Scott
SITE & Math. and Stat.
University of Ottawa
Ottawa, Ontario, K1N 6N5
Canada
phil@site.uottawa.caPublicity Chair
Alex K. Simpson (U. of Edinburgh)
Alex.Simpson@ed.ac.ukProgram Committee:
Michael Benedikt (Bell Laboratories)
Andreas R. Blass (U. of Michigan)
Maria Luisa Bonet (UPC, Barcelona)
Witold Charatonik (U. of Wroclaw)
Marcelo P. Fiore (U. of Cambridge)
Giorgio Ghelli (U. di Pisa)
Thomas A. Henzinger (UC Berkeley)
Alan Jeffrey (DePaul U.)
Assaf J. Kfoury (Boston U.)
Phokion G. Kolaitis (UC Santa Cruz)
Orna Kupferman (Hebrew U.)
Ursula Martin (U. of St Andrews)
Paul-André Melliès (CNRS & U. Paris 7)
Eugenio Moggi (U. di Genova)
Ugo Montanari (U. di Pisa)
Paliath Narendran (U. at Albany SUNY)
C.-H. Luke Ong (U. of Oxford & Nat. U. of Singapore)
Martin Otto (U. of Wales Swansea)
Frank Pfenning (Carnegie Mellon U.)
Miroslaw Truszczynski (U. of Kentucky)Organizing Committee
Martín Abadi
Samson Abramsky (chair)
Robert L. Constable
Nachum Dershowitz
Amy Felty
Harald Ganzinger
Harold N. Gabow
Joseph Y. Halpern
Ulrich Kohlenbach
Phokion G. Kolaitis
Daniel Leivant
Giuseppe Longo
Harry G. Mairson
John C. Mitchell
Eugenio Moggi
Mogens Nielsen
Gordon D. Plotkin
Vaughan R. Pratt
Simona Ronchi della Rocca
Philip J. Scott
Richard A. Shore
Alex K. Simpson
Iain A. Stewart
Jerzy Tiuryn
Moshe Y. Vardi
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 2002, Copenhagen, Denmark
General Chair
Samson Abramsky
Oxford University Computing Laboratory
Wolfson Building
Parks Road, Oxford, OX1 3QD
United Kingdom
Samson.Abramsky@comlab.ox.ac.ukProgram Chair
Gordon D. Plotkin
Division of Informatics
The University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
gdp@dcs.ed.ac.uk
Phone : + 44 131 650 5158
Fax : + 44 131 667 7209Conference Chair
Ulrich Kohlenbach
Department of Computer Science, BRICS
University of Aarhus
Ny Munkegade, Building 540
DK-8000 Aarhus C
Denmark
kohlenb@brics.dkPublicity Chair
Martin Grohe
Laboratory for Foundations of Computer Science
Division of Informatics
The University of Edinburgh
Edinburgh, EH9 3JZ
Scotland, UK
grohe@dcs.ed.ac.ukProgram Committee:
Franz Baader (RWTH Aachen)
Marco Cadoli (U. di Roma "La Sapienza")
Vincent Danos (CNRS)
Anuj Dawar (U. of Cambridge)
Rocco De Nicola (U. degli Studi di Firenze)
Harald Ganzinger (MPI für Informatik)
Orna Grumberg (Technion)
Robert Harper (Carnegie Mellon University)
Furio Honsell (University of Udine)
Phokion G. Kolaitis (UC Santa Cruz)
Johann A. Makowsky (Technion)
Oded Maler (CNRS-Vérimag)
Yoram Moses (Technion)
Robert Nieuwenhuis (UPC)
Peter W. O'Hearn (Queen Mary)
Doron A. Peled (Bell Laboratories)
Benjamin C. Pierce (U. of Pennsylvania)
Andrew M. Pitts (U. of Cambridge)
Gordon D. Plotkin (U. of Edinburgh) (chair)
Andreas Podelski (MPI für Informatik)
Andre Scedrov (U. of Pennsylvania)
Peter Thiemann (U. Freiburg)
Andrei Voronkov (U. of Manchester)Organizing Committee
Martín Abadi
Samson Abramsky (chair)
Alok Aggarwal
Marc Bezem
Edmund M. Clarke
Robert L. Constable
Nachum Dershowitz
Josep Díaz
Harald Ganzinger
Fausto Giunchiglia
Martin Grohe
Joseph Y. Halpern
Daniel Leivant
Leonid Libkin
Giuseppe Longo
Donald A. Martin
John C. Mitchell
Eugenio Moggi
Gordon D. Plotkin
Vaughan R. Pratt
Jon G. Riecke
Simona Ronchi della Rocca
Jerzy Tiuryn
Moshe Y. Vardi
Jeffrey S. Vitter
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 2001, Boston, MA, USA
General Chair
Samson Abramsky
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford, OX1 3QD
United Kingdom
Samson.Abramsky@comlab.ox.ac.ukProgram Chair
Joseph Y. Halpern
Computer Science Dept.
4144 Upson Hall
Cornell University
Ithaca, NY 14853, USA
halpern@cs.cornell.edu
Phone : +1 607 255 9562
Fax : +1 607 255-4428Conference Chair
Harry G. Mairson
Boston University
111 Cummington Street
Boston, MA 02215
mairson@cs.bu.eduPublicity Chair
Martin Grohe
Department of Mathematics, Statistics, and Computer Science
University of Illinois at Chicago
851 S. Morgan St. (M/C 249)
Chicago, IL 60607-7045
grohe@uic.eduProgram Committee:
Parosh A. Abdulla (Uppsala U.)
Rance Cleaveland (SUNY Stony Brook)
Hubert Comon-Lundh (CNRS -- ENS Cachan)
Thomas Eiter (T.U. Vienna)
Erich Grädel (RWTH Aachen)
Nevin Heintze (Bell Labs)
Radha Jagadeesan (Loyola U.)
Jean-Pierre Jouannaud (U. Paris-Sud)
Patrick Lincoln (SRI International)
David A. McAllester (AT&T Labs)
Ron van der Meyden (U. New South Wales)
Adolfo Piperno (U. Roma "La Sapienza")
Gordon D. Plotkin (U. Edinburgh)
Michel de Rougemont (U. Paris-II)
Thomas Streicher (T.U. Darmstadt)
Pawel Urzyczyn (U. Warsaw)
Pierre Wolper (U. Liege)Organizing Committee
Martín Abadi
S. Abramsky (chair)
Alok Aggarwal
Marc Bezem
Edmund M. Clarke
Robert L. Constable
Nachum Dershowitz
Josep Díaz
Harald Ganzinger
Fausto Giunchiglia
Martin Grohe
Daniel Leivant
Leonid Libkin
Giuseppe Longo
Donald A. Martin
John C. Mitchell
Eugenio Moggi
Vaughan R. Pratt
Jon G. Riecke
Simona Ronchi della Rocca
Jerzy Tiuryn
Moshe Y. Vardi
Jeffrey S. Vitter
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Samson Abramsky
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 2000, Santa Barbara, CA, USA
General Chair
John C. Mitchell
Computer Science Department
Stanford University
Stanford, CA 94305-9045, USA
mitchell@cs.stanford.eduProgram Chair
Martín Abadi
Bell Labs - Lucent Technologies
3180 Porter Drive
Palo Alto, California 94304, USA
abadi@research.bell-labs.com
Phone : +1 650 565 7477
Fax : +1 650 565 7676Publicity Chair
Martin Grohe
Institut fuer Mathematische Logik
Albert-Ludwigs-Universitaet Freiburg
Eckerstr. 1, 79104 Freiburg, Germany
grohe@logik.mathematik.uni-freiburg.deProgram Committee:
Pierre-Louis Curien (CNRS & U. Paris 7)
Rocco De Nicola (U. Florence)
Javier Esparza (U. Munich)
Marcelo P. Fiore (U. Sussex)
Harald Ganzinger (MPI Informatik)
Joseph Y. Halpern (Cornell U.)
Martin Hofmann (U. Edinburgh)
Bart Jacobs (U. Nijmegen)
Orna Kupferman (Hebrew U.)
Kim G. Larsen (Aalborg U.)
Leonid Libkin (Bell Labs)
James F. Lynch (Clarkson U.)
Vincent van Oostrom (U. Utrecht & CWI)
Frank Pfenning (CMU)
Benjamin C. Pierce (U. Penn)
Jon G. Riecke (Bell Labs)
Igor Walukiewicz (Warsaw U.)Organizing Committee
Martín Abadi
Alok Aggarwal
Marc Bezem
Edmund M. Clarke
Robert L. Constable
Nachum Dershowitz
Josep Díaz
Harald Ganzinger
Fausto Giunchiglia
Martin Grohe
Daniel Leivant
Leonid Libkin
Giuseppe Longo
Donald A. Martin
John C. Mitchell (chair)
Eugenio Moggi
Vaughan R. Pratt
Simona Ronchi della Rocca
Jerzy Tiuryn
Moshe Y. Vardi
Jeffrey S. Vitter
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Samson Abramsky
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 1999, Trento, Italy
General Chair
John C. Mitchell
Computer Science Department
Stanford University
Stanford, CA 94305-9045
mitchell@cs.stanford.eduProgram Chair
Giuseppe Longo
Attn: LICS
LIENS (CNRS) et DMI
Ecole Normale Superieure
45 Rue D'Ulm
75005 Paris, France
longo@dmi.ens.fr
Phone : +33-1-4432-3328
Fax : +33-1-4432-2080Conference Chair
Eugenio Moggi
DISI, Universita di Genova
16146 Genova, Italy
moggi@disi.unige.itSimona Ronchi della Rocca
Dipartimento di Informatica
Universita di Torino
I-10149 Torino, Italy
ronchi@di.unito.itPublicity Chair
Leonid Libkin
Bell Laboratories/Lucent Technologies
600-700 Mountain Avenue,
Murray Hill, NJ 07974, USA
libkin@research.bell-labs.comProgram Committee:
Martín Abadi (DEC SRC)
Martin Grohe (U. Freiburg)
Rajeev Alur (U. Penn)
Nils Klarlund (AT&T Labs)
Luigia C. Aiello (U. Roma)
Giorgio Levi (U. Pisa)
Andrea Asperti (U. Bologna)
Giuseppe Longo (ENS) (chair)
Vincent Danos (CNRS & Paris VII)
Mitsuhiro Okada (Keio U.)
Mariangiola Dezani-Ciancaglini (U. Torino)
Martin Otto (RWTH Aachen)
Roberto Di Cosmo (ENS, Paris)
Edmund P. Robinson (Queen Mary)
Gilles Dowek (INRIA)
Davide Sangiorgi (INRIA)
Abbas Edalat (Imperial College)
Amilcar Sernadas (IST, Lisboa)
Thomas Ehrhard (CNRS, Marseille)
Natarajan Shankar (SRI)
Melvin Fitting (CUNY)
Wolfgang Thomas (RWTH Aachen)
Rob J. van Glabbeek (Stanford U.)
Scott Weinstein (U. Penn)Organizing Committee
Martín Abadi
Marc Bezem
Wilfried Brauer
Edmund M. Clarke
Robert L. Constable
Nachum Dershowitz
Fausto Giunchiglia
Daniel Leivant
Leonid Libkin
Giuseppe Longo
Menachem Magidor
John C. Mitchell (chair)
Eugenio Moggi
Vaughan R. Pratt
Jon G. Riecke
Simona Ronchi della Rocca
Mark E. Stickel
Jerzy Tiuryn
Moshe Y. Vardi
Jeffrey S. Vitter
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Samson Abramsky
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 1998, Indianapolis, IN, USA
General Chair
John C. Mitchell (Stanford U.)
mitchell@cs.stanford.eduProgram Chair
Vaughan R. Pratt
Attn: LICS
Computer Science Department
Gates Building 4B
Stanford University
Stanford, CA 94305-9045
pratt@lics98.stanford.edu
Phone : +1 415-723-2943
Fax : +1 415-725-4671Conference Chair
Daniel Leivant (Indiana U.)
leivant@cs.indiana.eduPublicity Chair
Leonid Libkin (Bell Labs)
libkin@research.bell-labs.comProgram Committee:
Serge Abiteboul (INRIA)
Eugenio Moggi (U Genoa)
Luca Aceto (Aalborg U)
Tobias Nipkow (TU Munich)
Erich Grädel (RWTH Aachen)
C.-H. Luke Ong (Oxford U)
Edith Hemaspaandra (Lemoyne Coll)
Doron A. Peled (Bell Labs)
Thomas A. Henzinger (UC Berkeley)
Vaughan R. Pratt (Stanford U)
Neil Immerman (U Mass)
Laurent Regnier (CNRS Marseilles)
Bengt Jonsson (Uppsala U)
William C. Rounds (U Michigan)
Giuseppe Longo (ENS)
Alasdair Urquhart (U Toronto)
Dale A. Miller (Penn State)Organizing Committee
Alok Aggarwal
Marc Bezem
Wilfried Brauer
Edmund M. Clarke
Robert L. Constable
Fausto Giunchiglia
Daniel Leivant
Leonid Libkin
Giuseppe Longo
Menachem Magidor
John C. Mitchell (chair)
Eugenio Moggi
Vaughan R. Pratt
Jon G. Riecke
Simona Ronchi della Rocca
Mark E. Stickel
Jerzy Tiuryn
Moshe Y. Vardi
Jeffrey S. Vitter
Glynn WinskelAdvisory Board
Martín Abadi
Serge Abiteboul
Samson Abramsky
Mariangiola Dezani-Ciancaglini
Joseph Y. Halpern
Russell Impagliazzo
Dexter C. Kozen
Leszek Pacholski
Andre Scedrov
Dana S. Scott
Jeannette M. WingLICS 1997, Warsaw, Poland
General Chair
Moshe Y. Vardi (Rice University)
Program Chair
Glynn Winskel (University of Aarhus)
Conference Chair
Jerzy Tiuryn (Warsaw University)
Publicity Chair
Leonid Libkin (AT&T Bell Laboratories)
Program Committee:
K. Jon Barwise (Indiana University)
David A. Basin (Freiburg University)
Steven D. Brookes (CMU)
Pierre-Louis Curien (ENS, Paris)
Anuj Dawar (Swansea University)
Peter Dybjer (Chalmers University)
Amy Felty (AT&T)
Matthew Hennessy (Sussex University)
Claude Kirchner (INRIA Lorraine)
Jan Krajícek (Prague University)
Patrick Lincoln (SRI)
Kenneth L. McMillan (Cadence Berkeley Labs)
Damian Niwinski (Warsaw University)
Jens Palsberg (Purdue University)
Andrew M. Pitts (Cambridge University)
Vaughan R. Pratt (Stanford University)
Colin Stirling (Edinburgh University)
Glynn Winskel (Aarhus University) (chair)Organizing Committee
Martín Abadi
Samson Abramsky
Sergei N. Artëmov
Egon Börger
Allan Borodin
Wilfried Brauer
Alan Bundy
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable
Amy Felty
Ursula Goltz
Douglas J. Howe
Gérard P. Huet
Jean-Pierre Jouannaud
Deepak Kapur
Claude Kirchner
Phokion G. Kolaitis
Dexter C. Kozen
F. Thomson Leighton
Daniel Leivant
Albert R. Meyer
Dale A. Miller
John C. Mitchell
Yiannis N. Moschovakis
Mitsuhiro Okada
Prakash Panangaden
Jeffrey B. Remmel
Jon G. Riecke
Simona Ronchi della Rocca
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. VardiLICS 1996, New Brunswick, NJ, USA
General Chair
Moshe Y. Vardi (Rice University)
Program Chair
Edmund M. Clarke (Carnegie-Mellon University)
Conference Chair
Jon G. Riecke (Bell Labs)
Publicity Chair
Amy Felty (Lucent Technologies)
Douglas J. Howe (Lucent Technologies)
Program Committee:
Samuel R. Buss (UC San Diego)
E. Allen Emerson (UT Austin)
Steven M. German (IBM Watson)
Georg Gottlob (TU Vienna)
Orna Grumberg (Technion)
Douglas J. Howe (Bell Labs)
Claude Kirchner (INRIA & CRIN)
Kenneth Kunen (Wisconsin)
Patrick Lincoln (SRI)
John C. Mitchell (Stanford)
Ugo Montanari (Univ. Pisa)
Prakash Panangaden (McGill)
Frank Pfenning (CMU)
John M. Rushby (SRI)
Colin Stirling (Edinburgh)
Alexei P. Stolboushkin (UCLA)
Glynn Winskel (Aarhus)Organizing Committee
Martín Abadi
Samson Abramsky
Sergei N. Artëmov
Egon Börger
Allan Borodin
Wilfried Brauer
Alan Bundy
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable
Amy Felty
Ursula Goltz
Douglas J. Howe
Gérard P. Huet
Jean-Pierre Jouannaud
Deepak Kapur
Claude Kirchner
Phokion G. Kolaitis
Dexter C. Kozen
F. Thomson Leighton
Daniel Leivant
Albert R. Meyer
Dale A. Miller
John C. Mitchell
Yiannis N. Moschovakis
Mitsuhiro Okada
Prakash Panangaden
Jeffrey B. Remmel
Jon G. Riecke
Simona Ronchi della Rocca
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. VardiLICS 1995, San Diego, CA, USA
General Chair
Moshe Y. Vardi (Rice University)
Program Chair
Dexter C. Kozen (Cornell University)
Conference Chair
Samuel R. Buss (University of California, San Diego)
Jeffrey B. Remmel (University of California, San Diego)
Publicity Chair
Amy Felty (AT&T Bell Laboratories)
Douglas J. Howe (AT&T Bell Laboratories)
Program Committee:
Martín Abadi (DEC)
Leo Bachmair (SUNY Stony Brook)
Carolyn Brown (Univ. of Sussex)
Edmund M. Clarke (CMU)
E. Allen Emerson (UT Austin)
Ursula Goltz (Univ. of Hildesheim)
Thomas A. Henzinger (Cornell)
Phokion G. Kolaitis (UC Santa Cruz)
Dexter C. Kozen (Cornell) (chair)
Dale A. Miller (Univ. of Pennsylvania)
C.-H. Luke Ong (Oxford and Natl. Univ. Singapore)
A. Prasad Sistla (Univ. of Illinois, Chicago)
Val Breazu-Tannen (Univ. of Pennsylvania and Univ. of Paris-Sud)
Jerzy Tiuryn (Univ. of Warsaw)Organizing Committee
Martín Abadi
Samson Abramsky
Sergei N. Artëmov
Egon Börger
Allan Borodin
Wilfried Brauer
Alan Bundy
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable
Amy Felty
Ursula Goltz
Douglas J. Howe
Gérard P. Huet
Jean-Pierre Jouannaud
Deepak Kapur
Claude Kirchner
Phokion G. Kolaitis
Dexter C. Kozen
F. Thomson Leighton
Daniel Leivant
Albert R. Meyer
Dale A. Miller
John C. Mitchell
Yiannis N. Moschovakis
Mitsuhiro Okada
Prakash Panangaden
Jeffrey B. Remmel
Jon G. Riecke
Simona Ronchi della Rocca
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. VardiLICS 1994, Paris, France
General Chair
Robert L. Constable
Program Chair
Samson Abramsky
Conference Chair
Gérard P. Huet
Jean-Pierre Jouannaud
Publicity Chair
Amy Felty
Douglas J. Howe
Program Committee:
Samson Abramsky (Imperial Coll.)
Jean-Jacques Lévy (INRIA)
Krzysztof R. Apt (CWI)
David A. McAllester (MIT)
Harald Ganzinger (MPI Saarbrucken)
Prakash Panangaden (McGill)
Carl A. Gunter (Univ. of Pennsylvania)
Frank Pfenning (CMU)
Achim Jung (Darmstadt)
Vaughan R. Pratt (Stanford)
Paris C. Kanellakis (Brown)
Peter Schroeder-Heister (Tubingen)
Dexter C. Kozen (Cornell)
Colin Stirling (Edinburgh)
Daniel Leivant (Indiana)
Glynn Winskel (Aarhus)Organizing Committee
Martín Abadi
Samson Abramsky
Sergei N. Artëmov
Allan Borodin
Alan Bundy
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable
Amy Felty
Ursula Goltz
Yuri Gurevich
Susumu Hayashi
Douglas J. Howe
Gérard P. Huet
Jean-Pierre Jouannaud
Deepak Kapur
Claude Kirchner
Phokion G. Kolaitis
S. Rap Kosaraju
Dexter C. Kozen
Daniel Leivant
Albert R. Meyer
Dale A. Miller
John C. Mitchell
Yiannis N. Moschovakis
Mitsuhiro Okada
Prakash Panangaden
Andrew M. Pitts
Gordon D. Plotkin
Jeffrey B. Remmel
Simona Ronchi della Rocca
Grzegorz Rozenberg
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. VardiLICS 1993, Montreal, Canada
General Chair
Robert L. Constable (Cornell University)
Program Chair
Moshe Y. Vardi (IBM Research)
Conference Chair
Mitsuhiro Okada (Concordia university)
Prakash Panangaden (McGill University)
Publicity Chair
Daniel Leivant (Indiana University)
Program Committee:
Martín Abadi (DEC SRC)
Samson Abramsky (Imperial Coll.)
Bard Bloom (Cornell)
Peter Clote (Boston Coll.)
Peter J. Freyd (Univ. of Pennsylvania)
David Harel (Weizmann Inst.)
Kim G. Larsen (Aalborg Univ.)
Pierre Lescanne (CRIN and INRIA-Lorraine)
David A. McAllester (MIT)
José Meseguer (SRI)
Dale A. Miller (Univ. of Pennsylvania)
Yiannis N. Moschovakis (UCLA)
Natarajan Shankar (SRI)
Carolyn L. Talcott (Stanford)
Moshe Y. Vardi (IBM Almaden)
Pierre Wolper (Univ. of Liege)Organizing Committee
Martín Abadi
Samson Abramsky
Sergei N. Artëmov
K. Jon Barwise
Manuel Blum
Allan Borodin
Alan Bundy
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable
Erwin Engeler
Jean H. Gallier
Ursula Goltz
Yuri Gurevich
Susumu Hayashi
Gérard P. Huet
Gilles Kahn
Deepak Kapur
Claude Kirchner
S. Rap Kosaraju
Jan W. Klop
Phokion G. Kolaitis
Daniel Leivant
Albert R. Meyer
Grigori Mints
John C. Mitchell
Yiannis N. Moschovakis
Mitsuhiro Okada
Prakash Panangaden
Andrew M. Pitts
Gordon D. Plotkin
Simona Ronchi della Rocca
Grzegorz Rozenberg
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. Vardi
Roel C. de VrijerLICS 1992, Santa Cruz, CA, USA
General Chair
Prof. Robert L. Constable
Department of Computer Science
Upson Hall
Cornell University
Ithaca, NY 14853 USA
rc@cs.cornell.eduProgram Chair
Andre Scedrov
Inst. for Research in Cognitive Sci.
University of Pennsylvania
3401 Walnut Street, Suite 400C
Philadelphia, PA 19104-6228 USA
lics92@cis.upenn.edu
Fax : (215) 573 2048 (Attn: LICS)Conference Chair
Prof. Phokion G. Kolaitis
Computer and Information Sciences
Univ. of California, Santa Cruz
Santa Cruz, CA 95064 USA
kolaitis@saturn.ucsc.eduPublicity Chair
Prof. Daniel Leivant
Department of Computer Science
Indiana University
Bloomington, IN 47405, USA
lics@cs.indiana.eduProgram Committee:
Egon Börger (U. Pisa)
Rance Cleaveland (North Carolina State)
Stephen A. Cook (U. Toronto)
Nachum Dershowitz (U. Illinois)
Jean-Yves Girard (U. Paris 7)
Rob J. van Glabbeek (Stanford)
Susumu Hayashi (Ryukoku)
Dominic J. D. Hughes (U. Glasgow)
Neil D. Jones (U. Copenhagen)
Jean-Louis Lassez (IBM T.J. Watson Ctr.)
Eugenio Moggi (U. Genova)
Anil Nerode (Cornell)
Fernando C. N. Pereira (AT\&T Bell Laboratories)
Andre Scedrov (U. Pennsylvania) (chair)
Dana S. Scott (CMU)
Andrzej Tarlecki (Inst. C. S., PAN Warsaw)
Moshe Y. Vardi (IBM Almaden Ctr.)Organizing Committee
Martín Abadi
Sergei N. Artëmov
K. Jon Barwise
Manuel Blum
Samuel R. Buss
Edmund M. Clarke
Robert L. Constable (chair)
Erwin Engeler
Jean H. Gallier
Ursula Goltz
Yuri Gurevich
Susumu Hayashi
David S. Johnson
Gilles Kahn
Deepak Kapur
Jan W. Klop
Phokion G. Kolaitis
Daniel Leivant
Albert R. Meyer
Grigori Mints
John C. Mitchell
Yiannis N. Moschovakis
Rohit Parikh
Andrew M. Pitts
Gordon D. Plotkin
Simona Ronchi della Rocca
Grzegorz Rozenberg
Andre Scedrov
Dana S. Scott
Jerzy Tiuryn
Moshe Y. Vardi
Roel C. de VrijerLICS 1991, Amsterdam, The Netherlands
General Chair
Albert R. Meyer (MIT Lab. for Computer Science)
Program Chair
Gilles Kahn
Conference Chair
Roel C. de Vrijer (Free University of Amsterdam)
Jan W. Klop (CWI, Amsterdam)
Publicity Chair
Daniel Leivant (Carnegie-Mellon University)
Program Committee:
Serge Abiteboul
Samson Abramsky
Krzysztof R. Apt
Jan A. Bergstra
Val Breazu-Tannen
Samuel R. Buss
Robert L. Constable
Pierre-Louis Curien
Nachum Dershowitz
Peter Dybjer
Ursula Goltz
Giuseppe Longo
Grigori Mints
Andrew M. Pitts
Simona Ronchi della Rocca
Masahiko Sato
Ehud Y. Shapiro
Berhard SteffenOrganizing Committee
Martín Abadi
K. Jon Barwise
Ashok K. Chandra
Robert L. Constable
Erwin Engeler
Jean H. Gallier
Joseph A. Goguen
David Gries
Yuri Gurevich
Susumu Hayashi
David S. Johnson
Gilles Kahn
Jan W. Klop
Dexter C. Kozen
Daniel Leivant
Zohar Manna
Albert R. Meyer
Grigori Mints
John C. Mitchell
Yiannis N. Moschovakis
Christos H. Papadimitriou
Rohit Parikh
Gordon D. Plotkin
Grzegorz Rozenberg
Dana S. Scott
Jerzy Tiuryn
Roel C. de VrijerLICS 1990, Philadelphia, PA, USA
General Chair
Albert R. Meyer (MIT Lab. for Computer Science)
Program Chair
John C. Mitchell (Dept. of Computer Science, Stanford University)
Conference Chair
Jean Gallier (Dept. Computer and Info. Sciences, University of Pennsylvania)
Publicity Chair
Daniel Leivant (School of Computer Science, Carnegie Mellon University)
Program Committee:
Krzysztof R. Apt
K. Jon Barwise
Edmund M. Clarke
Stephen A. Cook
Susumu Hayashi
Paris C. Kanellakis
Jean-Pierre Jouannaud
Daniel Leivant
Ugo Montanari
Andrew M. Pitts
Erik Sandewall
Andre Scedrov
Mark E. Stickel
Glynn WinskelOrganizing Committee
Martín Abadi
K. Jon Barwise
Ashok K. Chandra
Edsgar W. Dijkstra
Erwin Engeler
Jean H. Gallier
Joseph A. Goguen
David Gries
Yuri Gurevich
David S. Johnson
Gilles Kahn
Jan W. Klop
Dexter C. Kozen
Daniel Leivant
Zohar Manna
Albert R. Meyer
Grigori Mints
John C. Mitchell
Yiannis N. Moschovakis
Christos H. Papadimitriou
Rohit Parikh
Gordon D. Plotkin
Grzegorz Rozenberg
Dana S. Scott
Roel C. de VrijerLICS 1989, Pacific Grove, CA, USA
Program Chair
Rohit Parikh (City University of New York)
Conference Chair
Albert R. Meyer (MIT)
Publicity Chair
David W. Bray (Clarkson University)
Program Committee:
M. Davis
M. Fitting
M. Hennessy
D. Israel
J. Jaffar
D. Joseph
D. Kapur
A. Kfoury
P. Kolaitis
D. Kozen
V. Lifschitz
A. Pnueli
V. Pratt
R. StatmanOrganizing Committee
K. Jon Barwise
Woodrow W. Bledsoe
Ashok K. Chandra
Edsgar W. Dijkstra
Erwin Engeler
Joseph A. Goguen
David Gries
Yuri Gurevich
Dexter C. Kozen
Zohar Manna
Albert R. Meyer
Rohit Parikh
Gordon D. Plotkin
Dana S. ScottLICS 1988, Edinburgh, Scotland, UK
Program Chair
Yuri Gurevich (University of Michigan)
Conference Chair
Ashok K. Chandra (IBM Research Division - Yorktown Heights)
Publicity Chair
Dawid W. Bray (Clarkson University)
Program Committee:
M. Dezani
J. Halpern
G. Huet
C.A.R. Hoare
P. Kanellakis
J.-L. Lassez
J. Mitchell
R. Platek
G. Plotkin
S. Rosenschein
A. Sistla
J. Tiuryn
M. WandOrganizing Committee
K. Jon Barwise
Woodrow W. Bledsoe
Ashok K. Chandra
Edsgar W. Dijkstra
Erwin Engeler
Joseph A. Goguen
David Gries
Dexter C. Kozen
Zohar Manna
Albert R. Meyer
Rohit Parikh
Gordon D. Plotkin
Dana S. ScottLICS 1987, Ithaca, NY, USA
Program Chair
David Gries (Cornell University)
Conference Chair
Ashok H. Chandra (IBM T.J. Watson Research Center)
Publicity Chair
David W. Bray (Clarkson University)
Program Committee:
Stephen Brookes
Luca Cardelli
Robert Constable
Melvin Fitting
Joseph A. Goguen
Yuri Gurevich
David Harel
Jean-Pierre Jouannaud
Richard E. Ladner
Vladimir Lifschitz
Giuseppe Longo
Anil Nerode
Gordon Plotkin
Amir Pnueli
Philip ScottOrganizing Committee
K. Jon Barwise
Woodrow W. Bledsoe
Ashok K. Chandra
Edsger W. Dijkstra
Erwin Engleler
Joseph A. Goguen
Dexter C. Kozen
Zohar Manna
Albert R. Meyer
Rohit Parikh
Gordon D. Plotkin
Dana S. ScottLICS 1986, Cambridge, MA, USA
Program Chair
Albert R. Meyer
Conference Chair
Ashok K. Chandra
Publicity Chair
David W. Bray
Program Committee:
R. Boyer
W. Damm
S. German
D. Gries
M. Hennessy
G. Huet
D. Kozen
A. Meyer (chair)
J. Mitchell
R. Parikh
G. Plotkin
J. Reynolds
J. Robinson
D. Scott
M. Vardi
R. WaldingerOrganizing Committee
K. Jon Barwise
Woodrow W. Bledsoe
Ashok K. Chandra
Edsger W. Dijkstra
Erwin Engleler
Joseph A. Goguen
Dexter C. Kozen
Zohar Manna
Albert R. Meyer
Rohit Parikh
Gordon D. Plotkin
Dana S. Scott
List of all FLoC committees
FLoC 2014, Vienna, Austria
General Chair
Moshe Y. Vardi
Rice University
vardi@cs.rice.eduConference Chair
Helmut Veith
Vienna University of TechnologyMatthias Baaz
Vienna University of TechnologySteering Committee
Moshe Y. Vardi (General Chair)
Helmut Veith (Chair)
Matthias Baaz (Co-Chair)
Stefan Szeider (Workshop Chair)
Azadeh Farzan (Student Support Program)
Thomas Krennwallner (Olympic Games / Competition Chair)
Stefan Rummele@Rümmele (Workshop Co-Chair)FLoC 2010, Edinburgh, Scotland, UK
General Chair
Moshe Y. Vardi
Rice University
vardi@cs.rice.eduConference Chair
Leonid Libkin
University of Edinburgh, UK
libkin@ed.ac.ukGordon Plotkin
University of Edinburgh, UK
gdp@ed.ac.ukPublicity Chair
Nicole Schweikardt
Goethe University
schweika@informatik.uni-frankfurt.deSteering Committee
Moshe Y. Vardi (General Chair)
Leonid Libkin (Conference Chair)
Gordon Plotkin (Conference Chair)
Edmund M. Clarke (CAV Representative)
Graham Steel (CSF Representative)
Manuel Hermenegildo (ICLP Representative)
Alan Bundy (IJCAR Representative)
Tobias Nipkow (ITP Representative)
Martín Abadi (LICS Representative)
Jürgen Giesl (RTA Representative)
Enrico Guinchiglia (SAT Representative)
Andrei Voronkov (EasyChair Representative)FLoC 2006, Seattle, Washington, USA
General Chair
Moshe Y. Vardi
Rice University
vardi@cs.rice.eduConference Chair
Thomas Ball
Microsoft ResearchJakob Rehof
Universität Dortmund, Germany
jakob.rehof@cs.uni-dortmund.dePublicity Chair
Stephan Kreutzer
Humboldt-Universität zu Berlin
kreutzer@informatik.hu-berlin.deNicole Schweikardt
Humboldt-Universität zu Berlin
schweika@informatik.hu-berlin.deSteering Committee
Moshe Y. Vardi (General Chair)
Thomas Ball (Conference Chair)
Jakob Rehof (Conference Chair)
Edmund M. Clarke (CAV Representative)
Manuel Hermenegildo (ICLP Representative)
Reiner Hähnle (IJCAR Representative)
Andrei Voronkov (IJCAR Representative)
Phokion G. Kolaitis (LICS Representative)
Aart Middeldorp (RTA Representative)
Henry A. Kautz (SAT Representative)
Stephan Kreutzer (Publicity Chair)
Nicole Schweikardt (Publicity Chair)
Gopal Gupta (Workshops Chair)
Lydia E. Kavraki (Treasurer)FLoC 2002, Copenhagen, Denmark
General Chair
Moshe Y. Vardi Harald Ganzinger
Rice University
vardi@cs.rice.eduConference Chair
Neil D. Jones
U Copenhagen, Denmark
neil@diku.dkPublicity Chair
Martin Grohe
U Edinburgh, UK
grohe@dcs.ed.ac.ukSteering Committee
Moshe Y. Vardi (General Chair)
Neil D. Jones (Conference Chair)
Ulrich Furbach (CADE Representative)
Edmund M. Clarke (CAV Representative)
Dines Bjørner (FME Representative)
Catuscia Palamidessi (ICLP Representative)
Samson Abramsky (LICS Representative)
Nachum Dershowitz (RTA Representative)
Reiner Hähnle (TABLEAUX Representative)
Harald Ganzinger (Associate General Chair)
Dana S. Scott (IFCOLOG representative)
Martin Grohe (Publicity Chair)
Lars Birkedal (Treasurer)FLoC 1999, Trento, Italy
General Chair
Moshe Y. Vardi
Rice University
vardi@cs.rice.eduConference Chair
Fausto Giunchiglia
Publicity Chair
Leonid Libkin
Bell Laboratories/Lucent Technologies
600-700 Mountain Avenue,
Murray Hill, NJ 07974, USA
libkin@research.bell-labs.comWorkshops Chair
Adolfo Villafiorita
Steering Committee
Moshe Y. Vardi (General Chair)
Fausto Giunchiglia (Conference Chair)
Paolo Traverso (CADE Representative)
Joseph Sifakis (CAV Representative)
Eugenio Moggi (LICS Representative)
Simona Ronchi della Rocca (LICS Representative)
Andrea Asperti (RTA Representative)
Leonid Libkin (Publicity Chair)
Alessandro Tuccio (Treasurer)
Adolfo Villafiorita (National publicity chair and Workshops coordinator)
Morena Carli (Secretary)
Nadia Oss Papot (Secretary)FLoC 1996, New Brunswick, NJ, USA
General Chair
Moshe Y. Vardi
Rice University
vardi@cs.rice.eduPublicity Chair
Douglas J. Howe
Bell LabsSteering Committee
Moshe Y. Vardi (General Chair)
Amy Felty (CADE Representative)
Rajeev Alur (CAV Representative)
Jon G. Riecke (Chair of Organizing Committee) (LICS Representative)
Leo Bachmair (RTA Representative)
Douglas J. Howe (Publicity Chair)
Stephen R. Mahaney
Priscilla Rasmussen (Site Arrangements)