• L
  • LICS
  • 1998
  • 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
Advanced Search 
13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
Indianapolis, Indiana
June 21-June 24
ISBN: 0-8186-8506-9
Table of Contents
Invited Lecture
Session I: Finite Model Theory I: Chair: Martin Otto
Session II: Verification: Chair: Moshe Vardi
Session III: Logics: Chair: Johan van Benthem
Tutorial: Chair: Andre Scedrov
Session IV: Concurrency I: Chair: Mart?n Abadi
Session V: Category Theory: Chair: Eugenio Moggi
Invited Lecture: Chair: Bill Rounds
Tutorial: Chair: Edith Hemaspaandra
Session VI: Theorem Proving and Rewriting: Chair: Giuseppe Longo
Session VII: Linear Logic: Chair: Laurent Regnier
Session VIII: Game Semantics: Chair: Dale Miller
Session IX: Type Theory: Chair: Luke Ong
Invited Lecture: Chair: Robert Constable
Session X: Calculus and Lambda-Calculus: Chair: Vaughan Pratt
Session XI: Constraints and Complexity: Chair: Bengt Jonsson
Session XII: Concurrency II: Chair: Tom Henzinger
Session XIII: Finite Model Theory II: Chair: Erich Gr?del
Usage of this product signifies your acceptance of the Terms of Use.