http://www.cs.unibo.it/discotec06/FMOODS06/The 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems: part of the federated conferences DisCoTec (Distributed Computing Techniques). Bologna, Italy; 14--16 June 2006.2006IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
Bologna, Italy, 14 - 16 June, 2006
of the FMOODS series of conferences is to bring together researchers
and practitioners whose work encompasses three important and related
in 1996, the FMOODS series of
waiting for hand_moderationDisCoTec06FMOODS06
cfp
ACM SIGPLAN 2006 Conference on
Programming Language Design and Implementation
PLDI is over and had over 310 attendees!
Coming soon: pictures and SIGPLAN awards
Tutorial Topics and Speakers
Guy L. Steele Jr., Jan-Willem Maessen, and Sukyoung Ryu
June 10 (Sat): workshops (see below)
PLDI
Eurocrypt 2006
The 25th International Cryptology
EUROCRYPT 2006 is the 25th Annual
International Cryptology Conference.
EUROCRYPT 2006 will be held in
(IACR), and is organized by the
IACR in cooperation with the Russian
Regional Association for Cryptologic Research (RusCrypto)(
Russian private cryptologic
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.