Atlas home || Conferences | Abstracts | about Atlas

The 1999 Federated Logic Conference (FLoC '99)

June 30 - July 10, 1999

Trento, Italy

Mathematics

Host: ITC-IRST
Homepage: http://www.cs.bell-labs.com/cm/cs/what/floc99/

Organizers: Moshe Y. Vardi (General Chair), Fausto Giunchiglia (Conference chair), Leonid Libkin (Publicity chair), Paolo Traverso (CADE), Joseph Sifakis (CAV), Eugenio Moggi (LICS), Simona Ronchi della Rocca (LICS), Andrea Asperti (RTA), Morena Carli, Nadia Oss Papot (Secretariat), Alessandro Tuccio (Treasurer), Adolfo Villafiorita (National publicity chair and Workshops coordinator)

Description:
The following conferences will participate in FLoC. Conference on Automated Deduction (CADE). Conference on Computer-Aided Verification (CAV). IEEE Symposium on Logic in Computer Science (LICS). Conference on Rewriting Techniques and Applications (RTA).

Date received: October 13, 1998, revised February 06, 1999

© 2008 Atlas Conferences Inc.