• L
  • LICS
  • 2006
  • 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
Advanced Search 
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
Seattle, Washington
August 12-August 15
ISBN: 0-7695-2631-4
Table of Contents
Introduction
Session 9: Timed and Stochastic Systems
A. Kucera, Fac. of Informatics, Masaryk Univ., Brno
V. Forejt, Fac. of Informatics, Masaryk Univ., Brno
V. Brozek, Fac. of Informatics, Masaryk Univ., Brno
T. Brazdil, Fac. of Informatics, Masaryk Univ., Brno
pp. 349-358
Plenary Talk
Session 1: Complexity and Decidability
Mikolaj Bojanczyk, Warsaw University
Anca Muscholl, LIAFA, Paris VII
Thomas Schwentick, Dortmund University
Luc Segoufin, INRIA, Paris XI
Claire David, LIAFA, Paris VII
pp. 7-16
Session 2: Concurrency
Filippo Bonchi, University of Pisa
Barbara Konig, University of Duisburg-Essen
Ugo Montanari, University of Pisa
pp. 69-80
Session 3: Pushdown Systems
Invited Talk
Andreas Blass, Microsoft Research, USA
pp. 123
Session 4: Logics of Program
Matthew Parkinson, Middlesex University, UK
Richard Bornat, Middlesex University, UK
Cristiano Calcagno, University of London, UK
pp. 137-146
Session 5: Proof Theory
Session 6: Model Theory
Benoit Larose, Concordia University, Canada
Cynthia Loten, Royal Military College of Canada, Canada
Claude Tardif, Royal Military College of Canada, Canada
pp. 201-210
Laura Chaubard, Universit?e Paris VII, France
Jean-Eric Pin, Universit?e Paris VII, France
Howard Straubing, Boston College, USA
pp. 211-220
Emil Kiss, Eotvos University, Hungary
Matthew Valeriote, McMaster University, Canada
pp. 221-230
Session 7: Temporal Logics and Automata
Orna Kupferman, Hebrew University, Israel
Moshe Y. Vardi, Rice University, USA
pp. 265-274
Nir Piterman, EPFL, Switzerland
Amir Pnueli, Weizmann Institute of Science, Israel
pp. 275-284
Session 8: Lambda Calculus
Thierry Coquand, Chalmers Tekniska Hijgskola, Sweden
Arnaud Spiwack, Ecole Norrnale SupCrieure de Cachan, France
pp. 307-316
G. Manzonetto, Universite Paris 7, France
A. Salibra, Universita Ca?Foscari di Venezia, Italy
pp. 317-326
Keynote Session: Celebrating Birth Centennial of Kurt Godel
Patricia Bouyer, LSV - CNRS & ENS de Cachan, France
Thomas Brihaye, Universite de Mons-Hainaut, Belguim
Fabrice Chevalier, LSV - CNRS & ENS de Cachan, France
pp. 367-378
Session 10: Verification
Session 11: Approximations
Anuj Dawar, University of Cambridge, U.K.
Martin Grohe, Humboldt-Universitat zu Berlin, Germany
Stephan Kreutzer, Humboldt-Universitat zu Berlin, Germany
Nicole Schweikardt, Humboldt-Universitat zu Berlin, Germany
pp. 411-420
Eldar Fischer, Technion, Israel
Frederic Magniez, Universite Paris-Sud, France
Michel de Rougemont, Universite Paris II, France
pp. 421-430
Author Index
Usage of this product signifies your acceptance of the Terms of Use.