This event is devoted to the relation between dialogue and rationality. The aim of the event is to bring together philosophers, artists, historians, logicians, social scientists and mathematicians to discuss this theme. There will be keynote lectures by Catarina Dutilh Novaes, Reza Negarestani, Ray Brassier and Mahault Albarracin.

 

[color=#222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400]The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI [1]). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous ICLA 2023 can be found at [2], and those of the earlier editions of the conference at the ALI website.[/color][color=#222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400][1] [/color]https://logicindia.org/[color=#222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400][2] [/color]https://icla2023.iiti.ac.in/[color=#222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400]The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata during February 3 -- 5, 2025.[/color]

The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India.  The Asian Workshop on Philosophical Logic (AWPL) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories.  AWPL 2025 will happen just after ICLA 2025, which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. The Association for Logic in India (ALI) will be a co-organizer for this workshop.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

CPP 2025 will be held in January 2025 and will be co-located with POPL 2025 in Denver, Colorado, United States. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.

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

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.

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 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 Conference — devoted to non-classical logics — was initially held in Łódź in September 2008 and 2009. Later on, it was organized alternately in Toruń and Łódź. The conference serves as a forum to exchange novel results effectively and to survey works in non-classical logics, broadly construed, and their applications.

In this year's, eleventh, edition of the Conference we particularly welcome submissions concerned with term-forming operators and formalisation of complex names, like definite descriptions, both with regard to their philosophical background and formal properties, as well as applications in mathematics and computer science (e.g., in databases or ontologies).

This year's edition of the Conference will be co-located with the 9th Workshop on Connexive Logics which will be held on 8th and 9th September 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.

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 6th Proof Society International School and Workshop will be organised by the University of Birmingham. The event takes place under the auspices of The Proof Society, a recently formed society to support the notion of proof in its broadest sense. The Proof Society has organised an annual school and workshop since 2018 (except 2020 due to the COVID19 pandemic).

The aim of the School is to cover basic and advanced topics in proof theory and related subjects. The School will be aimed at Master's and PhD students interested in proof theory, as well as more senior researchers from related areas in computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks. PS24 will be colocated with the British Logic Colloquium meeting of 2024, taking place 5-7 September.

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

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

The 6th Summer School on Argumentation: Connecting Argumentation (SSA 2024) will take place from 12th to 15th of September 2024 at FernUniversität in Hagen (Hagen, Germany). The school is co-located with the 10th International Conference on Computational Models of Argument (COMMA 2024).

The main aim of SSA 2024 is to provide attendees with a solid foundation in the basics of formal argumentation as well as insights into applying formal argumentation and connections with other approaches in AI. The school welcomes both students and researchers in different fields not limited to argumentation, including e.g. non-monotonic reasoning, knowledge representation, logic programming, linguistics, natural language processing, philosophy, and psychology, just to mention a few of them. The program will include courses, a doctoral consortium and a student session organized by OHAAI.

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.

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.

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.

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

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

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

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

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.

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

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.

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.