The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City during July 5-8 2016, with affiliated workshops July 9-10.

For Wednesday/Thursday/Friday, breakfast and coffee breaks will occur in Northwest Corner Building in the upper lobby area.
See Venue for a map.

Latest News

Workshops

  • Logic Mentoring Workshop. July 9 (Sat)
  • LSB: 6th Workshop on Logic and Systems Biology. July 9 (Sat)
  • NLCS: 4th Workshop on Natural Language and Computer Science. July 10 (Sun)
  • SR: 4th International Workshop on Strategic Reasoning. July 10 (Sun)
  • LOLA: Syntax and Semantics of Low-Level Languages. July 10 (Sun)

Invited Speakers

Pedro Domingoes (University of Washington)

Unifying Logical and Statistical AI (with Daniel Lowd, Stanley Kok, Aniruddh Nath, Hoifong Poon, and Parag Singla)

Mai Gehrke (Institut de Recherche en Informatique Fondamentale, CNRS and Universite ́ Paris-Diderot)

Duality in Computer Science

Maurice Herlihy (Brown University)

Blockchains and the Logic of Accountability (with Mark Moir, Oracle Labs).

Joost Pieter-Katoen (RWTH Aachen University, Germany and University of Twente, The Netherlands)

The Probabilistic Model Checking Landscape

Important Dates

Titles and Short Abstracts Due January 11, 2016
Full Papers Due January 18,2016
Author Feedback/Rebuttal Period March 14-18,2016
Author Notification April 4,2016
Final Versions Due for Proceedings May 2,2016
Early Registration Deadline June 3,2016
Conference July 5-8,2016

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

  • ACM
  • IEEE
  • SIGLOG
  • ASL
  • EATCS

Website built with bootstrap by Hartmut Eilers and Eric Koskinen.