[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Type-based submissions welcome! -Andrei Call for papers --------------- Fifth International Conference on Mathematical Methods, Models, and Architectures for Computer Networks Security St Petersburg, Russia, September 8-11, 2010 Invited speakers ---------------- * Herve Debar (Institut Telecom - Telecom SudParis, France) * Dieter Gollmann (Technical University of Hamburg-Harburg, Germany) * Greg Morrisett (School of Engineering and Applied Sciences, Harvard University, USA) * Bart Preneel (Electrical Engineering Department, Katholieke Universiteit Leuven, Belgium) * Ravi Sandhu (University of Texas at San Antonio, Institute for Cyber Security, USA) Important dates --------------- * Papers dues: March 7, 2010 * Notification: May 2, 2010 * Camera ready papers May 23, 2010 Further information ------------------- Conference web page: http://www.comsec.spb.ru/mmm-acns10/