The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science (2002)
Copenhagen, Denmark
July 22, 2002 to July 25, 2002
ISBN: 0-7695-1483-9
TABLE OF CONTENTS
Introduction
Foreword (PDF)
pp. ix
FLoC Joint Invited Lecture
Natarajan Shankar , SRI International
pp. 3
Session 1
Christopher Lynch , Clarkson University
Barbara Morawska , Clarkson University
pp. 7
Session 2
Edmund Clarke , Carnegie Mellon University
Somesh Jha , University of Wisconsin
Yuan Lu , Broadcom COM
Helmut Veith , Technische Universität Wien
pp. 19
Sophie Laplante , University of Paris-Sud
Richard Lassaigne , University of Paris 7
Sylvain Peyronnet , University of Paris-Sud
Michel de Rougemont , University of Paris II
pp. 30
Thomas Reps , University of Wisconsin
Alexey Loginov , University of Wisconsin
Mooly Sagiv , Tel-Aviv University
pp. 40
Session 3
Amal J. Ahmed , Princeton University
Andrew W. Appel , Princeton University
Roberto Virga , Princeton University
pp. 75
Session 4
Nadeem A. Hamid , Yale University
Zhong Shao , Yale University
Valery Trifonov , Yale University
Stefan Monnier , Yale University
Zhaozhong Ni , Yale University
pp. 89
Alan Jeffrey , DePaul University
Julian Rathke , University of Sussex
pp. 101
Bernhard Reus , University of Sussex
Thomas Streicher , Technical University Darmstadt
pp. 113
Session 5
Jens Palsberg , Purdue University
Tian Zhao , Purdue University
pp. 125
Semantic Subtyping (Abstract)
Alain Frisch , École Normale Supérieure
Giuseppe Castagna , École Normale Supérieure
Véronique Benzaken , Université Paris-Sud
pp. 137
Marcelo Fiore , University of Cambridge
Roberto Di Cosmo , Université Paris 7 and INRIA-Roquencourt
Vincent Balat , Université Paris 7
pp. 147
Session 6
Rick Statman , Carnegie Mellon University
pp. 159
Marco Faella , Università degli Studi di Salerno
Salvatore La Torre , Università degli Studi di Salerno and University of Pennsylvania
Aniello Murano , Università degli Studi di Salerno and Rice University
pp. 167
Session 7
Georg Gottlob , Technische Universität Wien
Christoph Koch , Technische Universität Wien
pp. 189
Session 8
Markus Frick , University of Edinburgh
Martin Grohe , University of Edinburgh
pp. 215
Hajime Ishihara , Japan Advanced Institute of Science and Technology
Bakhadyr Khoussainov , University of Auckland
Sasha Rubin , University of Auckland
pp. 235
Session 9
Polarized Games (Abstract)
Olivier Laurent , CNRS and University Paris 7
pp. 265
Session 10
Daniele Varacca , University of Aarhus and University of Cambridge
pp. 299
Session 11
William Hesse , University of Massachusetts at Amherst
Neil Immerman , University of Massachusetts at Amherst
pp. 313
Session 12
Albert Atserias , Universitat Politècnica de Catalunya
pp. 325
Michael Soltys , McMaster University
Stephen Cook , University of Toronto
pp. 335
Short Presentations
Session 14
Diego Calvanese , Università di Roma "La Sapienza"
Giuseppe De Giacomo , Università di Roma "La Sapienza"
Maurizio Lenzerini , Università di Roma "La Sapienza"
pp. 359
Session 15
François Laroussinie , ENS de Cachan & CNRS UMR
Nicolas Markey , ENS de Cachan & CNRS UMR and Université Orléans & CNRS
Philippe Schnoebelen , ENS de Cachan & CNRS UMR
pp. 383
Ian Hodkinson , Imperial College
Frank Wolter , Universität Leipzig
Michael Zakharyaschev , King?s College
pp. 393
Session 16
Josée Desharnais , Université Laval
Radha Jagadeesan , Loyola University-Lake Shore Campus
Vineet Gupta , Stratify Inc.
Prakash Panangaden , McGill University
pp. 413
Mikkel Nygaard , University of Aarhus
Glynn Winskel , University of Cambridge
pp. 433
Session 17
Short Presentations
Author Index
Author Index (PDF)
pp. 461
320 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool