Difference between revisions of "LICS 2018"
Jump to navigation
Jump to search
| Line 14: | Line 14: | ||
|Notification=2018/03/31 | |Notification=2018/03/31 | ||
|Submitting link=https://www.easychair.org/conferences/?conf=lics2018 | |Submitting link=https://www.easychair.org/conferences/?conf=lics2018 | ||
| + | |has Keynote speaker=Thierry Coquand, Javier Esparza, Shafi Goldwasser, Ursula Martin, Val Tannen | ||
}} | }} | ||
The 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018 | The 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018 | ||
Revision as of 11:22, 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/ |
| Submitting link: | https://www.easychair.org/conferences/?conf=lics2018 |
| Location | |
| Location: | Oxford, United Kingdom |
| Important dates | |
| Abstracts: | 2018/01/24 |
| Papers: | 2018/01/31 |
| Submissions: | 2018/01/31 |
| Notification: | 2018/03/31 |
| Keynote speaker: | Thierry Coquand, Javier Esparza, Shafi Goldwasser, Ursula Martin, Val Tannen |
| Table of 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