[FOM] Fwd: [LICS] LICS 2016 Programme and Final Call for Participation
Martin Davis
martin at eipye.com
Tue Jun 21 20:41:04 EDT 2016
---------- Forwarded message ----------
From: Sam Staton <sam.staton at cs.ox.ac.uk>
Date: Tue, Jun 21, 2016 at 12:38 PM
Subject: [LICS] LICS 2016 Programme and Final Call for Participation
To: "types-announce at lists.seas.upenn.edu" <
types-announce at lists.seas.upenn.edu>
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS
2016)
5-8 July 2016, New York City, USA
http://lics.rwth-aachen.de/lics16/
https://regmaster4.com/2016conf/LICS16/register.php
* EVENT
LICS 2016 will be hosted in New York City.
Main conference: July 5-8 10, 2016.
Workshops: July 9-10, 2016.
* PROGRAMME
http://easychair.org/smart-program/LICS2016/index.html
* AFFILIATED WORKSHOPS
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.
You are subscribed to the lics mailing list because you have signed up for
it in the past.
Submissions to the newsletter:
Send an email to las-lics at lists.tu-berlin.de.
Unsubscribe:
To unsubscribe, please send an email to las-lics-request at lists.tu-berlin.de
with
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to las-lics-request at lists.tu-berlin.de
with
the keyword 'subscribe' in the message body (without ').
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160621/14d9c4ca/attachment.html>
More information about the FOM
mailing list