Difference between revisions of "LICS 2018"
| Line 11: | Line 11: | ||
|Country=United Kingdom | |Country=United Kingdom | ||
|Abstract deadline=2018/01/24 | |Abstract deadline=2018/01/24 | ||
| + | |Paper deadline=2018/01/31 | ||
|Notification=2018/03/31 | |Notification=2018/03/31 | ||
}} | }} | ||
Revision as of 12:21, 3 July 2020
| LICS 2018 | |
|---|---|
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
| |
| Event in series | LICS |
| Dates | 2018/07/09 (iCal) - 2018/07/12 |
| Homepage: | http://lics.siglog.org/lics18/ |
| Location | |
| Location: | Oxford, United Kingdom |
Loading map... | |
| Important dates | |
| Abstracts: | 2018/01/24 |
| Papers: | 2018/01/31 |
| Submissions: | 2018/01/31 |
| Notification: | 2018/03/31 |
| Table of Contents | |
Contents | |
,
The 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018
Topics
Submissions
Important Dates
Titles and Short Abstracts Due: 24 January 2018
Full Papers Due: 31 January 2018
Author Feedback/Rebuttal Period: 14–18 March 2018
Author Notification: 31 March 2018
Final Versions Due for Proceedings: 1 May 2018
Early Registration Deadline: 6 June 2018
Conference: 9–12 July 2018
Facts about "LICS 2018"
| Abstract deadline | January 24, 2018 + |
| Acceptance rate | 42.4 + |
| Accepted papers | 92 + |
| Acronym | LICS 2018 + |
| End date | July 12, 2018 + |
| Event in series | LICS + |
| Event type | Conference + |
| Has Keynote speaker | Thierry Coquand +, Javier Esparza +, Shafi Goldwasser +, Ursula Martin + and Val Tannen + |
| Has Submitting link | https://www.easychair.org/conferences/?conf=lics2018 + |
| Has coordinates | 51° 45' 7", -1° 15' 28"Latitude: 51.752013888889 Longitude: -1.25785 + |
| Has coordinator | Sam Staton + |
| Has location city | Oxford + |
| Has location country | Category:United Kingdom + |
| Has program chair | Martin Hofmann +, Anuj Dawar + and Erich Grädel + |
| Has workshop chair | Patricia Bouyer-Decitre + |
| Homepage | http://lics.siglog.org/lics18/ + |
| IsA | Event + |
| Notification | March 31, 2018 + |
| Paper deadline | January 31, 2018 + |
| Start date | July 9, 2018 + |
| Submission deadline | January 31, 2018 + |
| Submitted papers | 217 + |
| Title | 33rd Annual ACM/IEEE Symposium on Logic in Computer Science + |
