Registration will be handled by FLoC'99. Please visit the
FLoC'99 web site.
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).
Back to the LICS web
page.