News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • 8 - 11 July 2024, Highlights in the Language Sciences Conference 2024, Nijmegen, the Netherlands

    Date: 8 - 11 July 2024
    Location: Nijmegen, the Netherlands

    The Language in Interaction Consortium (LiI) is pleased to announce the Highlights in the Language Sciences Conference 2024, celebrating the conclusion of our 10-year Gravitation Programme and the advances made in language-related disciplines including genetics, neuroscience, psychology, linguistics and computational modeling.

    The conference will take place 8-11 July 2024 at the Radboud University in Nijmegen. We are putting together an exciting programme with top-level key experts in the relevant fields of research. Confirmed speakers include David Poeppel (NYU, Strungmann Institute, Frankfurt), Ghislaine Dehaene-Lambertz (CNRS Paris), Vera Demberg (Universität des Saarlandes), Uri Hasson (Universiy of Princeton), Barbara Kaup (University Tübingen), Tal Linzen (NYU).

    Abstract submission for the poster session will open in October 2023.

  • 3 - 6 September 2024, 17th International Symposium on Algorithmic Game Theory (SAGT)

    Date & Time: 3 - 6 September 2024, 18:00
    Location: CWI, Amsterdam
    Deadline: Tuesday 21 May 2024

    SAGT brings together researchers from Computer Science, Economics, Mathematics, Operations Research, Psychology, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Game Theory. The program of SAGT 2024 will include a tutorial day, invited lectures and presentations of peer-reviewed submissions. 

    Authors are invited to submit original research for possible presentation at the conference. Each paper will be evaluated on significance, originality, technical quality, and exposition. It should clearly establish the research contribution, its relevance, and its relation to prior research. Industrial application works and position papers presenting novel ideas, issues, challenges and directions are also welcome.

    For more information, see https://www.cwi.nl/sagt-2024/.
  • 21 June 2024, Dutch Logic PhD Day 2024, Vrije Universiteit Amsterdam

    Date: Friday 21 June 2024
    Location: Vrije Universiteit Amsterdam
    Target audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).
    Costs: Free
    Deadline: Friday 24 May 2024

    The Dutch Logic PhD Day 2024 is a VvL event that brings together PhD students in Logic and related areas (such as philosophy, computer science and AI) to foster exchanges of ideas and collaborations between young researchers from all over the Netherlands.

    The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.

    We invite the submission of works from any areas of Logic or related fields. Depending on the preference of the speaker, contributed talks can be shorter (15 minutes, including Q&A) or longer (30 minutes, including Q&A).

  • 11 - 12 September 2024, 28th Workshop on the Semantics and Pragmatics of Dialogue (SemiDial 2024 / Trentologue), Trento, Italy

    Date: 11 - 12 September 2024
    Location: Trento, Italy
    Costs: cimec@unitn.it
    Deadline: Sunday 26 May 2024

    TrentoLogue will be the 28th edition of the SemDial workshop series  which aim to bring together researchers working on the semantics and  pragmatics of dialogue in fields such as formal semantics and  pragmatics, computational linguistics, artificial intelligence,  philosophy, psychology, and neuroscience.

    Keynote speakers: Uri Hasson, Princeton University Azzurra Ruggeri, Max Planck Institute Bernardo Magnini, Fondazone Bruno Kessler  (FBK).

    We welcome submissions with formal, computational, and empirical approaches to the semantics and pragmatics of dialogue.
    Long papers: Authors should submit an anonymous paper of at most 8  pages of content (up to 2 additional pages are allowed for references).
    Short papers: Authors should submit a non-anonymized paper of at most  2 pages of content (up to 1 additional page allowed for references). Submissions to this track can be non-archival on request.

  • 6 September 2024, 9th internatioinal workshop on Type-Driven Development (TyDe 2024), Milan, Italy

    Date: Friday 6 September 2024
    Location: Milan, Italy
    Deadline: Monday 27 May 2024

    The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

    We welcome all contributions, both theoretical and practical, on the workshop topics. Submissions should fall into one of two categories: regular research papers (12 pages) or extended abstracts (3 pages). Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines.

    For more information, see https://icfp24.sigplan.org/home/tyde-2024.
  • 18 - 20 September 2024, 19th International Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024), Goiânia (Brazil)

    Date: 18 - 20 September 2024
    Location: Goiânia (Brazil)
    Deadline: Friday 31 May 2024

    Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the for mal specification of systems and computational languages, supporting tool development and reasoning.

    LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

    All papers must be unpublished and not simultaneously submitted to another journal or conference. The following paper categories are welcome: * Full papers with a maximum of 16 pages * Short papers with a maximum of 6 pages. The papers should be prepared in latex using EPTCS style, and submitted as a PDF file. All contributions should be written in English.

  • 16 - 18 September 2024, 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024), Bucharest, Romania

    Date: 16 - 18 September 2024
    Location: Bucharest, Romania
    Deadline: Saturday 1 June 2024

    The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

    The RuleML+RR 2024 conference is part of the event “Declarative AI: Rules,
    Reasoning, Decisions, and Explanations” (https://2024.declarativeai.net) and
    is co-located with DecisionCAMP 2024 and the Reasoning Web Summer School. Apart from the main track, it features the Rule Challenge, a Doctoral Consortium, an Industry Track and a Project Networking Session as associated events.

    RuleML+RR welcomes research from all areas of Rules and Reasoning. High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. Main track Title and abstract submission deadline: June 1st, 2024.
    Associated events (Rule Challenge, Doctoral Consortium, Industry Track, and Project
    Networking Session) Paper submission deadline: July 21st, 2024.

    For more information, see https://2024.declarativeai.net/events/ruleml-rr or contact Ahmet Soylou at .
  • (New) 6 - 7 September 2024, The 16th Latin American Workshop on New Methods of Reasoning, Oaxaca, Mexico

    Date: 6 - 7 September 2024
    Location: Oaxaca, Mexico
    Deadline: Saturday 1 June 2024

    LANMR 2024 is the sixteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of this workshop is to bring together people from different fields such as programming languages foundations, formal verification, philosophy or artificial intelligence, around methods of reasoning and applications involving logic.

    LANMR 2024 will be an in-person event. The venue will be at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico), it will happen as a satellite of the 7th World Congress of Paraconsistency.

    We call for extended abstracts. In particular you can present work in progress or work that is recently published elsewhere. Extended abstracts written in English limited to 3 pages including footnotes and appendices (but not references) are required. Abstracts are to be prepared for anonymous review and should be submitted, using the Easychair Latex Class, via EasyChair. The language of the workshop is English, authors of accepted contributions will be required to give a 20 minute in-person presentation, plus 10 minutes for questions and discussion.

    For more information, see http://www.lanmr.unam.mx.
  • 8 - 9 September 2024, 9th Workshop on Connexive Logics, Łódź (Poland)

    Date: 8 - 9 September 2024
    Location: Łódź (Poland)
    Costs: 100 euros
    Deadline: Saturday 15 June 2024

    Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Since then, systems of connexive logic have been motivated by considerations on a content connection between the antecedent and consequent of valid implications, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

    As interests in topics related to connexive logics are growing, the ninth workshop aims at discussing directions for future research in connexive logics. Keynote speakers: Mateusz Klonowski (NCU, Toruń), Jacek Malinowski (IFiS PAN, Warsaw), Satoru Niki (RUB, Bochum), Grigory Olkhovikov (RUB, Bochum) and Francesco Paoli (UC, Cagliari).  This year, the WCL follows the NCL conference: we encourage you to participate in both events.

    Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following: - Philosophical and historical considerations of the notion of connexivity; - Examinations of various systems of connexive logics; - Relations between connexive logics and other non-classical logics, such as relevance logics, conditional logics or modal logics; - Empirical studies on the scope of connexivity.

    Submissions of extended abstracts (up to five pages) should be sent as a pdf file to the organizers.

    For more information, see https://easychair.org/cfp/NCL24 or contact Tomasz Jarmużek at , Hitoshi Omori at , or Heinrich Wansing at .
  • 18 - 21 June 2024, Cracow Logic Conference (CLoCk) 69 and Trends in Logic 24, Kraków, Poland

    Date: 18 - 21 June 2024
    Location: Kraków, Poland
    Deadline: Tuesday 18 June 2024

    The Department of Logic of the Jagiellonian University and Studia Logica organise a common event: Cracow Logic Conference 69 and Trends in Logic 24 -- 90 Years of Studia Logica with a historical lecture on Jan Łukasiewicz 1934 Studia Logica volume.

    Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic), and was for the most part limited to the Polish logic community.  Since 2023 CLoCk went truly international and welcomes contributions on all areas of logic, as long as they are mathematical in the sense once conveyed by the name symbolic logic.

    Trends in Logic is the conference series of the journal Studia Logica aimed at worldwide promotion of logic and Studia Logica. The series began in 2003, and have been held annually at different logic centres. The series has been instrumental in increasing the visibility of Studia Logica and elevating its international standing.

    We call for papers on all areas of mathematical logic; we will also accept a limited number of non-mathematical contributions on history and/or philosophy of logic. Paper submission is via EasyChair.All papers must be original and not simultaneously submitted to another journal or conference. The list of our preferred topics include Algebraic logic, Model theory, Proof theory, Philosophical logic, History of logic.

    For more information, see https://iphils.uj.edu.pl/~trends-in-logic.
  • 2 - 4 November 2024, The 22nd International Workshop on Nonmonotonic Reasoning (NMR24), Hanoi, Vietnam

    Date: 2 - 4 November 2024
    Location: Hanoi, Vietnam
    Deadline: Sunday 7 July 2024

    NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

    NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

    There are two types of submissions:
    - Full papers: should be at most 10 pages including references, figures and appendices, if any.
    - Extended Abstracts:should be at most 3 pages (excluding references and acknowledgements). The abstracts should introduce work that has recently been published or is under review, or ongoing research at an advanced stage.

    Papers already published, accepted for publication or under review at other conferences are also welcome. Submitting already published material may require a permission by the copyright holder.

    For more information, see http://nmr.krportal.org/2024/ or contact Nina Gierasimczuk at .
  • 15-19 July 2024 & 8-9 July 2024, 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede (Netherlands) & online

    Date: 15-19 July 2024 & 08-09 July 2024
    Location: Enschede (Netherlands) & online
    Deadline: Monday 8 July 2024

    Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

    FOIS 2024 will be held both online (8-9 July 2024) and in Enschede, the Netherlands (15-19 July 2024), by the Semantics, Cybersecurity & Services group of the University of Twente. The conference includes the following: Contributed Lectures - Workshops - Joint Ontology Workshops (JOWO) - Tutorials - Ontology showcase - Demonstrations - Project exhibitions.

    The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics:-  Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspects of information systems. - Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.

    FIOS 2024 also currently calls for Workshop Proposals (submission deadline: 14 december) and

    Journal-first Paper submission (submission deadline: 17 April 2024).

  • 17 September 2024, The Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2024), Hagen, Germany

    Date: Tuesday 17 September 2024
    Location: Hagen, Germany
    Deadline: Monday 8 July 2024

    Computational models of argumentation are approaches that deal with the representation and interaction of arguments and counterarguments. These models can be applied in all areas that benefit from automatic decision-support such as medicine, accounting, chemistry, and law. Many of these models were inspired by works within the fields of non-monotonic reasoning and logic programming and therefore share the sometimes considerable computational complexity of these approaches.

    Algorithmic aspects of computational models of argumentation are an important area, as witnessed by the popularity of the International Competition on Computational Models of Argumentation (ICCMA). This workshop aims at complementing the competition by providing a forum to present and discuss both systems and algorithms dealing with all aspects of computational argumentation, in particular those approaches addressing the tracks of the competition.

    This workshop welcomes technical contributions in all areas dealing with algorithms and systems of formal argument. The workshop specifically welcomes preliminary works on the above topics. In particular, no systematic evaluations are needed for inclusion in the program. Finally, we welcome position papers that propose new tracks for the competition or discuss general matters related to it.

  • (New) 26 - 28 November 2024, 2024 Australasian Association for Logic Conference (AAL 2024), Sydney, Australia / online (Zoom)

    Date: 26 - 28 November 2024
    Location: Sydney, Australia / online (Zoom)
    Deadline: Friday 20 September 2024

    The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

    There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

    We invite submission of abstracts in any area of logic, broadly construed. To submit, send an anonymized short abstract (at most 2 pages) and title by email with the subject “AAL 2024”.  The soft deadline for submissions is  5 September. Submissions will be accepted for consideration until the hard deadline of Saturday, 20 September. Decisions will be sent out in late September. We would like to encourage submissions from members of groups that are underrepresented in logic.

Upcoming conferences

  • 22 - 24 May 2024, Symposium "Engaging Rationality Today", Lille, France

    Date: 22 - 24 May 2024
    Location: Lille, France

    The international symposium "Engaging Rationality Today" will bring together specialists from multiple disciplines (philosophy, logic, psychology, anthropology, linguistics, etc.) to reflect collectively on contemporary meanings and uses of rationality. The current Western cultural context, which is marked by numerous challenges (war, fake news, A.I., populism) and critiques (post-colonialism, feminism, etc.), requires a reevalutation of the classic notion of rationality. They show the limits of the classical notion, grounded on concepts like objectivity, universality, argumentation, and causal relationships. But accepting every new conception without criteria seems to give way to relativism, thus leading to a dilemma. The symposium "Engaging Rationality Today" aims at tackling this dilemma by creating a space of dialogue between various conceptions of rationality. To do so, it is not only a question of examing what rationality is, but also, and above all, a question of studying the limits, blindspots, and problematic uses of the proposed definitions of rationality. The aim of the present project is to provide a comprehensive view of how rationality is currently understood, from various perspectives (philosophy, psychology, linguistics, etc.). We hope that by examining rationality’s multifaceted aspects, including what falls outside of the proposed definitions, contributors will be encouraged to reevalute their own defninitions through dialogue with others.

  • 24 - 25 May 2024, 2nd Logic and Philosophy: Historical and Contemporary Issues Conference, Vilnius, Lithuania

    Date: 24 - 25 May 2024
    Location: Vilnius, Lithuania

    Logic and Philosophy is a biennial conference organised and hosted by Vilnius University. The conference is intended as a venue for philosophical discussions on logic broadly construed. We invite submissions that address philosophy of logic, philosophical issues related to classical or non-classical logics, the history of logic, and philosophical applications of logic.

    Invited speakers: Timothy Williamson (Oxford / Yale), Graham Priest (CUNY), Sara L. Uckelman (Durham), Iryna Khomenko (Kyiv). A special session, with contributions by Timothy Williamson and Graham Priest, dedicated to the nature of logic and validity is planned as part of the programme. Related talks are particularly welcome.

  • _2023-12-02_103938.png

    25 - 26 May 2024, International Workshop on Logic and Philosophy: “Agency and Intentionality: Collective and Individual”

    Date & Time: 25 - 26 May 2024, 10:00-17:00
    Location: Tsinghua University, Beijing
    Target audience: Scholars and students interested in the interaction of logic and philosophy
    Costs: free

    The theme of the workshop is "Agency and intentionality: collective and individual". Collective intentionality and collective agency, and closely related topics such as common knowledge, team reasoning, public announcement and other forms of group communication, are among the key issues that are being studied right now in a variety of frameworks.

    Some of these frameworks are parsimonious extensions of frameworks for individual agency and individual intentionality, whereas others employ a more extended conceptual and ontological apparatus. And some of the analyses are primarily analytical and conceptual, while others are logical and formal. The main goal of the workshop is to bring these together to exchange results and discuss different views.

    Invited speakers: Branden Fitelson (Northeastern University), Marc Slors (Radboud University Nijmegen), Sonja Smets (University of Amsterdam) and Deborah Tollefsen (The University of Memphis).

    For more information, see http://tsinghualogic.net/JRC/3rdilpw/ or contact Yiyan Wang at .
  • 26 - 31 May 2024, 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25), Balaclava (Mauritius)

    Date: 26 - 31 May 2024
    Location: Balaclava (Mauritius)

    The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

    For more information, see https://lpar-25.info.
  • 3 - 7 June 2024, 10th Indian School on Logic and its Applications

    Date: 3 - 7 June 2024
    Location: Goa, India
    Target audience: Undergraduate students, post graduate students and research scholars
    Costs: INR 1000

    The Indian School on Logic and its Applications will take place at IIT GOA from 3rd to 7th June, 2024. ISLA is a biennial event of the Association for Logic in India (ALI). The summer school's short classes will focus on Automata & Semigroups and on Infinite Game Theory. The registration is open and will be available until May 20, 2024. The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

    The invited speakers are:
    - Infinite Games:  Dr. Juan P. Aguilera (Vienna University of Technology)
    - Automata & Semigroups: Dr. K. Narayan Kumar (Chennai Mathematical Institute),  Dr. Kamal Lodaya (The Institute of Mathematical Sciences) and Dr. Amaldev Manuel (Indian Institute Of Technology, Goa)

    For more information, see https://iitgoa.ac.in/ISLA24/ or contact Amaldev Manuel at .
  • 3 - 21 June 2024, CMU Summer School in Logic and Formal Epistemology, Pittsburgh, USA

    Date: 3 - 21 June 2024
    Location: Pittsburgh, USA

    The Department of Philosophy at Carnegie Mellon University hosts a summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. During this three-week, intensive program, we introduce a small group of approximately 25 promising students to cross-disciplinary fields of research at an early stage in their career, forging lasting links between these disciplines along with friendships and professional contacts. 

    Programme:
    June 3-7: Francesca Zaffora Blando & Krzysztof Mierzewski "Chance and Randomness"
    June 10-14: Jonas Frey & Reid Barton "Categorical Semantics and Synthetic Topology"
    June 17-21: Clark Glymour & Kun Zhang "The Logic of Discovery"

  • 4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/US

    Date: 4 - 6 June 2024
    Location: Moffett Field, California/US

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

    This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendee.

  • (New) 10 - 12 June 2024, Workshop "Using Artificial Neural Networks for Studying Human Language Learning and Processing"

    Date: 10 - 12 June 2024
    Location: ILLC, Amsterdam (the Netherlands)

    Artificial Neural Networks (ANNs) have proven to be powerful learning devices for language-related tasks, as demonstrated by recent progress in artificial intelligence driven by large, Transformer-based language models. But how can ANNs inform us about human language learning and processing? Our three-day workshop brings together researchers working on cognitively motivated and linguistic questions in studying the language processing mechanisms and learning trajectories of ANNs.

    For the first two days of the programme, we hope to stimulate discussion on the workshop theme through contributed presentations from our workshop participants and keynote speakers. The final day is focussed on active interactions and collaboration between participants, through small-scale tutorials and joint group work on a collaborative task.

    For more information, see https://ann-humlang.github.io/workshop/#programme or contact Tamar Johnson at .
  • 10 - 13 June 2024, Nordic Logic Summer School, Reykjavik, Iceland

    Date & Time: 10 - 13 June 2024, 09:00-18:00
    Title: Fifth Nordic Logic Summer School (NLS 2024)
    Location: Reykjavik, Iceland
    Target audience: advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject
    Costs: 200 euros for early student registration

    The Fifth Nordic Logic Summer School (NLS 2024) takes place in Reykjavik in June 2024. NLS is organized by the Scandinavian Logic Society and its intended audience is advanced master students, PhD-students, postdocs, and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year we have an exciting lineup of five lecturers on a wide spectrum of topics: Jandson Ribeiro (Philosophical logic), Sandra Kiefer (Learning and logic), Miika Hannula (Model theory), Greg Restall (Proof theory), Rineke Verbrugge (Logic, CS and AI).

    For more information, see https://scool24.github.io/NLS/ or contact Nina Gierasimczuk at .
  • 11 - 14 June 2024, Workshop "Ramsey Theory in Logic, Combinatorics and Complexity" (RaTLoCC 2024), Pisa, Italy

    Date: 11 - 14 June 2024
    Location: Pisa, Italy

    The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals.

    The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

  • 13 - 14 June 2024, 23rd Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, London, Canada

    Date: 13 - 14 June 2024
    Location: London, Canada

    The graduate students of the philosophy department at Western University (London, Ontario) are excited to announce our 23rd annual Graduate Student Conference, taking place in person on June 13th and June 14th, 2024. The aim of this conference is to promote cooperation and critical engagement amongst graduate students doing research in the philosophies of physics, mathematics, and logic. We are pleased to announce that Philosopher, Dr. Marius Stan (Boston College) will be our keynote speaker.

    For more information, see https://www.logicmathphysics.uwo.ca/?page_id=593 or contact the LMP Committee at .
  • llrclogo.JPG

    13 June 2024, LLRC conference: Critical, ethical, and practical use of AI in the language classroom, Leiden, the Netherlands

    Date & Time: Thursday 13 June 2024, 09:00-17:00
    Location: Cleveringaplaats 1, Leiden, the Netherlands
    Target audience: language teachers, language learner researchers
    Costs: 20

    On June 13th 2024, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Critical, ethical, and practical use of AI in the language classroom. The keynote will be held by Esther van der Stappen (lector Digital Education, Avans University of Applied Sciences). In addition to the keynote, the day will host a combination of good-practice presentations, two workshops, and research presentations on the topic. Please find the preliminary program and registration form on the website. Note thatearly bird registration ends on May 26th.

  • 14 - 16 June 2024, Twelfth Scandinavian Logic Symposium (SLSS 2024)

    Date & Time: 14 - 16 June 2024, 08:00-19:00
    Location: Reykjavik, Iceland
    Costs: Early registration: 350 euros (student) of 450 euros (non-student)

    The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
    Invited Speakers: Fausto Barbero (University of Helsinki), Sara Negri (University of Genoa), Aybüke Özgün (ILLC, University of Amsterdam).

    For more information, see https://scool24.github.io/SLSS/ or contact Antonis Achilleos at .
  • 17 - 21 June 2024, 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024), Pohang, Republic of Korea

    Date: 17 - 21 June 2024
    Location: Pohang, Republic of Korea

    The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024) will be held at the Pohang University of Science and Technology, Pohang, Republic of Korea on June 17-21, 2024 and will continue the tradition of focusing on current important theoretical and experimental results and their critical evaluation.

    For more information, see https://sites.google.com/view/ucnc-2024/ or contact .
  • 18 - 21 June 2024, 37th International Workshop on Description Logics (DL 2024), Bergen, Norway

    Date: 18 - 21 June 2024
    Location: Bergen, Norway

    The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway, from June 18th to June 21st.

    For more information, see https://dl2024.w.uib.no/ or contact .
  • 19 - 20 June 2024, C-FORS Graduate Conference: Constructional Approaches in the Foundations of Mathematics and Philosophy, Oslo, Norway

    Date: 19 - 20 June 2024
    Location: Oslo, Norway

    The advanced ERC project "C-FORS: Construction in the Formal Sciences" led by Professor Øystein Linnebo (University of Oslo) is glad to announce its first graduate conference. The topic is constructional approaches to foundations of mathematics and philosophy. The aim of the conference is to bring together graduate students working in the Philosophy of Mathematics and Logic, in Metaphysics and in Ontology and that are interested in (or critical of) constructional (i.e., iterative or hierarchical) accounts in these disciplines.

    Beside the current members of C-FORS, the discussion shall be guided by the two invited keynotes, Joel David Hamkins (Notre Dame) and Jon Erling Litland (UT Austin), who are both leading experts on topics relevant to the main theme of the conference. In addition, the conference involves the assignment of a commentator to lead the discussion on the contributed talk by each participant. Comments will be provided by three scholars that are also experts in their fields, namely Deborah Kant (Hamburg), Sam Roberts (Konstanz) and Chris Scambler (Oxford).

  • 24 - 26 June 2024, Masterclass in the Philosophy of Mathematical Practices with Catarina Dutilh Novaes, Brussels, Belgium

    Date: 24 - 26 June 2024
    Location: Brussels, Belgium

    The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 6th Masterclass in the Philosophy of Mathematical Practices on June 24–26, 2024  with Catarina Dutilh Novaes (VU Amsterdam). We intend the masterclass to be a fully interactive in person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. 

  • LOGO_Large.jpeg

    24 - 28 June 2024, Logic Colloquium 2024 (LC 2024), Gothenburg, Sweden

    Date: 24 - 28 June 2024
    Location: Gothenburg, Sweden

    The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.

    The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.

    For more information, see https://lc2024.se or contact LC 2024 Organisers at .
  • 24 June - 5 July 2024, Vienna Inner Model Theory 2024, Vienna, Austria

    Date: 24 June - 5 July 2024
    Location: Vienna, Austria

    There will be two consecutive Inner Model Theory Events in Vienna this summer.

    1) June 24-28, 2024 at the Erwin Schrödinger Institute (ESI), Vienna
    This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop. Please let us know as soon as possible if you are interested in attending this meeting as space is limited.

    2) July 1-5, 2024 at TU Wien
    In this second week there will be three tutorials focussing on recent developments in inner model theory by Gabriel Goldberg, Nam Trang, and Farmer Schlutzenberg. The talks will take place in the mornings, followed by a light lunch buffet and ample of time for questions and discussions in smaller groups in the afternoons.

    For more information, see https://vimt2024.conf.tuwien.ac.at/ or contact Sandra Müller at .
  • taclLogo.png

    25 June - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain

    Date: 25 June - 5 July 2024
    Location: Barcelona, Spain

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

    Programme:
    School: June 25-28, 2024 (Barcelona)
    Conference: July 1-5, 2024 (Barcelona)

    For more information, see https://iiia.csic.es/tacl2024/ or contact Sara Ugolini at .
  • 26 - 28 June 2024, Fifteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT15), Bayreuth, Germany

    Date: 26 - 28 June 2024
    Location: Bayreuth, Germany

    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.

    Invited Speakers: Julia Staffel (University of Colorado Boulder), Thomas Bolander (Technical University of Denmark) and Willemien Kets (Utrecht University).

  • 26 - 28 June 2024, DCAI Special Session on Computational Linguistics/ Information/ Reasoning/ and AI (CLIRAI), Salamanca, Spain

    Date: 26 - 28 June 2024
    Location: Salamanca, Spain

    Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

    The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of language, thought, reasoning, and other related processes.

    For more information, see https://www.dcai-conference.net/tracks/special-sessions/clirai or contact Roussanka Loukanova at .
  • 1 - 3 July 2024, International Logic Olympiad 2024, Stanford, (USA)

    Date: 1 - 3 July 2024
    Location: Stanford, (USA)

    Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University.

    For more information, see https://www.logicolympiad.org/.
  • 1 July 2024, 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (AQRNL 2024), Nancy, France

    Date: Monday 1 July 2024
    Location: Nancy, France

    Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

    ARQNL 2024 is associated with IJCAR 2024, the International Joint Conference on Automated Reasoning.

    For more information, see http://iltp.de/ARQNL-2024/.
  • 1 - 5 July 2024, 4th Tsinghua Logic Summer School, Beijing, China

    Date: 1 - 5 July 2024
    Location: Beijing, China
    The Tsinghua University University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.

    Courses:
    * Team semantics: Linguistic and Philosophical Applications by Maria Aloni (UvA)
    * The Modal μ-calculus by Yde Venema (UvA)

    For more information, see http://tsinghualogic.net/JRC/toss/toss2024cfp/ or contact Chenwei Shi at .
  • 1 - 5 July 2024, 14th Panhellenic Logic Symposium (PLS14), Thessaloniki, Greece

    Date: 1 - 5 July 2024
    Location: Thessaloniki, Greece

    The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

  • 1 - 6 July 2024, The 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France

    Date: 1 - 6 July 2024
    Location: Nancy, France

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger conference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods Topics).

    A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. 

    For more information, see https://ijcar2024.loria.fr/.
  • 2 - 5 July 2024, Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024), Leeds, UK

    Date: 2 - 5 July 2024
    Location: Leeds, UK

    We are pleased to announce that Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024) will take place 02-05 July 2024 at the University of Leeds.

    Student members of the ASL may apply for modest travel awards to attend (deadline 31 March 2024).

    For more information, see https://www.computability.org/lcd2024/ or contact Paul Shafer at .
  • 7 July 2024, 5th workshop on Learning & Automata (LearnAut 2024)

    Date & Time: Sunday 7 July 2024, 23:59
    Location: Talinn, Estonia

    Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.

    The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consists of a number of invited talks, other talks from researchers who submitted their work to the workshop, and discussions. An important amount of time will be kept for interactions between participants.

    For more information, see https://learnaut24.github.io/ or contact Matteo Sammartino at .
  • 8 July 2024, Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24), Tallinn, Estonia

    Date: Monday 8 July 2024
    Location: Tallinn, Estonia

    Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

  • 8 - 12 July 2024, 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn, Estonia

    Date: 8 - 12 July 2024
    Location: Tallinn, Estonia

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

    ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024. The conference is planned as a physical, in-person event.  During the conference, the following awards will be delivered: the EATCS award,  the Gödel prize,  the Presburger award, the EATCS distinguished dissertation award, the best papers for each of the conference tracks, and the best student papers for each of the conference tracks.

    For more information, see https://compose.ioc.ee/icalp2024/.
  • 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands

    Date: 8 - 12 July 2024
    Location: Amsterdam, The Netherlands

    CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.

  • Greifswald_1652_Merian.jpg

    15 - 17 July 2024, Formal Ethics 2024 (FE2024), Greifswald, Germany

    Date: 15 - 17 July 2024
    Location: Greifswald, Germany

    “Formal Ethics” is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts and theories in moral and political philosophy. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on freedom and responsibility, welfare economics and population ethics, deontic logic and natural language semantics, value theory, and the evolution of norms and conventions.

    Invited speakers: Justin Bruner (University at Buffalo), Fabrizio Cariani (University of Maryland) and Anne Schwenkenbecher (Murdoch University).

    For more information, see https://www.wiko-greifswald.de/formal-ethics-2024/ or contact Allard Tamminga at .
  • 15 - 26 July 2024, The 2nd European Summer School in Artificial Intelligence (ESSAI 2024), Athens, Greece

    Date: 15 - 26 July 2024
    Location: Athens, Greece

    ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic.

    For more information, see https://essai2024.di.uoa.gr/.
  • 21 July - 4 August 2024, Course "Logic as a Tool for Modelling", Amsterdam, The Netherlands

    Date: 21 July - 4 August 2024
    Location: Amsterdam, The Netherlands

    The course "Logic as a tool for modelling" is part of the VU Amsterdam's summer school. The aim of the course is to introduce participants to the study of various types of logic as a versatile tool for elegantly modelling diverse phenomena. The overarching theme in the handling of applications is the notion of categories and categorisation. The course starts by discussing classical logic, through both semantics and syntax, as well as applications in the social sciences, addressing agency, and information flow. Then it focuses on various theories of categorization from Aristotle's classical perspective to modern prototype and exemplar theory and introduces logical formalisms that encompass these various views. The last part delves into formal linguistics, where words are categorized based on their role in sentence formation.

  • 22 - 24 July 2024, MCMP Summer School for Widening Participation in Mathematical Philosophy, Munich, Germany

    Date: 22 - 24 July 2024
    Location: Munich, Germany

    Following a series of eight successful MCMP-organized summer schools on mathematical philosophy for female students, the Munich Center for Mathematical Philosophy (MCMP) will this year broaden its offering, with a summer school for women and members of other groups that are under-represented in formal philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds.

    The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in formal philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy. This edition of the summer school will feature lectures by: Jingyi Wu (LSE): “Models of Diversity and Injustice” Sara Uckelman (Durham University): “What History of Logic Can Teach Us About the Future of Logic”. In addition, there will be an evening lecture by Barbara Vetter (FU Berlin): “First-generation philosophers: why they matter, and how to support them”.

  • 29 July - 9 August 2024, ESSLLI 2024 Student Session, Leuven, Belgium

    Date: 29 July - 9 August 2024
    Location: 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. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience.

    For more information, see https://2024.esslli.eu/.
  • Prague.jpg

    19 - 23 August 2024, 15th International Conference on Advances in Modal Logic (AiML 2024), Prague, Czech Republic

    Date: 19 - 23 August 2024
    Location: Prague, Czech Republic

    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. AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

    For more information, see https://www.cs.cas.cz/aiml2024/ or contact Agata Ciabattoni at , or David Gabelaia at .
  • 25 August - 1 September 2024, 14th International School on Rewriting (ISR 2024), Obergurgl, Austria

    Date: 25 August - 1 September 2024
    Location: Obergurgl, Austria

    Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. The 14th International School on Rewriting takes place in Obergurgl, Austria.  The School is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.

    It offers three parallel tracks, taught by well-known experts:
    - Track A: comprehensive introduction to first-order term rewriting, lecturer: Aart Middeldorp
    - Track B: comprehensive introduction to type theory and lambda calculus, lecturers: Herman Geuvers and Niels van der Weide
    - Track C: advanced courses on - Interoperability of Proof Systems using Lambdapi lecturer: Frederic Blanqui - Randomized Programming and Rewriting lecturer: Ugo Dal Lago - Tools in Rewriting lecturer: Nao Hirokawa - Termination and Complexity in Higher-Order Term Rewriting lecturer: Cynthia Kop - SAT/SMT Solving and Applications in Rewriting lecturer: Sarah Winkler.

    For more information, see http://cl-informatik.uibk.ac.at/isr24/.
  • 26 - 28 August 2024, Seventh Philosophy of Language and Mind Network Conference (PLM7), Prague

    Date: 26 - 28 August 2024
    Location: Prague
    Target audience: Philosophers of language and mind

    PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field.

    For more information, see https://plm7.auletris.com/ or contact .
  • 2 - 6 September 2024, Logic for the AI Spring 2 Summer School, Como, Italy

    Date: 2 - 6 September 2024
    Location: Como, Italy
    Costs: 250 euro

    In its second edition, Logic for the AI Spring, continues bringing together logicians and AI scientists working around and within the currently blossoming new AI Spring. The program is designed to equip participants with a comprehensive understanding of cutting-edge logical methods for AI, neuro-symbolic AI, and Human-AI interaction. It also includes topics related to the broader culture of AI, vital for addressing urgent technological, scientific, and societal challenges in the field The School is designed to provide them with a background on the cutting-edge on logical methods for AI, neuro-symbolic AI , Human-AI interaction, in addition to the larger culture of AI, which is necessary to tackle the urgent technological, scientific and societal challenges surrounding the field.

    The School will feature 5 tutorials:
     - Neurosymbolic AI (Vaishak Belle)
     - Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko)
     - History and Culture of Al (María Vanina Martinez)
     - Fairness: Perspectives from Computational Social Choice (Arianna Novaro)
     - Logic Tensor Networks (Luciano Serafini)
    Additionally, there will be a dedicated Poster Session to give selection of participants an opportunity to present their own work.
    Finally, this edition of Logic for the New AI Spring will host a workshop on New perspectives on formal representations of cognitive attitudes organised by Ekaterina Kubyshkina and Costanza Larese (LUCI Lab, Milano).

    For more information, see https://lais.lakecomoschool.org/ or contact Hykel Hosni at .
  • 9 - 10 September 2024, 6th International Conference on Computational Linguistics in Bulgaria (CLIB 2024), Sofia, Bulgaria

    Date: 9 - 10 September 2024
    Location: Sofia, Bulgaria

    Computational Linguistics in Bulgaria (CLIB) is an international conference that aims at exploring novel approaches and methods in computational linguistics and natural language processing (NLP), especially with a view to their application to small and less-resourced languages such as Bulgarian and the bridging of the discrepancies between big and small languages with respect to language technologies.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 9 - 10 September 2024, 20th International Conference on Formal Aspects of Component Software (FACS 2024), Milan, Italy

    Date: 9 - 10 September 2024
    Location: Milan, Italy

    FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions.

    Invited speakers: Ana Cavalcanti (University of York, UK), David Parker (University of Oxford, UK) and Geguang Pu (ECNU, China). FACS 2024 is co-located with the 26th international symposium on formal methods (FM 2024).

    For more information, see https://facs-conference.github.io/2024/.
  • 9 - 11 September 2024, 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), Milan, Italy

    Date: 9 - 11 September 2024
    Location: Milan, Italy

    The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

    FMICS 2024 is co-located with FM 2024 and will be held at Politecnico di Milano in Milan, Italy.

    For more information, see https://fmics.inria.fr/2024 or contact Anne Haxthausen at , or Wendelin Serwe: at .
  • 9 - 13 September 2024, 2nd European Summer School on the Philosophy of Mathematics, Vienna, Austria

    Date: 9 - 13 September 2024
    Location: Vienna, Austria

    The second European Summer School on the Philosophy of Mathematics aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field. Topics will be selected reflecting participants’ interests and may include:
    * Mathematical knowledge and mathematical understanding
    * Justification and representation in mathematics
    * Informal proofs and mathematical rigor
    * The role of intuition and diagrams in mathematical reasoning
    * Experimental mathematics and mathematical practice
    * Mathematical ontology

    The School will include tutorials by Jessica Carter (Aarhus University), Yacin Hamami (ETH Zurich) and Leon Horsten (University of Konstanz), as well as a training unit on "Quantitative and qualitative empirical methods for philosophers of mathematics" by Matthew Inglis and Deborah Kant.

  • 9 - 14 September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia

    Date: 9 - 14 September 2024
    Location: Tbilisi, Georgia

    The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

    For more information, see https://www.viam.science.tsu.ge/itp2024/ or contact .
  • 15 - 21 September 2024, Autumn school "Proof and Computation", Fischbachau, Germany

    Date: 15 - 21 September 2024
    Location: Fischbachau, Germany
    Target audience: Graduate or PhD students and young postdoctoral researchers

    This year's international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

    Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

    For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc24.php or contact Chuangjie Xu at .
  • 18 - 20 September 2024, 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany

    Date: 18 - 20 September 2024
    Location: Hagen, Germany

    The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted at the FernUniversität in Hagen, Germany. COMMA 2024 will be preceded by the sixth edition of the Summer School on Argumentation (SSA 2024). In addition to the main conference track, COMMA 2024 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

    We are happy to announce that the following workshops will take place prior to the COMMA 2024 conference:
     - 24th International Workshop on Computational Models of Natural Argument (CMNA 2024)
     - 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI 2024)
     - 5th International Workshop on Systems and Algorithms for Formal (SAFA 2024)

  • 27 - 28 September 2024, Workshop on Truth, Definability and Quantification into Sentence Position, Vienna (Austria)

    Date: 27 - 28 September 2024
    Location: Vienna (Austria)

    Can truth be defined? Frege argued that it couldn't. Ramsey argued that defining it would be easy if only we had an analysis of judgement. Today Horwich claims that truth cannot be defined explicitly because doing so would require quantification into sentence position and such quantification is not coherent. Instead he proposes a “minimal theory” of truth, which comprises all the unproblematic instances of the equivalence schema. Künne, by contrast, argues that quantification into sentence position is coherent and may actually be part of some natural languages. Künne uses such quantification to define truth explicitly: ∀x (x is true iff ∃p ((x is the proposition that p) & p)). Or in English: a representation (belief, assertion etc) is true just if things are as it represents them as being.

    Is truth definable? Is propositional quantification coherent? Do natural languages involve propositional quantification, and in what sense? What do the answers to these questions mean for philosophical attempts to define or explain truth? Is truth redundant if explicitly definable? Not redundant if not explicitly definable? We are interested in these and related questions (broadly conceived).

    Confirmed speakers are: Peter Fritz (Australian Catholic University), Paul Horwich (New York University), Wolfgang Künne (University of Hamburg), Poppy Mankowitz (University of Bristol)  and Cheryl Misak (University of Toronto).

  • 9 - 11 October 2024, The Making of the Humanities XI, Lund, Sweden

    Date: 9 - 11 October 2024
    Location: Lund, Sweden

    The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

    This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

  • 19 - 24 October 2024, 27th European Conference on Artificial Intelligence (ECAI-2024), Santiago de Compostela, Spain

    Date: 19 - 24 October 2024
    Location: Santiago de Compostela, Spain

    The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

    For more information, see https://www.ecai2024.eu/.