Latest News

• Registration is open here.
• List of papers accepted for LICS 2019 here.
• Local information is available here. For any local issues, contact lics2019@sfu.ca. Do book your accommodation as soon as possible.
• ASL student sponsorship is available for student members of ASL to attend LICS. See ASL website and contact details there.
• LICS 2019 workshops announced
• LICS 2019 invited speakers and tutorials announced
• Call for workshops
• Call for papers

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, Sandra Kiefer and Filip Mazowiecki)
• MoRe: Multi-objective reasoning in verification and synthesis (organized by Mickael Randour and Jeremy Sproston)

Sun 23 June 2019

• LearnAut: Learning and Automata (organized by Rémi Eyraud, Tobias Kappé, Guillaume Rabusseau and Matteo Sammartino)
• LOLA: Syntax and semantics of Low level Languages (organized by Patricia Johann and Rasmus Eijlers Møgelberg)
• WiL: Women in Logic (organized by Valeria de Paiva, Amy Felty and Brigitte Pientka)

Invited tutorial speakers

• Andrei Bulatov
• Daniela Petrisan

Invited speakers

• Nicole Schweikardt
• Peter Selinger
• James Worrell

Important Dates

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG, the IEEE Technical Committee on Mathematical Foundations of Computing, the Association for Symbolic Logic, the European Association for Theoretical Computer Science, the Pacific Institute for the Mathematical Sciences, Simon Fraser University, and Google.