[Agda] MFPS/LICS/CSF Joint Call for Participation

[Andrzej Murawski]

***********************************************************************
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/