The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (2003)
Ottawa, Canada
June 22, 2003 to June 25, 2003
ISBN: 0-7695-1884-2
TABLE OF CONTENTS
Foreword (PDF)
pp. x
pp. xii
Session 1
Olivier Laurent , Preuves Programmes Syst?mes
Laurent Regnier , Institut de Math?matiques de Luminy
pp. 11
Christophe Raffalli , Universit? de Savoie
pp. 21
Session 2
Session 3
Amal Ahmed , Princeton University
Limin Jia , Princeton University
David Walker , Princeton University
pp. 33
John Harrison , Intel Corporation
pp. 45
Session 4
Nachum Dershowitz , Tel-Aviv University
Claude Kirchner , LORIA & INRIA
pp. 65
Konstantin Korovin , MPI Informatik
Andrei Voronkov , University of Manchester
pp. 75
Short Presentations I
Session 5
Viktor Kuncak , Massachusetts Institute of Technology
Martin Rinard , Massachusetts Institute of Technology
pp. 96
Andrzej S. Murawski , Oxford University Computing Laboratory
pp. 108
Session 6
Dale Miller , INRIA/Futurs/Saclay & ?cole polytechnique
Alwen Tiu , ?cole polytechnique & Penn State University
pp. 118
Paulo Oliva , University of Aarhus, Denmark
pp. 128
Joshua Buresh-Oppenheim , University of Toronto
Toniann Pitassi , University of Toronto
pp. 138
Session 7
Erich Gr?del , Aachen University
Stephan Kreutzer , University of Edinburgh
pp. 158
Session 8
Bakhadyr Khoussainov , University of Auckland, New Zealand
Sasha Rubin , University of Auckland, New Zealand
Frank Stephan , University of Heidelberg, Germany
pp. 168
Leonid Libkin , University of Toronto
Frank Neven , University of Limburg
pp. 178
Session 9
Jo? Ouaknine , Carnegie Mellon University
James Worrell , Tulane University
pp. 198
Govert van Drimmelen , Rand Afrikaans University
pp. 208
Session 10
Mart? Abadi , University of California at Santa Cruz
pp. 228
Session 11
Marco Pistore , University of Trento
Moshe Y. Vardi , Rice University
pp. 234
John McCarthy , Stanford University
pp. 244
Session 12
George C. Necula , University of California, Berkeley
Robert R. Schneck , University of California, Berkeley
pp. 248
Yannick Chevalier , Universit? Henri Poincar?
Ralf K?sters , Stanford University
Micha? Rusinowitch , Universit? Henri Poincar?
Mathieu Turuani , Universit? Henri Poincar?
pp. 261
Session 13
Aaron Hunter , Simon Fraser University
pp. 281
Yuri Gurevich , Microsoft Research
Saharon Shelah , Hebrew University
pp. 291
Session 14
Tom? Feder , Stanford University
Moshe Y. Vardi , Rice University
pp. 311
Andrei A. Bulatov , Oxford University Computing Laboratory
pp. 321
Session 15
Vincent Danos , CNRS & Université Paris 7
Jos? Desharnais , Universit? Laval
pp. 341
Session 16
E. Allen Emerson , The University of Texas at Austin
Vineet Kahlon , The University of Texas at Austin
pp. 361
P. Madhusudan , University of Pennsylvania
pp. 371
Short Presentations II
pp. 393
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool