LICS 2019

From Openresearch
Jump to: navigation, search
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


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