Map of the city

Trento, Italy - June 30 - July 12, 1999

CAV (July 7-10, 1999)
Conference on Computer-Aided Verification

LICS (July 2-5, 1999)
IEEE Symposium on Logic in Computer Science

RTA (July 2-4, 1999)
Conference on Rewriting Techniques and Applications

Message from the General Chair

Hosted by

Sponsored by

In cooperation with: