LICS 2019

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
Loading map...
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

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