LICS 2019
Revision as of 12:46, 6 July 2020 by Tolga.karaarslan (talk | contribs)
| LICS 2019 | |
|---|---|
34th Annual ACM/IEEE Symposium on Logic in Computer Science
| |
| Event in series | LICS |
| Dates | 2019/06/24 (iCal) - 2019/06/27 |
| Homepage: | https://lics.siglog.org/lics19/ |
| Submitting link: | https://www.easychair.org/account/signin?l=5iZOlTVbFDc64ytZWSk2L4# |
| Location | |
| Location: | Vancouver, BC, Canada |
| Important dates | |
| Abstracts: | 2019/01/04 |
| Papers: | 2019/01/11 |
| Submissions: | 2019/01/11 |
| Notification: | 2019/03/29 |
| Table of Contents | |
,
The 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019
Topics
- automata theory
- automated deduction
- categorical models and logics
- concurrency and distributed computation
- constraint programming
- constructive mathematics
- database theory
- decision procedures
- description logics
- domain theory
- finite model theory
- formal aspects of program analysis
- formal methods
- foundations of computability
- games and logic
- higher-order logic
- lambda and combinatory calculi
- linear logic
- logic in artificial intelligence
- logic programming
- logical aspects of bioinformatics
- logical aspects of computational complexity
- logical aspects of quantum computation
- logical frameworks
- logics of programs
- modal and temporal logics
- model checking
- probabilistic systems
- process calculi
- programming language semantics
- proof theory
- real-time systems
- reasoning about security and privacy
- rewriting
- type systems and type theory and verification
Submissions
Important Dates
Titles and Short Abstracts Due: 4 January 2019
Full Papers Due: 11 January 2019
Author Feedback/Rebuttal Period: 4–8 March 2019
Author Notification: 29 March 2019
Conference: 24–27 June 2019