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