The Community for Technology Leaders
RSS Icon
Subscribe
2007 22nd Annual IEEE Symposium on Logic in Computer Science (2007)
Wroclaw
July 10, 2007 to July 14, 2007
ISBN: 0-7695-2908-9
TABLE OF CONTENTS
Foreword (PDF)
pp.
Introduction
Foreword (PDF)
pp. ix-x
pp. xi-xii
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
Colin Riba , INPL & LORIA, France
pp. 13-22
Wojciech Moczydlowski , Cornell University, USA
pp. 23-34
Computational Proof Theory
Thomas C. Hales , University of Pittsburgh, USA
pp. 35-40
Paul Brauner , INPL & LORIA, France
Cl?ment Houtmann , ENS de Cachan & LORIA, France
Claude Kirchner , INRIA & LORIA, France
pp. 41-50
James Brotherston , Imperial College, London, UK
Alex Simpson , University of Edinburgh, UK
pp. 51-62
Security
Michael O. Rabin , Harvard University, USA
Rocco A. Servedio , Columbia University, USA
Christopher Thorpe , Harvard University, USA
pp. 63-76
Mika Cohen , KTH, Sweden
Mads Dam , KTH, Sweden
pp. 77-88
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
Mikolaj Bojanczyk , Warsaw University
pp. 121-130
Marcin Jurdzinski , University of Warwick, UK
Ranko Lazic , University of Warwick, UK
pp. 131-140
Angelo Montanari , Universita di Udine, Italy
Gabriele Puppis , Universita di Udine, Italy
pp. 141-150
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
Francesco Ranzato , University of Padova, Italy
Francesco Tapparo , University of Padova, Italy
pp. 171-180
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
Steven James Perron , University of Toronto, Canada
pp. 225-234
Phuong Nguyen , University of Toronto, Canada
pp. 235-244
Phuong Nguyen , University of Toronto, Canada
Stephen A. Cook , University of Toronto, Canada
pp. 245-256
Finite Model Theory
Phokion G. Kolaitis , IBM Almaden Research Center, USA
pp. 257-269
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
Colin Stirling , University of Edinburgh, UK
pp. 326-335
Bartek Klin , University of Edinburgh; Warsaw University
pp. 336-345
Rasmus Ejlers M?gelberg , University of Edinburgh, UK
Alex Simpson , University of Edinburgh, UK
pp. 346-355
Fran?ois Pottier , INRIA, France
pp. 356-365
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
Nikos Tzevelekos , Oxford University
pp. 399-410
Linear Logic
Ulrich Sch?pp , Ludwig-Maximilians-Universitat Munchen, Germany
pp. 411-420
Patrick Baillot , LIPN, CNRS & Universite Paris Nord, France
Paolo Coppola , Universita di Udine, Italy
Ugo Dal Lago , Universita di Bologna, Italy
pp. 421-430
Paulo Oliva , Queen Mary, University of London, UK
pp. 431-442
Topology and Computable Mathematics
Mart?n Escard? , University of Birmingham, UK
pp. 443-452
Jean Goubault-Larrecq , LSV, ENS Cachan, CNRS, INRIA Futurs, France
pp. 453-462
Abbas Edalat , Imperial College London, UK
pp. 463-472
Author Index
Author Index (PDF)
pp. 473
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool