*********************************************************************** 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) June 25-28, 2013 (with pre-conference tutorials on June 24) New Orleans, USA Call for Participation http://lii.rwth-aachen.de/lics/lics13/ *********************************************************************** The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science (LICS 2013) will be held in New Orleans in colocation with MFPS (Mathematical Foundations of Programming Semantics) and CSF (IEEE Computer Security Foundations). * DATES: MFPS (June 23-25), LICS (June 25-28), CSF (June 26-28). * REGISTRATION is now open for all three conferences. Please visit http://lii.rwth-aachen.de/lics/lics13/ and follow the link to Registration. The early registration deadline is May 22, 2013. * LICS SCHEDULE - TUTORIALS LICS'13 will kick off with tutorials by Hubert Comon and Jan Rutten (with MFPS) on Monday 24 June. - TECHNICAL PROGRAMME The technical programme, from Tuesday 25 to Friday 28 June, will open with a special joint session with MFPS XXIX to mark the 80th birthday of Dana Scott, with invited speakers: Andrew Pitts, Steve Awodey, Andrej Bauer, Robert Harper, and Dana Scott. In addition, LICS'13 will feature invited lectures by Rajeev Alur, Joseph Halpern (with CSF), Nancy Lynch and Prakash Panangaden. * AFFILIATED WORKSHOPS (June 28-29) Foundations of Computer Security (FCS) http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/ Higher-Order Program Analysis (HOPA) http://hopa.cs.rhul.ac.uk Syntax and Semantics of Low-Level Languages (LOLA) http://research.microsoft.com/en-us/events/lola2013/ Natural Language and Computer Science (NLCS) http://www.indiana.edu/~iulg/nlcs.html * ACCEPTED PAPERS http://lii.rwth-aachen.de/lics/lics13/accepted.html * LICS TEST-OF-TIME AWARDS (LICS 93) The Awards Committee consisting of Prakash Panangaden (chair), Jean-Pierre Jouannaud, Martin Grohe and Tom Henzinger decided to honour the following three outstanding papers from LICS'93 (held in Montreal, Quebec, Canada): - Leo Bachmair, Harald Ganzinger and Uwe Waldmann Set constraints are the monadic class, - Andre Joyal, Mogens Nielsen and Glynn Winskel Bisimulation via open maps, - Benjamin C. Pierce and Davide Sangiorgi Typing and subtyping for mobile processes. The awards will be presented in New Orleans. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]