Introduction
LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.
LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.
Call for paper
Submission Topics
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics
All Comments
Important Date
-
Conference Date
Jun 25
2013
toJun 28
2013
-
Jun 28 2013
Registration deadline
Sponsored By
美国计算机学会
IEEE Computer Society
IEEE Computer Society
Contact Information
- Orna Kupferman
- or******@cs.huji.ac.il
Previous Conferences
-
2021-06-29 Italy Rome
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science -
2019-06-24 Canada
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science -
2018-07-09 United Kingdom
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science -
2017-06-20 Iceland Reykjavik,Iceland
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science -
2016-07-05 United States New York，USA
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Submit Comment