*********************************************************************** 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/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]