• L
  • LICS
  • 2005
  • 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Advanced Search 
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Chicago, Illinois
June 26-June 29
ISBN: 0-7695-2266-1
Table of Contents
Introduction
Session 1
J.C.M. Baeten, Technische Universiteit Eindhoven
F. Corradini, Universit? di Camerino
pp. 12-19
Session 2
Session 3
Masahito Hasegawa, Kyoto University; Japan Science and Technology Agency
pp. 72-81
Giuseppe Castagna, ?cole Normale Sup?rieure
Rocco De Nicola, Universit? di Firenze
Daniele Varacca, Imperial College
pp. 92-101
Session 5
Session 6
Session 7
Krishnendu Chatterjee, University of California, Berkeley
Thomas A. Henzinger, University of California, Berkeley
Marcin Jurdzinski, University of Warwick
pp. 178-187
Session 8
Clemens Kupke, Universiteit van Amsterdam
Yde Venema, Universiteit van Amsterdam
pp. 199-208
Session 9
Session 10
Lars Birkedal, IT University of Copenhagen
Noah Torp-Smith, IT University of Copenhagen
Hongseok Yang, Seoul National University
pp. 260-269
Iovka Boneva, INRIA Futurs - MOSTRARE project
Jean-Marc Talbot, INRIA Futurs - MOSTRARE project
Sophie Tison, INRIA Futurs - MOSTRARE project
pp. 280-289
Session 11
Bernd Finkbeiner, Universit?t des Saarlandes
Sven Schewe, Universit?t des Saarlandes
pp. 321-330
Session 12
Session 13
Walter Fontana, Harvard Medical School
pp. 344
Session 14
Session 15
Limin Jia, Princeton University
Frances Spalding, Princeton University
David Walker, Princeton University
Neal Glew, Intel Corporation
pp. 407-416
Session 16
Author Index
Author Index (PDF)
pp. 477-477
Usage of this product signifies your acceptance of the Terms of Use.