IEEE Symposium on Logic in Computer Science

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 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 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 2012, Dubrovnik, Croatia

  General Chair Rajeev Alur University of Pennsylvania, Philadelphia alur@cis.upenn.edu Program Chair Nachum Dershowitz Tel Aviv University nachum@tau.ac.il Conference Chair Vlatko Lipovac Univ. of Dubrovnik vlipovac@unidu.hr Andre Scedrov Univ. of Pennsylvania scedrov@math.upenn.edu Publicity Chair Stephan Kreutzer Berlin Inst. of Technology stephan.kreutzer@tu-berlin.de Andrzej Murawski University of Leicester andrzej.murawski@le.ac.uk Workshops Chair Adriana Compagnoni Stevens Institute of Technology, New Jersey abc@cs.stevens.edu Maribel Fernández King's College London Maribel.Fernandez@kcl.ac.uk

  Program 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 Valeriote Advisory 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 Winskel

• LICS 2011, Toronto, Canada

  General Chair Rajeev Alur University of Pennsylvania, Philadelphia alur@cis.upenn.edu Program Chair Martin Grohe Humboldt University, Berlin grohe@informatik.hu-berlin.de Conference Chair Benoit Larose Champlain Regional College larose@mathstat.concordia.ca Matt Valeriote McMaster Univ., Hamilton matt@math.mcmaster.ca Publicity Chair Stephan Kreutzer University of Oxford kreutzer@comlab.ox.ac.uk Andrzej Murawski University of Leicester andrzej.murawski@le.ac.uk Workshops Chair Maribel Fernández King's College London Maribel.Fernandez@kcl.ac.uk Adriana Compagnoni Stevens Institute of Technology, New Jersey abc@cs.stevens.edu

  Program 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 Valeriote Advisory 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 Winskel

• LICS 2010, Edinburgh, Scotland, UK

  General Chair Rajeev Alur University of Pennsylvania, Philadelphia alur@cis.upenn.edu Program Chair Jean-Pierre Jouannaud INRIA and Tsinghua University, Beijing jeanpierre.jouannaud@gmail.com Conference Chair Martín Escardó University of Birmingham m.escardo@cs.bham.ac.uk Publicity Chair Stephan Kreutzer University of Oxford kreutzer@comlab.ox.ac.uk Nicole Schweikardt Frankfurt University schweika@informatik.uni-frankfurt.de Workshops Chair Maribel Fernández King's College London Maribel.Fernandez@kcl.ac.uk Adriana Compagnoni Stevens Institute of Technology, New Jersey abc@cs.stevens.edu

  Program 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 Valeriote Advisory 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 Winskel

• LICS 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 1489 Program Chair Andrew M. Pitts University of Cambridge, U.K. andrew.pittso@cl.cam.ac.uk Conference Chair Jens Palsberg UCLA palsberg@ucla.edu Publicity Chair Stephan Kreutzer Oxford University kreutzer@comlab.ox.ac.uk Nicole Schweikardt Frankfurt University schweika@informatik.uni-frankfurt.de Workshops Chair Maribel Fernández King's College London Maribel.Fernandez@kcl.ac.uk Adriana Compagnoni Stevens Inst. of Technology abc@cs.stevens.edu

  Program 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 Veanes Advisory 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 Winskel

• LICS 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 1489 Program Chair Frank Pfenning Carnegie Mellon University, Pittsburgh fp@cs.cmu.edu Conference Chair StephenBrookes Carnegie Mellon University Publicity Chair Stephan Kreutzer Oxford University kreutzer@comlab.ox.ac.uk Nicole Schweikardt Frankfurt University schweika@informatik.uni-frankfurt.de Workshops Chair Phil Scott University of Ottawa phil@site.uottawa.ca Adriana Compagnoni Stevens Inst. of Technology abc@cs.stevens.edu

  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) 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 Veanes Advisory 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 Winskel

• LICS 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 7676 Program Chair Luke Ong University of Oxford lo@comlab.ox.ac.uk Conference Chair Jerzy Marcinkowski University of Wroclaw jma@ii.uni.wroc.pl Publicity Chair Stephan Kreutzer Humboldt-Universität zu Berlin, Germany kreutzer@informatik.hu-berlin.de Nicole Schweikardt Humboldt-Universität zu Berlin, Germany schweika@informatik.hu-berlin.de Workshops Chair Philip J. Scott University of Ottawa phil@site.uottawa.ca

  Program 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 Voronkov Advisory 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 Winskel

• LICS 2006, Seattle, Washington, USA

  General Chair Phokion G. Kolaitis IBM Almaden Research Center UC Santa Cruz kolaitis@almaden.ibm.com Program Chair Rajeev Alur University of Pennsylvania alur@cis.upenn.edu Conference Chair Margus Veanes Microsoft Research margus@microsoft.com Publicity Chair Stephan Kreutzer Humboldt-Universität zu Berlin, Germany kreutzer@informatik.hu-berlin.de Nicole Schweikardt Humboldt-Universität zu Berlin, Germany schweika@informatik.hu-berlin.de Workshops Chair Philip J. Scott University of Ottawa phil@site.uottawa.ca

  Program 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 Voronkov Advisory 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 Winskel

• LICS 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 Voronkov Advisory 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 Winskel

• LICS 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. Stewart Advisory 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 Winskel

• LICS 2003, Ottawa, Canada

  General Chair Samson Abramsky (Oxford U.) Samson.Abramsky@comlab.ox.ac.uk Program 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 4829 Conference Chair Amy Felty SITE & Math. and Stat. University of Ottawa Ottawa, Ontario, K1N 6N5 Canada afelty@site.uottawa.ca Philip Scott SITE & Math. and Stat. University of Ottawa Ottawa, Ontario, K1N 6N5 Canada phil@site.uottawa.ca Publicity Chair Alex K. Simpson (U. of Edinburgh) Alex.Simpson@ed.ac.uk

  Program 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 Winskel Advisory 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. Wing

• LICS 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.uk Program 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 7209 Conference Chair Ulrich Kohlenbach Department of Computer Science, BRICS University of Aarhus Ny Munkegade, Building 540 DK-8000 Aarhus C Denmark kohlenb@brics.dk Publicity 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.uk

  Program 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 Winskel Advisory 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. Wing

• LICS 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.uk Program 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-4428 Conference Chair Harry G. Mairson Boston University 111 Cummington Street Boston, MA 02215 mairson@cs.bu.edu Publicity 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.edu

  Program 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 Winskel Advisory 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. Wing

• LICS 2000, Santa Barbara, CA, USA

  General Chair John C. Mitchell Computer Science Department Stanford University Stanford, CA 94305-9045, USA mitchell@cs.stanford.edu Program 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 7676 Publicity Chair Martin Grohe Institut fuer Mathematische Logik Albert-Ludwigs-Universitaet Freiburg Eckerstr. 1, 79104 Freiburg, Germany grohe@logik.mathematik.uni-freiburg.de

  Program 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 Winskel Advisory 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. Wing

• LICS 1999, Trento, Italy

  General Chair John C. Mitchell Computer Science Department Stanford University Stanford, CA 94305-9045 mitchell@cs.stanford.edu Program 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-2080 Conference Chair Eugenio Moggi DISI, Universita di Genova 16146 Genova, Italy moggi@disi.unige.it Simona Ronchi della Rocca Dipartimento di Informatica Universita di Torino I-10149 Torino, Italy ronchi@di.unito.it Publicity Chair Leonid Libkin Bell Laboratories/Lucent Technologies 600-700 Mountain Avenue, Murray Hill, NJ 07974, USA libkin@research.bell-labs.com

  Program 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 Winskel Advisory 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. Wing

• LICS 1998, Indianapolis, IN, USA

  General Chair John C. Mitchell (Stanford U.) mitchell@cs.stanford.edu Program 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-4671 Conference Chair Daniel Leivant (Indiana U.) leivant@cs.indiana.edu Publicity Chair Leonid Libkin (Bell Labs) libkin@research.bell-labs.com

  Program 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 Winskel Advisory 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. Wing

• LICS 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. Vardi

• LICS 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. Vardi

• LICS 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. Vardi

• LICS 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. Vardi

• LICS 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 Vrijer

• LICS 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.edu Program 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.edu Publicity Chair Prof. Daniel Leivant Department of Computer Science Indiana University Bloomington, IN 47405, USA lics@cs.indiana.edu

  Program 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 Vrijer

• LICS 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 Steffen Organizing 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 Vrijer

• LICS 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 Winskel Organizing 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 Vrijer

• LICS 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. Statman Organizing 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. Scott

• LICS 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. Wand Organizing 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. Scott

• LICS 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 Scott Organizing 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

• LICS 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. Waldinger Organizing 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 2010, Edinburgh, Scotland, UK

  General Chair Moshe Y. Vardi Rice University vardi@cs.rice.edu Conference Chair Leonid Libkin University of Edinburgh, UK libkin@ed.ac.uk Gordon Plotkin University of Edinburgh, UK gdp@ed.ac.uk Publicity Chair Nicole Schweikardt Goethe University schweika@informatik.uni-frankfurt.de

  Steering 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.edu Conference Chair Thomas Ball Microsoft Research Jakob Rehof Universität Dortmund, Germany jakob.rehof@cs.uni-dortmund.de Publicity Chair Stephan Kreutzer Humboldt-Universität zu Berlin kreutzer@informatik.hu-berlin.de Nicole Schweikardt Humboldt-Universität zu Berlin schweika@informatik.hu-berlin.de

  Steering 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.edu Conference Chair Neil D. Jones U Copenhagen, Denmark neil@diku.dk Publicity Chair Martin Grohe U Edinburgh, UK grohe@dcs.ed.ac.uk

  Steering 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.edu Conference Chair Fausto Giunchiglia Publicity Chair Leonid Libkin Bell Laboratories/Lucent Technologies 600-700 Mountain Avenue, Murray Hill, NJ 07974, USA libkin@research.bell-labs.com Workshops 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.edu Publicity Chair Douglas J. Howe Bell Labs

  Steering 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)