Symposium on Logic in Computer Science

Symposium on Logic in Computer Science
Name	Symposium on Logic in Computer Science
Abbreviation	LICS
Established	1986
Discipline	Logic in Computer Science
Publisher	Association for Computing Machinery
Frequency	Annual

Contents

Symposium on Logic in Computer Science is an annual academic conference focused on the interaction of mathematical logic with computer science research. It brings together researchers from areas such as automata theory, programming languages, complexity theory, and formal methods to present peer-reviewed work, foster collaborations across institutions like Massachusetts Institute of Technology, University of California, Berkeley, and University of Cambridge, and influence standards and tools used in industry players such as IBM and Microsoft Research.

History

The symposium was inaugurated in 1986 amid a period of intensified collaboration between groups at Carnegie Mellon University, Stanford University, and Princeton University pursuing foundations of computation and verification; early organizing committees included members from INRIA, Bell Labs, and University of Oxford. Over the decades it featured seminal contributions from researchers affiliated with Harvard University, California Institute of Technology, ETH Zurich, University of Toronto, and University of Paris. Key milestones included sessions tied to breakthroughs related to results by scholars associated with Gödel Prize-level work and interactions with societies such as the Association for Computing Machinery and the European Association for Theoretical Computer Science.

The symposium covers topics ranging from model theory and proof theory to applied settings like software engineering tools developed at Google and Amazon. Typical themes intersect work from groups at Bell Labs Research and projects funded by agencies including National Science Foundation and European Research Council. Research presented often connects techniques used in Turing Award-winning laboratories and leverages methods from teams at Microsoft Research Redmond, IBM Research and national labs such as Los Alamos National Laboratory.

Administration has historically been overseen by steering committees including representatives from Association for Computing Machinery, Institute of Electrical and Electronics Engineers, and universities like Cornell University and University of Utah. Program committees include scholars with appointments at Imperial College London, Tokyo Institute of Technology, Peking University, and Seoul National University. Financial and logistical support has been obtained via partnerships with entities like Google Research, Intel Corporation, and philanthropic foundations such as the Simons Foundation.

The symposium has rotated among global venues including Palo Alto, Paris, Edinburgh, Tokyo, Berlin, Rome, Toronto, Sydney, Beijing, and Zurich. Notable editions were co-located with conferences such as Automata Theory and Applications, CONCUR, and STOC at institutions like University of Washington and University of California, Los Angeles. Satellite workshops have taken place at research centers including Max Planck Institute for Informatics and RIKEN.

Accepted papers are published in proceedings historically distributed by publishers such as Association for Computing Machinery and occasionally in special issues of journals tied to publishers like Springer and Elsevier. Selected works have been reprinted in collections associated with Journal of the ACM, SIAM Journal on Computing, and Information and Computation, often influencing curricula at Massachusetts Institute of Technology and University of Oxford.

The symposium awards best paper recognitions and has connections to prizes such as the Gödel Prize, Turing Award, and field-specific distinctions issued by European Association for Theoretical Computer Science and the Association for Computing Machinery. Recipients have included researchers affiliated with Princeton University, University of California, Berkeley, Stanford University, and Institute for Advanced Study whose work has been cited in award citations from organizations like the American Mathematical Society.

Work presented has shaped developments in tools and standards used by Microsoft, Google, Intel, and Amazon Web Services, influenced curriculum changes at Carnegie Mellon University and ETH Zurich, and fed into formal verification efforts at NASA and European Space Agency. The symposium has been a venue for research that later informed initiatives at DARPA, National Institutes of Health, and industrial laboratories such as Hewlett-Packard and Facebook AI Research, with long-term influence on theoretical progress and applied systems across the computing landscape.