Calls for Papers

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The thirtieth WoLLIC will be held at the University of Bern, Switzerland, 10-13 June 2024.

Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are:

  • Non-classical logics;
  • Novel computation models and paradigms;
  • Proof mining, type theory, effective learnability and explainable AI;
  • Logical approach to natural language and reasoning;
  • Foundational aspects of information organization, search, flow, sharing, and protection;
  • Philosophical logic;
    Foundations of computing, programming, and Artificial Intelligence;
  • Broad notions of proof and belief;
  • Formal methods in software and hardware development;
  • Logics of programs, actions and resources;
  • Foundations of mathematics;
  • Philosophy of language;

Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author’s instructions at Springer webpage). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper’s main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors in person. (At least one author is required to pay a full, on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2024 EasyChair website.

Website: https://wollic2024.inf.unibe.ch/

*LOFT15 – Fifteenth Conference on Logic and the Foundations of Game and Decision Theory*

University of Bayreuth, Germany, June 26-28, 2024

General LOFT web page: https://faculty.econ.ucdavis.edu/faculty/bonanno/loft.html

*Submission Guidelines*

Potential contributors should submit an extended abstract of approximately 5-10 pages (excluding references and appendices) as a PDF. Submissions exceeding 10 pages will not be considered. Submissions should be prepared for blind review and submitted through EasyChair by February 9th, 2024.
Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.

Please submit through the following link: https://easychair.org/conferences/?conf=loft15

*Conference Aims*

This is the 15th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics, and mind sciences.

35th European Summer School in Logic, Language and Information Student session CfP

29 July – 9 August 2024, Leuven, Belgium

The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July – 9 August 2024 in Leuven, Belgium. We invite submissions of original, unpublished work from students in any area related to Logic & Language, Language & Computation, or Logic & Computation in the form of long (8 pages) or short (4 pages) papers (including references, figures, etc.). Submissions will be reviewed by several experts in the field. Accepted long papers will be presented as talks, while short papers will be presented as posters. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience. Short papers are especially suited for smaller or in-progress research works.

See the extended Call for Papers at the ESSLLI 2024 webpage for the submission and publication policies: https://2024.esslli.eu/.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net.

AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences and the Faculty of Arts of Charles University.

AiML 2024 is collocated with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

Website: https://www.cs.cas.cz/aiml2024/

2nd Paris Workshop on Games, Decisions, and Language
June 13-15, 2024
University Paris-Panthéon-Assas

This year’s topic “Language Games” can be interpreted in a double sense: We invite contributions that use game theory to study aspects of language as well as philosophical investigations of game theory as a “language game.”

Notably encouraged are contributions on the following topics:

— game-theoretic treatments of problems that have been formulated in the context of established research programs in linguistics; such as: implicatures, presupposition accommodation, anaphora, vagueness, politeness in language, emergence of meaning, non-cooperative uses of language (flouting of Grice’s maxims),
— game-theoretic assessments of the Rational Speech Act model,
— linguistic interpretations or applications of Bayesian dialogues,
— methodological reflections on the interaction of game theory and the study of language.

Call for contributions:

If you would like to give a talk at this event, please write to:
christina.pawlowitsch@u-paris2.fr

not later than January 31, 2024.

Website: https://game-theory.u-paris2.fr/index.html

IJCAR 2024: Final Call for Papers
 IJCAR<https://ijcar.org/> is the premier international joint conference on all aspects of automated reasoning.

IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024.

IJCAR 2024 is the merger conference of leading events in automated reasoning:

  *   CADE<http://cadeinc.org/> – Conference on Automated Deduction
  *   FroCoS<http://frocos.cs.uiowa.edu/> – Symposium on Frontiers of Combining Systems
  *   TABLEAUX<http://www.tableaux-ar.org/> – Conference on Analytic Tableaux and Related Methods

Topics

IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited.

IJCAR topics include the following:

  *   Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory.
  *   Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc.
  *   Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.

Important Dates

  *   29 Jan 2024 Abstract submission
  *   5 Feb 2024 Paper submission
  *   28 Mar 2024 Notification of paper decisions
  *   28 Apr 2024 Camera-ready papers due
  *   1-2 Jul 2024 Workshops, competitions, and tutorials
  *   3-6 Jul 2024 Conference, including CASC

Co-located Events

IJCAR 2024 will have numerous co-located events. Please see here<https://merz.gitlabpages.inria.fr/2024-ijcar/page/satellites/> for an up-to-date list.

Submission Guidelines

IJCAR 2024 invites submissions related to the topics of interest mentioned above.

All papers must be original and not simultaneously submitted to another peer-reviewed journal or conference. The following paper categories are welcome:

  *   Regular papers describing solid new research results. They can be up to 15 pages in LNCS style, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers.
  *   Short papers describing implemented systems, user experiences, case studies and domain models, etc. They can be up to 7 pages in LNCS style, excluding references and appendices.

All submissions will be judged on relevance, originality, significance, correctness, and readability. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, e.g., via a reference to a website or in an appendix of the paper.

The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period.

All submissions must be formatted using the Springer LNCS styles and submitted in PDF via EasyChair:

https://easychair.org/conferences/?conf=ijcar2024

The IJCAR 2024 proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence<https://link.springer.com/conference/ijcar> (LNAI/LNCS) as Gold Open Access, and will be available online during the conference. At least one person must register for each accepted paper, and this registration must also cover the Gold Open Access processing fee of 200 Euro net per paper. Authors of accepted papers are required to ensure that at least one of them will participate in the conference and present the work.

The papers delivered to us will be processed according to the regular workflow, meaning Springer will generate both full-text HTML and PDF versions of the papers, to be made available in SpringerLink, and the full book will be available in PDF and ePub formats. The papers will be published under the CC-BY-4.0-license.

Best Paper Award

IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference.

Student Travel Award

Woody Bledsoe Travel Awards will be available to support selected students in attending the conference.

The Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024) will be held at Zhejiang University, Hangzhou, China, 15th – 16th June 2024.

The workshop is associated with a national key project called “Research on Logics for New Generation Artificial Intelligence” (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project.

Website: https://www.zlaire.net/lngai2024/index.html