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).

The event “Toposes in Mondovì” (3-11 September 2024) represents the fourth edition of the main international conference on topos theory. The format of the event is similar to that of the other three editions: it will consist of a four-day school (3-6 September 2024) offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference (9-11 September 2024) featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science.

The main aim of this conference series is to celebrate the unifying power and interdisciplinary applications of toposes and encourage further developments in this spirit, by promoting exchanges amongst researchers in different branches of mathematics who use toposes in their work and by introducing a new generation of scholars to the subject.

The "Roots and New Trends in Logicism" workshop brings together state of the art research on historical accounts and contemporary contributions to Logicism. The workshop aims to foster discussion on the interplay between mathematics, logic, metaphysics and epistemology, and stimulate future work on the field.

The programme consists of 6 talks by invited speakers and a 4-6 contributed talks. Confirmed invited speakers: Ludovica Conti (IUSS Pavia), Fernando Ferreira (University of Lisbon), Salvatore Florio (University of Oslo), Sébastien Gandon (Clermont Auvergne University), Gregory Landini (University of Iowa) , Hannes Leitgeb (LMU Munich - MCMP).

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR'24 will be co-located with the 47th German Conference on Artificial Intelligence (KI 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.

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.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

The annual meeting of the British Logic Colloquium will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.

The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics.

Invited speakers: Michael Rathjen (University of Leeds), more TBC...

The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

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).

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

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.

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)

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.

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.

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

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.

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. 

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).

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.

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.

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.

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.

“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).

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.

This workshop is part of a research project on the topic of “Logic and AI”. It will bring together international experts to explore the promising interaction of logic and modern artificial intelligence (AI). While AI struggles with explainability, interpretability, and verifiability, logic excels at this. So can logic help AI? And if so, how?

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.

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”.

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.

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).

Since 1994, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

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.

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.

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).

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. 

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.

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.

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.

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.

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).

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.

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.

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.

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).

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.

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.

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)

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.

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).

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. 

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.

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The Amsterdam Colloquia are organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

In addition to the general programme, the 2024 Amsterdam Colloquium will feature two workshops. The Colloquium will also include a poster session, and host one evening lecture by Prof. Angelika Kratzer jointly organized with the E.W. Beth Foundation.