• L
  • LICS
  • 2007
  • 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Advanced Search 
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Wroclaw, Poland
July 10-July 14
ISBN: 0-7695-2908-9
Table of Contents
Introduction
Type Theory
Andreas Abel, Ludwig-Maximilians-Universitat, Germany
Thierry Coquand, Chalmers University of Technology, Sweden
Peter Dybjer, Chalmers University of Technology, Sweden
pp. 3-12
Computational Proof Theory
Paul Brauner, INPL & LORIA, France
Cl?ment Houtmann, ENS de Cachan & LORIA, France
Claude Kirchner, INRIA & LORIA, France
pp. 41-50
Security
Timed and Stochastic Systems
Hugo Gimbert, LIX, Ecole Polytechnique, France
Wieslaw Zielonka, Universite Denis Diderot, France
pp. 89-98
Luca de Alfaro, University of California, Santa Cruz, USA
Rupak Majumdar, University of California, Los Angeles, USA
Vishwanath Raman, University of California, Santa Cruz, USA
Mari?lle Stoelinga, University of Twente, the Netherlands
pp. 99-108
Patricia Bouyer, LSV, CNRS & ENS Cachan, France; Oxford University, UK
Nicolas Markey, LSV, CNRS & ENS Cachan, France
Jo?l Ouaknine, Oxford University, UK
James Worrell, Oxford University, UK
pp. 109-120
Verification
Rajeev Alur, University of Pennsylvania
Marcelo Arenas, Pontificia Universidad Catolica de Chile
Pablo Barcel?, Universidad de Chile
Kousha Etessami, University of Edinburgh
Neil Immerman, University of Massachusetts
Leonid Libkin, University of Edinburgh
pp. 151-160
Salvatore La Torre, Universita di Salerno, Italy
Parthasarathy Madhusudan, University of Illinois, USA
Gennaro Parlato, Universita di Salerno, Italy
pp. 161-170
Detlef K?hler, University of Kiel, Germany
Ralf K?sters, ETH Zurich, Switzerland
Tomasz Truderung, Wroclaw University, Poland
pp. 181-192
Constraints
L?szl? Egri, McGill University, Canada
Benoit Larose, Concordia University, Canada
Pascal Tesson, Laval University, Canada
pp. 193-202
Manuel Bodirsky, Humboldt-Universitat zu Berlin, Germany
Hubie Chen, Universitat Pompeu Fabra, Spain
pp. 203-212
Pawel Idziak, Jagiellonian University, Poland
Petar Markovic, University of Novi Sad, Serbia
Ralph McKenzie, Vanderbilt University, USA
Matthew Valeriote, McMaster University, Canada
Ross Willard, University of Waterloo, Canada
pp. 213-224
Proof Complexity
Finite Model Theory
Anuj Dawar, University of Cambridge, UK
Martin Grohe, Humboldt Universitat zu Berlin, Germany
Stephan Kreutzer, Universitat zu Berlin, Germany
pp. 270-279
Balder ten Cate, Univ. of Amsterdam, the Netherlands
Johan van Benthem, Univ. of Amsterdam, the Netherlands
Jouko V??n?nen, Univ. of Amsterdam, the Netherlands
pp. 280-292
Concurrency and Process Calculi
Davide Sangiorgi, University of Bologna, Italy
Naoki Kobayashi, Tohoku University, Japan
Eijiro Sumii, Tohoku University, Japan
pp. 293-302
Marcello Bonsangue, Leiden University, the Netherlands
Alexander Kurz, University of Leicester, United Kingdom
pp. 303-312
Yuxin Deng, Jiao tong University, China; University of New South Wales, Australia
Rob van Glabbeek, National ICT Australia; University of New South Wales, Australia
Matthew Hennessy, University of Sussex, UK
Carroll Morgan, University of New South Wales, Australia
Chenyi Zhang, National ICT Australia; University of New South Wales, Australia
pp. 313-325
Semantics of Programming Languages
Cristiano Calcagno, Imperial College, London, UK
Peter W. O'Hearn, Queen Mary, University of London
Hongseok Yang, Queen Mary, University of London
pp. 366-378
Game Semantics
Russ Harmer, Universite Paris 7, France
Martin Hyland, University of Cambridge, UK
Paul-Andr? Melli?s, Universite Paris 7, France
pp. 379-388
Paul-Andr? Melli?s, Universite Paris 7, France
Nicolas Tabareau, Universite Paris 7, France
pp. 389-398
Linear Logic
Patrick Baillot, LIPN, CNRS & Universite Paris Nord, France
Paolo Coppola, Universita di Udine, Italy
Ugo Dal Lago, Universita di Bologna, Italy
pp. 421-430
Topology and Computable Mathematics
Jean Goubault-Larrecq, LSV, ENS Cachan, CNRS, INRIA Futurs, France
pp. 453-462
Author Index
Usage of this product signifies your acceptance of the Terms of Use.