LICS'98 was held in Indianapolis, Indiana, June 21 - 24, 1998. It
was preceded by workshops on Probabilistic Methods in Verification
and Real Number Computation, and followed by workshops on Formal
Methods & Security Protocols and Logic & Diagrammatical Information.
LICS'98 server at Indiana
University, maintained by Daniel Leivant.
Leonid Libkin
Last modified: Wed Apr 1 16:13:30 EST 1998