Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Eighteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2003)

2003年06月22日 to 2003年06月25日, Ottawa, Canada

LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Short Presentations

Entries are ordered by surname of first author

Organizers

General Chair

Samson Abramsky (Oxford U.)
Samson.Abramsky@comlab.ox.ac.uk

Program Chair

Phokion G. Kolaitis
Computer Science Department
University of California, Santa Cruz
Santa Cruz, CA 95064
USA
kolaitis@cs.ucsc.edu
Phone : +1 831 459 4768
Fax : +1 831 459 4829

Conference Chair

Amy Felty
SITE & Math. and Stat.
University of Ottawa
Ottawa, Ontario, K1N 6N5
Canada
afelty@site.uottawa.ca

Philip Scott
SITE & Math. and Stat.
University of Ottawa
Ottawa, Ontario, K1N 6N5
Canada
phil@site.uottawa.ca

Publicity Chair

Alex K. Simpson (U. of Edinburgh)
Alex.Simpson@ed.ac.uk

Program Committee:

Michael Benedikt (Bell Laboratories); Andreas R. Blass (U. of Michigan); Maria Luisa Bonet (UPC, Barcelona); Witold Charatonik (U. of Wroclaw); Marcelo P. Fiore (U. of Cambridge); Giorgio Ghelli (U. di Pisa); Thomas A. Henzinger (UC Berkeley); Alan Jeffrey (DePaul U.); Assaf J. Kfoury (Boston U.); Phokion G. Kolaitis (UC Santa Cruz); Orna Kupferman (Hebrew U.); Ursula Martin (U. of St Andrews); Paul-André Melliès (CNRS & U. Paris 7); Eugenio Moggi (U. di Genova); Ugo Montanari (U. di Pisa); Paliath Narendran (U. at Albany SUNY); C.-H. Luke Ong (U. of Oxford & Nat. U. of Singapore); Martin Otto (U. of Wales Swansea); Frank Pfenning (Carnegie Mellon U.); Miroslaw Truszczynski (U. of Kentucky)

Organizing Committee

Martín Abadi; Samson Abramsky (chair); Robert L. Constable; Nachum Dershowitz; Amy Felty; Harald Ganzinger; Harold N. Gabow; Joseph Y. Halpern; Ulrich Kohlenbach; Phokion G. Kolaitis; Daniel Leivant; Giuseppe Longo; Harry G. Mairson; John C. Mitchell; Eugenio Moggi; Mogens Nielsen; Gordon D. Plotkin; Vaughan R. Pratt; Simona Ronchi della Rocca; Philip J. Scott; Richard A. Shore; Alex K. Simpson; Iain A. Stewart; Jerzy Tiuryn; Moshe Y. Vardi; Glynn Winskel

Advisory Board

Martín Abadi; Serge Abiteboul; Mariangiola Dezani-Ciancaglini; Joseph Y. Halpern; Russell Impagliazzo; Dexter C. Kozen; Leszek Pacholski; Andre Scedrov; Dana S. Scott; Jeannette M. Wing

Last modified: 2024年10月24日 9:41
Sam Staton

AltStyle によって変換されたページ (->オリジナル) /