[Agda] LICS 2013 - Call for Participation
Andrzej Murawski
A.Murawski at warwick.ac.uk
Fri May 3 01:25:20 CEST 2013
***********************************************************************
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.
More information about the Agda
mailing list