Events co-located with CSF 2013

News:

Saturday workshop attendees: note that shuttles go from the hotel to the university on Saturday morning at 7:30am and 8:00am. Please see the full LICS/MFPS/CSF program for more details.

Conferences

• Mathematical Foundations of Programming Semantics (MFPS XXIX)
        Sunday June 23 to Tuesday June 25, 2013
• Logic in Computer Science (LICS 2013)
        Tuesday June 25 to Friday June 28, 2013

Workshops

• Workshop on Foundations of Computer Security (FCS 2013)
        Saturday June 29, 2013
• 3rd International Workshop on Socio-Technical Aspects in Security (STAST 2013)
        Saturday June 29, 2013
• Seventh International Workshop on Analysis of Security APIs (ASA 7)
        Sunday June 30, 2013 canceled
• 9th Workshop on Formal and Computational Cryptography (FCC 2013)
        Sunday June 30, 2013 now a session of FCS, on Sat June 29.