The Community for Technology Leaders
RSS Icon
Subscribe
21st Annual IEEE Symposium on Logic in Computer Science (2006)
Seattle, WA
Aug. 12, 2006 to Aug. 15, 2006
ISBN: 0-7695-2631-4
TABLE OF CONTENTS
Session 9: Timed and Stochastic Systems
T. Brazdil , Fac. of Informatics, Masaryk Univ., Brno
pp. 349-358
Reviewers (PDF)
pp. xii
Introduction
Foreward (PDF)
pp. ix
Reviewers (PDF)
pp. xii
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
Stephane Demri , INRIA Futurs, France
Ranko Lazic , University of Warwick, UK
pp. 17-26
Guoqiang Pan , Rice University, USA
Moshe Y. Vardi , Rice University, USA
pp. 27-36
Martin Otto , Technische Universitat Darmstadt, Germany
pp. 37-48
Session 2: Concurrency
Catuscia Palamidessi , INRIA, France
Vijay Saraswat , IBM TJ Watson Research Lab, USA
Frank D. Valencia , CNRS, France
Bjorn Victor , Uppsala University, Sweden
pp. 59-68
Filippo Bonchi , University of Pisa
Barbara Konig , University of Duisburg-Essen
Ugo Montanari , University of Pisa
pp. 69-80
Session 3: Pushdown Systems
Dietrich Kuske , Universitat Leipzig, Germany
Markus Lohrey , Universitat Stuttgart, Germany
pp. 91-100
Vineet Kahlon , NEC Labs America, USA
Aarti Gupta , NEC Labs America, USA
pp. 101-110
Tachio Terauchi , University of California, Berkeley, USA
Alex Aiken , Stanford University, USA
pp. 111-122
Invited Talk
Andreas Blass , Microsoft Research, USA
pp. 123
Session 4: Logics of Program
Adam Barth , Stanford University, USA
John C. Mitchell , Stanford University, USA
pp. 127-136
Matthew Parkinson , Middlesex University, UK
Richard Bornat , Middlesex University, UK
Cristiano Calcagno , University of London, UK
pp. 137-146
Jonathan Hayman , University of Cambridge
Glynn Winskel , University of Cambridge
pp. 147-156
Session 5: Proof Theory
Ugo Dal Lago , Universite Paris 13, France
pp. 169-178
Alexis Maciel , Clarkson University, USA
Toniann Pitassi , University of Toronto, Canada
pp. 189-200
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
Lutz Schroder , Universitat Bremen
Dirk Pattinson , University of Leicester
pp. 231-242
Invited Talk
Orna Kupferman , Hebrew University, Israel
pp. 243-254
Session 7: Temporal Logics and Automata
Nir Piterman , Ecole Polytechnique F?ed?eral de Lausanne (EPFL)
pp. 255-264
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
Mikolaj Bojanczyk , LIAFA, France
Thomas Colcombet , CNRS/IRISA, France
pp. 285-296
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
Makoto Tatsuta , National Institute of Informatics, Japan
Mariangiola Dezani-Ciancaglini , Dipartimento di Informatica, Italy
pp. 327-338
Keynote Session: Celebrating Birth Centennial of Kurt Godel
Invited Talk
Session 9: Timed and Stochastic Systems
Dexter Kozen , Cornell University, USA
pp. 359-366
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
Thomas Ball , Microsoft Research, USA
Orna Kupferman , Hebrew University, Israel
pp. 379-388
Daniele Varacca , Imperial College London, UK
Hagen V?lzer , Universit?t zu L?beck, Germany
pp. 389-398
Sharon Shoham , Technion, Israel
Orna Grumberg , Technion, Israel
pp. 399-410
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
Author Index (PDF)
pp. 431
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool