Vancouver

Photo by "Vancouver Skyline" by domo k, CC-BY 2.0 (flickr). Some rights reserved.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2019 will be hosted in Vancouver, Canada during 24–27 June 2019, with affiliated workshops 22–23 June.

LICS 2019 Workshops

Sat 22 June 2019

  • LFMTP: Logical Frameworks and Metalanguages: Theory and Practice (organized by Dale Miller and Ivan Scagnetto)
  • LMW: Logic Mentoring Workshop (organized by William J. Bowman, Mike Dodds, Filip Mazowiecki and Sandra Kiefer)
  • MoRe: Multi-objective reasoning in verification and synthesis (organized by Mickael Randour and Jeremy Sproston)

Sun 23 June 2019

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

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.