[TYPES/announce] LICS 2013 - Call for Participation
A.Murawski at warwick.ac.uk
Thu May 2 19:15:24 EDT 2013
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
June 25-28, New Orleans, USA
with pre-conference tutorials on June 24
CALL FOR PARTICIPATION
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
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
* AFFILIATED WORKSHOPS (June 28-29)
Foundations of Computer Security (FCS)
Higher-Order Program Analysis (HOPA)
Syntax and Semantics of Low-Level Languages (LOLA)
Natural Language and Computer Science (NLCS)
* ACCEPTED PAPERS
* 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 Types-announce