Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.

In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/).

Procedural and computational modeling frameworks have been applied successfully to various aspects of semantic and pragmatic processes, yielding not only a good fit to empirical data but also insights of theoretical relevance. On the one hand, computational (e.g., Bayesian or information theoretic) models rationalize speaker behavior and explain how a listener can use given information efficiently to infer the intended meaning from an utterance. However, these models often leave the stepwise processing of linguistic information unspecified. On the other hand, procedural (e.g., automata or ACT-R) models explain step-by-step cognitive processes behind meaning-related computations, e.g., the process of building sentence representations. However, they often lack the means to combine different information types in an interactive fashion. The goal of this workshop is to bring together researchers applying these two modeling methodologies to discuss their strengths and weaknesses and work towards an integrated approach.

On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.

On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.

The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.

The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.

The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.

By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.

The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions on topics including, but not limited to,

Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic Logic

On Monday 22 May the Institute for Logic, Language, and Computation will host a workshop on Causation and Modality in Logic and Language. The workshop will be hybrid. Everyone who is interested in causation in philosophy, linguistics and/or logic is very welcome to attend.

The speakers are Sander Beckers (Amsterdam), Ivano Ciardelli (Padua), Bridget Copley (Paris 8), Angelica Hill (UMass Amherst), Thomas Icard (Stanford), Mingya Liu (Humboldt), Dean McHugh (Amsterdam), and Prerna Nadathur (Ohio).

The workshop is followed by the PhD Defense of Dean McHugh on Tuesday 23 May.

PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering 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.