Difference between revisions of "LICS 2019"
Jump to navigation
Jump to search
| Line 20: | Line 20: | ||
==Topics== | ==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== | ==Submissions== | ||
| + | |||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
Titles and Short Abstracts Due: 4 January 2019<br> | Titles and Short Abstracts Due: 4 January 2019<br> | ||
Revision as of 12:46, 6 July 2020
| 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