Difference between revisions of "LICS 2016"
Jump to navigation
Jump to search
| Line 12: | Line 12: | ||
|Has coordinator=Columbia University | |Has coordinator=Columbia University | ||
}} | }} | ||
| − | + | The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. | |
| + | |||
==Topics== | ==Topics== | ||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
| + | Titles and Short Abstracts Due: January 11, 2016<br> | ||
| + | Full Papers Due: January 18, 2016<br> | ||
| + | Author Feedback/Rebuttal Period: March 14-18, 2016<br> | ||
| + | Author Notification: April 4, 2016<br> | ||
| + | Final Versions Due for Proceedings: May 2, 2016<br> | ||
| + | Early Registration Deadline: June 3, 2016<br> | ||
| + | Conference: July 5-8, 2016<br> | ||
Revision as of 11:14, 26 June 2020
| LICS 2016 | |
|---|---|
31st Annual ACM/IEEE Symposium on Logic in Computer Science
| |
| Event in series | LICS |
| Dates | 2016/07/05 (iCal) - 2016/07/08 |
| Homepage: | lics.rwth-aachen.de/lics16/ |
| Location | |
| Location: | New York City, New York, USA |
| Committees | |
| Organizers: | Columbia University |
| Table of Contents | |
,
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Topics
Submissions
Important Dates
Titles and Short Abstracts Due: January 11, 2016
Full Papers Due: January 18, 2016
Author Feedback/Rebuttal Period: March 14-18, 2016
Author Notification: April 4, 2016
Final Versions Due for Proceedings: May 2, 2016
Early Registration Deadline: June 3, 2016
Conference: July 5-8, 2016