*********************************************************************** JOINT CALL FOR PARTICIPATION
29th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIX) 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) 26th IEEE Computer Security Foundations Symposium (CSF 2013) June 23-30, 2013 New Orleans, USA http://www.cs.cornell.edu/Conferences/MFPS29/ http://lii.rwth-aachen.de/lics/lics13/ http://csf2013.seas.harvard.edu Accommodation deadline (conference rate): May 20, 2013 Early registration deadline: May 22, 2013 *********************************************************************** * DATES MFPS (June 23-25) LICS (June 24 [tutorials], June 25-28 [conference], June 28-29 [workshops]) CSF (June 26-28, June 29-30 [workshops]) * REGISTRATION (deadline for early registration: May 22, 2013) https://www.regonline.com/mfps_lics_csf * ACCOMMODATION (deadline for special rate: May 20, 2013) http://www.cs.cornell.edu/Conferences/MFPS29/accommodations.htm http://lii.rwth-aachen.de/lics/lics13/accomm.html http://csf2013.seas.harvard.edu/accomm.html * AFFILIATED WORKSHOPS CSF Foundations of Computer Security (FCS) http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/ Socio-Technical Aspects in Security (STAST 2013) http://www.stast2013.uni.lu Formal and Computational Cryptography (FCC 2013) http://www.lsv.ens-cachan.fr/Events/FCC2013/ LICS Higher-Order Program Analysis (HOPA) http://hopa.cs.rhul.ac.uk Natural Language and Computer Science (NLCS) http://www.indiana.edu/~iulg/nlcs.html Foundations of Computer Security (FCS) http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/ Syntax and Semantics of Low-Level Languages (LOLA) http://research.microsoft.com/en-us/events/lola2013/ ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
