Current LICS

LICS'99


LICS'99 will be held in Trento, Italy, July 2-5, 1999. It will be a part of the 1999 Federated Logic Conference (FLoC'99). Other conferences participating in FLoC'99 are Conference on Automated Deduction (CADE'99), Conference on Computer-Aided Verification (CAV'99), and Conference on Rewriting Techniques and Applications (RTA'99).

Registration will be handled by FLoC'99. Please visit the FLoC'99 web site.



Back to the LICS web page.

Leonid Libkin
Last modified: Wed Apr 1 16:13:30 EST 1998