* LICS 2016 Call for Participation
@ 2016-05-14 20:20 Sam Staton
0 siblings, 0 replies; only message in thread
From: Sam Staton @ 2016-05-14 20:20 UTC (permalink / raw)
To: categories
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 during July 5-8, 2016.
This event also marks the thirtieth anniversary of LICS.
* 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.
* ACCEPTED PAPERS
http://lics.rwth-aachen.de/lics16/accepted.html
* IMPORTANT DATES
May 15, 2016 - Logic Mentoring Workshop and Student Volunteers
June 3, 2016 - Early Registration Deadline
July 5-8, 2016 - Conference
July 9-10, 2016 - Workshops
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-05-14 20:20 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-05-14 20:20 LICS 2016 Call for Participation Sam Staton
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).