Current LICS


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