From: Andrzej Murawski <A.Murawski@warwick.ac.uk>
To: <categories@mta.ca>
Subject: LICS 2013 - Call for Participation
Date: Fri, 3 May 2013 00:25:20 +0100 [thread overview]
Message-ID: <E1UYF1U-0003N4-VT@mlist.mta.ca> (raw)
***********************************************************************
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/ ]
reply other threads:[~2013-05-02 23:25 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1UYF1U-0003N4-VT@mlist.mta.ca \
--to=a.murawski@warwick.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).