International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Name	International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Status	Active
Discipline	Logic, Programming, Artificial Intelligence, Automated Reasoning
First	1994
Frequency	Annual
Organizer	Various academic institutions and the Association for Logic Programming
Country	International

International Conference on Logic for Programming, Artificial Intelligence, and Reasoning The conference convenes researchers in Logic programming, Automated theorem proving, Nonmonotonic reasoning, Knowledge representation, and Constraint programming; it draws participants from institutions such as MIT, Stanford University, University of Cambridge, University of Oxford, and University of California, Berkeley. Prominent attendees have included scholars affiliated with INRIA, CNRS, Max Planck Institute, University of Edinburgh, and Technische Universität München, while program committees frequently feature members from Association for Computing Machinery, IEEE, European Association for Theoretical Computer Science, Royal Society, and National Science Foundation.

History

The conference was established in the 1990s amid parallel developments at venues like International Conference on Logic Programming, European Conference on Artificial Intelligence, International Joint Conference on Artificial Intelligence, AAAI Conference on Artificial Intelligence, and International Conference on Principles of Knowledge Representation and Reasoning, reflecting cross-pollination between researchers at Carnegie Mellon University, Johns Hopkins University, University of Pennsylvania, Australian National University, and University of Toronto. Early editions featured collaborations with workshops from IFIP, EATCS, Society for Industrial and Applied Mathematics, Institute of Mathematics and its Applications, and British Computer Society. Over time the meeting has paralleled trends at Conference on Neural Information Processing Systems, International Conference on Machine Learning, Symposium on Theory of Computing, Conference on Decision and Control, and Foundations of Software Technology and Theoretical Computer Science.

Aims and Scope

The conference seeks to bridge communities working at Lambda Calculus, Model Theory, Proof Theory, Type Theory, and Category Theory with applied groups from Microsoft Research, Google DeepMind, IBM Research, Facebook AI Research, and Amazon Web Services. Scope covers interactions with topics advanced at International Symposium on Logic-Based Program Synthesis and Transformation, International Conference on Automated Deduction, European Conference on Machine Learning, Symposium on Principles of Programming Languages, and International Conference on Computer Aided Verification, engaging researchers from Princeton University, Harvard University, Yale University, Peking University, and Tsinghua University.

Conference Structure and Formats

Typical formats mirror those used at NeurIPS, ICML, SIGPLAN Conference on Programming Language Design and Implementation, ACM SIGMOD, and IEEE Symposium on Security and Privacy with keynote lectures, invited talks, contributed papers, poster sessions, and tool demonstrations. Workshops and tutorials often align with programs run at Dagstuhl Seminar, Banff International Research Station, Kobe Workshop, CWI, and Los Alamos National Laboratory. Special sessions have been organized jointly with panels from European Research Council, Humboldt Foundation, Marie Skłodowska-Curie Actions, Wellcome Trust, and Gordon Research Conferences.

Proceedings and Publications

Proceedings are commonly published in series comparable to Lecture Notes in Computer Science, Springer, ACM Digital Library, Proceedings of the AAAI Conference on Artificial Intelligence, and IEEE Xplore, and indexed alongside works found in Scopus, Web of Science, Google Scholar, DBLP, and arXiv. Selected papers have later appeared in journals such as Journal of the ACM, Artificial Intelligence, Journal of Automated Reasoning, ACM Transactions on Programming Languages and Systems, and Information and Computation; editors and guest editors often include scholars from Elsevier, Wiley-Blackwell, Oxford University Press, Cambridge University Press, and Springer Nature.

Notable Papers and Contributions

Influential contributions at the conference have built on foundations laid by figures associated with Alonzo Church, Alan Turing, Kurt Gödel, Alfred Tarski, and John McCarthy and have influenced developments at Prolog, Datalog, SAT solvers, SMT-LIB, and Answer Set Programming initiatives. Breakthroughs presented influenced projects at Z3, MiniSAT, CVC4, Clingo, and Coq, and have been cited in work from Linux Foundation, Mozilla Foundation, OpenAI, DeepMind, and Stanford AI Lab.

Organization and Sponsorship

Organization rotates among universities and research institutes including University of Warsaw, National Institute of Informatics, Seoul National University, University of Melbourne, and Pontifical Catholic University of Chile, often sponsored by agencies like National Science Foundation, European Commission, Japan Society for the Promotion of Science, German Research Foundation, and Swiss National Science Foundation. Additional support has come from industry partners such as Google, Microsoft, IBM, Amazon, and Facebook, and professional bodies including Association for Logic Programming, ACM SIGLOG, European Association for Theoretical Computer Science, Royal Society of London, and IEEE Computer Society.

Related Events and Collaborations

The conference maintains formal and informal links with events such as International Conference on Automated Deduction, CADE, International Workshop on Description Logics, Symposium on Logic in Computer Science, International Symposium on Formal Methods, and Workshop on Automated Verification of Critical Systems, collaborating with research networks like COST Actions, Horizon Europe, ERC Advanced Grants, Marie Curie Networks, and NSF Expeditions. Cross-disciplinary panels and joint sessions have been held with organizers from AAAI, IJCAI, ICLR, NeurIPS, and ICML.

Category:Computer science conferences Category:Logic conferences