LICS 2016: Difference between revisions
No edit summary |
No edit summary |
||
| 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 09: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