International Workshop on Linear Logic

International Workshop on Linear Logic
Name	International Workshop on Linear Logic
Status	active
Genre	Academic conference
Date	Various
Frequency	Annual / Biennial
Country	International
First	1990s
Organizer	Academic institutions and research groups

International Workshop on Linear Logic The International Workshop on Linear Logic convenes researchers in computer science-adjacent subfields and related mathematics communities to discuss developments in linear logic theory, applications, and tools. Participants include authors of influential work from institutions such as University of Cambridge, Massachusetts Institute of Technology, Université Paris Diderot, University of Edinburgh, and University of Tokyo, and representatives from research organizations like CNRS, INRIA, Microsoft Research, IBM Research, and École Normale Supérieure. The workshop sits at the intersection of streams represented by conferences such as LICS, ICFP, POPL, ICALP, and TLCA.

History

The workshop traces roots to early research gatherings influenced by seminal publications from Jean-Yves Girard and follow-up meetings at venues including Carnegie Mellon University, University of Cambridge, University of Oxford, École Polytechnique, and Università di Bologna. Early editions featured contributors from Princeton University, Stanford University, Rutgers University, Columbia University, and Yale University who built on techniques developed in seminars at IHÉS and Max Planck Institute for Informatics. The workshop evolved alongside related events such as GLOBECOM, ESA, SAC, and FSTTCS, adapting formats tested at symposia like CAV and VMCAI. Sponsors and hosts have included European Research Council, NSF, NWO, FAPESP, and national laboratories like Los Alamos National Laboratory and RIKEN.

Scope and Topics

Topics cover foundational results linked to work by Jean-Yves Girard, David Pym, Philip Wadler, Luca Cardelli, Robin Milner, and Gordon Plotkin, and applications explored by teams from Bell Labs, Google Research, Facebook AI Research, DeepMind, and OpenAI. Core themes intersect with research agendas at Institute for Advanced Study and Institut Pasteur and include proof theory developments related to sequent calculus, categorical semantics, monoidal categories, and denotational semantics. Applied threads engage with programming-language design from MIT·CSAIL, type systems influenced by Cambridge Computer Laboratory, concurrency models studied at University of Bologna, and verification methods promoted at Stanford CIS. Cross-disciplinary links reach into projects at Los Alamos National Laboratory, Sandia National Laboratories, Lawrence Berkeley National Laboratory, and collaborations with industrial partners such as ARM Holdings.

Organization and Sponsorship

Organization typically involves program committees drawn from faculty at Harvard University, Princeton University, University of California, Berkeley, University of California, San Diego, Technische Universität München, ETH Zurich, University of Warsaw, University of Toronto, and McGill University. National academies and funding agencies like Royal Society, Deutsche Forschungsgemeinschaft, Japan Society for the Promotion of Science, Australian Research Council, and Canadian Institutes of Health Research have supported editions. Hosting departments have included Department of Computer Science, University of Oxford, Department of Mathematics, University of Paris, School of Informatics, University of Edinburgh, and labs such as LIX, LSV, IRIF, CISPA Helmholtz Center and corporate labs including Bell Labs Research, Xerox PARC, and Siemens Corporate Technology.

Program and Proceedings

Programs assemble invited talks, contributed papers, poster sessions, tutorials, and satellite workshops, echoing formats from NeurIPS, ICML, AAAI, IJCAI, and UAI. Proceedings have appeared in series coordinated by publishers and platforms such as Springer, Lecture Notes in Computer Science, ACM Digital Library, IEEE Xplore, and curated volumes akin to those from Cambridge University Press. Special issues and edited volumes have connected to journals like Journal of the ACM, Information and Computation, Theoretical Computer Science, Logical Methods in Computer Science, and Annals of Pure and Applied Logic. Program chairs historically include faculty affiliated with SRI International, Tata Institute of Fundamental Research, Weizmann Institute of Science, Seoul National University, and Peking University.

Notable Participants and Contributions

Notable attendees and contributors span awardees and leaders connected to institutions and prizes such as the Turing Award, Gödel Prize, ACM Fellowship, Royal Society Fellowship, and grants from ERC Advanced Grant. Key figures include researchers from University of Cambridge labs, alumni of MIT, scholars associated with ENS Lyon, Scuola Normale Superiore, and members of consortia at European Research Consortium for Informatics and Mathematics. Contributions have influenced developments in proof nets, linear type systems, resource-aware computation, session types, quantum lambda calculus, and categorical frameworks related to compact closed categories, autonomous categories, and Frobenius algebras.

Impact and Legacy

The workshop has shaped curricula and research priorities at departments such as Carnegie Mellon School of Computer Science, ETH Zurich Department of Computer Science, Imperial College London, and TU Berlin and informed projects at centers like Centre National de la Recherche Scientifique, INRIA Saclay, Microsoft Research Cambridge, and Google DeepMind London. Its legacy persists in textbooks and monographs published by authors affiliated with Oxford University Press, MIT Press, Springer-Verlag, and in techniques adopted across verification toolchains developed at Amazon Web Services, Red Hat, Canonical Ltd., and open-source communities around tools like Coq, Agda, Isabelle, Lean (proof assistant), HOL Light, and Twelf. The workshop continues to bridge traditions represented by proof theory groups, programming-language research clusters, and applied teams at multinational research hubs such as CERN, JPL, ESA, and major universities worldwide.

Category:Logic conferences