[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