Annual Conference of the European Association
for Computer Science Logic
The photos from CSL'02 are back online.
Last modified: Thu Jul 17 23:23:11 BST 2003
September 22-25, 2002, Edinburgh, Scotland
Computer Science Logic (CSL) is the annual conference of the
(EACSL). The conference is
waiting for hand_moderation
Università di Roma "Tor Vergata"
Approximation and Randomization Algorithms in Communication
Rome, September, 21st, 2002
The dramatic growth in number of powerful,
easy-to-use, portable, and affordable computers, combined with globally
accessible communication networks, has resulted in a
waiting for hand_moderation
Computer-Aided Verification
All CAV sessions moved to Auditorium
the fourteenth in a series dedicated to the advancement of the theory and
practice of computer-assisted formal analysis methods for software and
hardware systems. The conference covers the spectrum from theoretical results
to
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.