Difference between revisions of "LICS 2016"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
==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 | ||
| + | * 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 | ||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
Titles and Short Abstracts Due: January 11, 2016<br> | Titles and Short Abstracts Due: January 11, 2016<br> | ||
Revision as of 10:18, 26 June 2020
| LICS 2016 | |
|---|---|
31st Annual ACM/IEEE Symposium on Logic in Computer Science
| |
| Event in series | LICS |
| Dates | 2016/07/05 (iCal) - 2016/07/08 |
| Homepage: | lics.rwth-aachen.de/lics16/ |
| Location | |
| Location: | New York City, New York, USA |
| Committees | |
| Organizers: | Columbia University |
| Table of Contents | |
,
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
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
- 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
Important Dates
Titles and Short Abstracts Due: January 11, 2016
Full Papers Due: January 18, 2016
Author Feedback/Rebuttal Period: March 14-18, 2016
Author Notification: April 4, 2016
Final Versions Due for Proceedings: May 2, 2016
Early Registration Deadline: June 3, 2016
Conference: July 5-8, 2016