Call for Papers and Other Useful Academic Information

========================================================== Call for Papers Trustworthy Global Computing 2008 November 3-4, 2008, Barcelona, Spain ========================================================== The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorously about their behaviour and properties. [...]

Call For Participation Workshop on Formal Methods for Wireless Systems (FMWS 08) Toronto, Canada, August 23, 2008 http://www.itu.dk/events/FMWS08/ FMWS 08, the Workshop on Formal Methods for Wireless Systems, will take place at the University of Toronto on Saturday August 23, 2008. The workshop is affiliated with the 19th International Conference on Concurrency Theory (CONCUR 08). [...]

Important Notes ————– – Workshop registration is now open – Early registration ends on August 1 CALL FOR PARTICIPATION CONCUR & PODC 2008 Toronto, Canada August 17-23, 2008 27th Annual ACM Symposium on 19th International Principles of Distributed & Conference on Concurrency Computing (PODC) Theory (CONCUR) www.podc.org/podc2008 www.cse.yorku.ca/concur08 Special Events ————– – Nancy Lynch Celebration: [...]

Important Notes ————– – Workshop registration is now open – Early registration ends on August 1 CALL FOR PARTICIPATION CONCUR & PODC 2008 Toronto, Canada August 17-23, 2008 27th Annual ACM Symposium on 19th International Principles of Distributed & Conference on Concurrency Computing (PODC) Theory (CONCUR) www.podc.org/podc2008 www.cse.yorku.ca/concur08 Special Events ————– – Nancy Lynch Celebration: [...]