The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science (2005)
Chicago, IL, USA
June 26, 2005 to June 29, 2005
ISBN: 0-7695-2266-1
TABLE OF CONTENTS
Introduction
Foreword (PDF)
pp. x
Introduction
Foreword (PDF)
pp. x
pp. xii
Session 1
Glynn Winskel , University of Cambridge
pp. 2-11
J.C.M. Baeten , Technische Universiteit Eindhoven
F. Corradini , Universit? di Camerino
pp. 12-19
Session 2
Anuj Dawar , University of Cambridge
Martin Otto , Technische Universit?t Darmstadt
pp. 21-30
Pablo Barcel? , University of Toronto
Leonid Libkin , University of Toronto
pp. 31-40
Hannu Niemist? , University of Helsinki
pp. 41-50
Evan Goris , University of Amsterdam
pp. 51-60
Session 3
Geoffrey Washburn , University of Pennsylvania
pp. 62-71
Masahito Hasegawa , Kyoto University; Japan Science and Technology Agency
pp. 72-81
Rocco De Nicola , Universit? di Firenze
Giuseppe Castagna , ?cole Normale Sup?rieure
pp. 92-101
Session 5
Albert Atserias , Universitat Polit?cnica de Catalunya
pp. 106-115
Session 6
Anton? Kucera , Masaryk University
Javier Esparza , University of Stuttgart
pp. 117-126
Christel Baier , Universit?t Bonn
Marcus Gr??er , Universit?t Bonn
pp. 137-146
Session 7
Markus Lohrey , University of Stuttgart
pp. 168-177
Krishnendu Chatterjee , University of California, Berkeley
Marcin Jurdzinski , University of Warwick
pp. 178-187
Jo? Ouaknine , Oxford University
pp. 188-197
Session 8
Clemens Kupke , Universiteit van Amsterdam
Yde Venema , Universiteit van Amsterdam
pp. 199-208
Fran?ois Lamarche , Loria & INRIA-Lorraine
Lutz Stra?burger , Universit?t des Saarlandes
pp. 209--218
Luigi Santocanale , Universit? de Provence
pp. 219-228
Martin Hofmann , Institut f?r Informatik
pp. 229-237
Session 9
J. Hillston , University of Edinburgh
pp. 239-248
Thorsten Altenkirch , Nottingham University
pp. 249-258
Session 10
Lars Birkedal , 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
Chris Hardin , Cornell University
pp. 290-299
Session 11
Glynn Winskel , University of Cambridge
pp. 301-310
Vladimiro Sassone , University of Sussex
Pawel Sobocinski , Universit? di Pisa
pp. 311-320
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
Soren Lassen , Google, Inc
pp. 345-354
Session 14
Alexis Saurin , INRIA-Futurs & École polytechnique
pp. 356-365
Ugo Dal Lago , Dipartimento di Scienze dell?Informazione
pp. 366-375
Claudia Faggian , Universit? di Padova
pp. 376-385
Session 15
Michael Maher , National ICT Australia
pp. 397-406
Frances Spalding , Princeton University
David Walker , Princeton University
Neal Glew , Intel Corporation
pp. 407-416
Abbas Edalat , Imperial College
Dirk Pattinson , Imperial College
pp. 417-426
Mart?n Escard? , University of Birmingham
Ho Weng Kin , University of Birmingham
pp. 427-436
Session 16
V?ctor Dalmau , University Pompeu Fabra
pp. 438-447
Albert Atserias , Universitat Polit?cnica de Catalunya
pp. 458-466
Author Index
Author Index (PDF)
pp. 477
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool