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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":49.2608724,"lon":-123.113952,"icon":""}],"imageoverlays":null}
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