The 19th AISC Conference will focus on the relationship between values and cognition, a topic that defines a heterogenous set of problems that cuts across the various souls of cognitive science, in a truly interdisciplinary perspective. What role do values play within cognitive science research? What ethical and social repercussions do the most recent discoveries in AI, neuroscience, cognitive and comparative psychology have? What cognitive processes are involved in aesthetic and moral judgements? How is evaluative language processed? To properly address such questions, a variety of viewpoints, coming from AI, linguistics, neuroscience, philosophy, and psychology are needed. We welcome presentations on the state of the art and on ongoing research, as well as presentations on perspectives that encourage interdisciplinary dialogue among the various subdisciplines of cognitive science.

Confirmed speakers - Fabrizio Calzavarini, Università di Torino (winner of the AISC Young Researcher Prize 2022) - Cristiano Castelfranchi, ISTC, CNR, Roma - Ute Schmid, Universitaet Bamberg - Murray Smith, Kent University - Simone Sulpizio, Università di Milano-Bicocca - Pascale Willemsen, Universitaet Zurich.

Workshop at the Annual Conference of the German Linguistic Society (DGfS 2024).

Figurative and non-literal language, such as metaphor, metonymy, or personification, poses a special challenge for computational analysis, since these expressions are not used with their usual, ordinary meanings, as represented in corpus data or recorded in lexical resources, but with different, derived meanings.

We aim to bring together computational linguists working on the automatic analysis of non-literal language. A special focus will be on non-conventionalized usages, such as novel metaphors or innovative forms of metonymy. In addition, we are particularly interested in approaches applicable to languages other than English, for example low-resource languages or domains.

SALOME 1 is the Inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic.

The event will include the celebration on January 14, 2024 of the 6th edtion of the World Logic Day.

The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.

Invited Speakers: Joe Halpern (Cornell University), Gabriele Kern-Isberner (TU Dortmund), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).

The international workshop on "Trivalent Suspension, Uncertainty and Reasoning with Conditionals" (TSUC) aims to bring together renowned researchers from philosophy, logic, formal epistemology, and mathematics to discuss the major issues, contemporary methodologies that have arisen in the study of suspension, uncertainty, and conditionals. We would like to investigate a specific perspective concerning trivalent logic, probability and conditionals. Specifically, this workshop intends to bring together researchers to introduce and discuss i) major TSUC research issues that have arisen in recent years, ii) innovative methodologies developed in response to such issues, iii) the connections between the three components of TSUC, and iv) major TSUC research challenges in its future development. Such research issues include the formal models of judgment suspension, indeterminism, uncertainty inference, many-valued connectives and consequences, subjective prob- ability, conditional probabilities, trivalent conditionals, branching time structure, and so forth. We will be able to understand the major issues, and research problems and gaps for the future development of TSUC.

The 1st Conference of the European Society for the Philosophy of Mathematics will take place at King’s College London from the 5th to the 7th of September 2023.

Invited speakers: Andrew Arana (University of Lorraine), Volker Halbach (University of Oxford), Rosalie Iemhoff (Utrecht University), Daniel Isaacson (University of Oxford), Øystein Linnebo (University of Oslo), Mary Leng (University of York) and Philip Welch (University of Bristol).

Sinn und Bedeutung 28 will feature a three-day main session (Sept. 6-8) and a one-day special session on The Semantics and Pragmatics of Co-Speech / Co-Sign Communication (Sept. 5).

Invited Speakers (main session): — Dorothy Ahn (Rutgers University) — Hazel Pearson (Queen Mary University of London) — Graham Priest (City University of New York, University of Melbourne, RUB).
Invited Speaker (special session): — Cornelia Ebert (Goethe University Frankfurt).

The 1st Conference of the European Society for the Philosophy of Mathematics will take place at King’s College London from the 5th to the 7th of September 2023.

Invited speakers: Andrew Arana (University of Lorraine), Volker Halbach (University of Oxford), Rosalie Iemhoff (Utrecht University), Daniel Isaacson (University of Oxford), Øystein Linnebo (University of Oslo), Mary Leng (University of York) and Philip Welch (University of Bristol).

Sinn und Bedeutung 28 will feature a three-day main session (Sept. 6-8) and a one-day special session on The Semantics and Pragmatics of Co-Speech / Co-Sign Communication (Sept. 5).

Invited Speakers (main session): — Dorothy Ahn (Rutgers University) — Hazel Pearson (Queen Mary University of London) — Graham Priest (City University of New York, University of Melbourne, RUB).
Invited Speaker (special session): — Cornelia Ebert (Goethe University Frankfurt).

The 1st Conference of the European Society for the Philosophy of Mathematics will take place at King’s College London from the 5th to the 7th of September 2023.

Invited speakers: Andrew Arana (University of Lorraine), Volker Halbach (University of Oxford), Rosalie Iemhoff (Utrecht University), Daniel Isaacson (University of Oxford), Øystein Linnebo (University of Oslo), Mary Leng (University of York) and Philip Welch (University of Bristol).

Sinn und Bedeutung 28 will feature a three-day main session (Sept. 6-8) and a one-day special session on The Semantics and Pragmatics of Co-Speech / Co-Sign Communication (Sept. 5).

Invited Speakers (main session): — Dorothy Ahn (Rutgers University) — Hazel Pearson (Queen Mary University of London) — Graham Priest (City University of New York, University of Melbourne, RUB).
Invited Speaker (special session): — Cornelia Ebert (Goethe University Frankfurt).

The workshop will take place in Urbino on Thursday afternoon, September 7, and Friday morning, September 8, as a side event of the SILFS 2023 Triennial Conference. It will focus on diverse formal (logical) approaches to the notion of Ignorance. Everyone interested is free to participate. The event is in presence but talks will be also streamed on-line.

The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

The 2023 annual British Logic Colloquium Meeting will be held at the University of Bristol Between 14.00 on Thursday Sep. 7th and 13.00 Saturday Sep. 9th. The confirmed speakers are Sandra Müller (TU Vienna), Paul Shafer (Leeds), Juan Aguilera (Ghent and TU Vienna), Vincenzo Mantova (Leeds), Carlo Nicolai (KCL), Elaine Pimentel (UCL), Juliette Kennedy (Helsinki), Anupam Das (Birmingham) and Ali Enayat (Gothenburg).

 On the Wednesday afternoon and Thursday morning there will be a "PhD day" where PhD students can present work and have discussions. There will be an Annual Meeting of the BLC following on the Thursday lectures, before a conference dinner. Following on the BLC meeting, from Saturday lunchtime until Sunday afternoon, there will be a contiguous and co-located conference "Working with Truth" which is the concluding Workshop on Johannes Stern's ERC grant.

LANMR 2023 is the fifteenth 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 2023 will be a hybrid event including in-person and online participation. The physical venue will be Ciudad Universitaria UNAM (Facultad de Ingeniería) in México City.

For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence, and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems.

The purpose of the JURIX conference series is to foster scientific exchange between researchers, practitioners, students, dedicated to exploring recent advancements, challenges, and opportunities of technologies applied to legal and para-legal activities.

Sinn und Bedeutung 28 will feature a three-day main session (Sept. 6-8) and a one-day special session on The Semantics and Pragmatics of Co-Speech / Co-Sign Communication (Sept. 5).

Invited Speakers (main session): — Dorothy Ahn (Rutgers University) — Hazel Pearson (Queen Mary University of London) — Graham Priest (City University of New York, University of Melbourne, RUB).
Invited Speaker (special session): — Cornelia Ebert (Goethe University Frankfurt).

The workshop will take place in Urbino on Thursday afternoon, September 7, and Friday morning, September 8, as a side event of the SILFS 2023 Triennial Conference. It will focus on diverse formal (logical) approaches to the notion of Ignorance. Everyone interested is free to participate. The event is in presence but talks will be also streamed on-line.

The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

The 2023 annual British Logic Colloquium Meeting will be held at the University of Bristol Between 14.00 on Thursday Sep. 7th and 13.00 Saturday Sep. 9th. The confirmed speakers are Sandra Müller (TU Vienna), Paul Shafer (Leeds), Juan Aguilera (Ghent and TU Vienna), Vincenzo Mantova (Leeds), Carlo Nicolai (KCL), Elaine Pimentel (UCL), Juliette Kennedy (Helsinki), Anupam Das (Birmingham) and Ali Enayat (Gothenburg).

 On the Wednesday afternoon and Thursday morning there will be a "PhD day" where PhD students can present work and have discussions. There will be an Annual Meeting of the BLC following on the Thursday lectures, before a conference dinner. Following on the BLC meeting, from Saturday lunchtime until Sunday afternoon, there will be a contiguous and co-located conference "Working with Truth" which is the concluding Workshop on Johannes Stern's ERC grant.

The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

The 2023 annual British Logic Colloquium Meeting will be held at the University of Bristol Between 14.00 on Thursday Sep. 7th and 13.00 Saturday Sep. 9th. The confirmed speakers are Sandra Müller (TU Vienna), Paul Shafer (Leeds), Juan Aguilera (Ghent and TU Vienna), Vincenzo Mantova (Leeds), Carlo Nicolai (KCL), Elaine Pimentel (UCL), Juliette Kennedy (Helsinki), Anupam Das (Birmingham) and Ali Enayat (Gothenburg).

 On the Wednesday afternoon and Thursday morning there will be a "PhD day" where PhD students can present work and have discussions. There will be an Annual Meeting of the BLC following on the Thursday lectures, before a conference dinner. Following on the BLC meeting, from Saturday lunchtime until Sunday afternoon, there will be a contiguous and co-located conference "Working with Truth" which is the concluding Workshop on Johannes Stern's ERC grant.

The workshop brings together researchers on formal theories of truth and aims to display recent cutting edge research in this area.  The workshop is hosted by the ERC-Starting Grant 'Truth and Semantics' (TRUST 803684) at the University of Bristol directed by Johannes Stern.  It focuses on recent work on formal theories of truth and will take place directly after the BLC Annual Meeting 2023, which also takes place at the University of Bristol.

Confirmed Speakers - Martin Fischer (MCMP, LMU Munich) - Kentaro Fujimoto (Bristol) - Volker Halbach (Oxford) - Mateusz Lelyk (Warsaw) - Carlo Nicolai (KCL) - Thomas Schindler (Amsterdam)

Current AI applications do not guarantee objectivity and are riddled with biases and legal difficulties. AI systems need to perform safely, but problems of opacity, bias and risk are pressing. Definitional and foundational issues about what kinds of bias and risks are involved in opaque AI technologies are still very much open. Moreover, AI is challenging Ethics and brings the need to rethink the basis of Ethics. In this context, it is natural to look for theories, tools and technologies to address the problem of automatically detecting biases and implementing ethical decision-making.

This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.

BEWARE23 is co-located with the AIxIA 2023 conference.

The workshop brings together researchers on formal theories of truth and aims to display recent cutting edge research in this area.  The workshop is hosted by the ERC-Starting Grant 'Truth and Semantics' (TRUST 803684) at the University of Bristol directed by Johannes Stern.  It focuses on recent work on formal theories of truth and will take place directly after the BLC Annual Meeting 2023, which also takes place at the University of Bristol.

Confirmed Speakers - Martin Fischer (MCMP, LMU Munich) - Kentaro Fujimoto (Bristol) - Volker Halbach (Oxford) - Mateusz Lelyk (Warsaw) - Carlo Nicolai (KCL) - Thomas Schindler (Amsterdam)

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The International Interdisciplinary Computational Cognitive Science Summer School (IICCSSS) is an annual educational meeting for students and young researchers interested in computational approaches to brain and cognitive sciences.

We are happy to invite you to the fourth iteration of our Computational Cognitive Science Summer School! The summer school will take place on Sep 11th – 15th 2023, in Tübingen, Germany. This year, the summer school will be a particularly interactive event with workshops, talks, a panel discussion and a hackathon.

The widespread diffusion of AI systems today creates new challenges for logics and systems of formal reasoning. If logic is to help make AI more accountable, logic itself needs to be accountable. It should therefore be susceptible to critical examination and evaluation of its adequacy for the objectives which its designers and users have set it. The ACLAI23 workshop will be devoted to challenges and adequacy conditions for logics in light of their important role in contributing to accountable AI.
The workshop will include technical work on current systems of logic for AI as well as philosophical reflections on logical methodology, besides examining external desiderata for logics that arise for instance from legal or ethical requirements for AI systems.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The International Interdisciplinary Computational Cognitive Science Summer School (IICCSSS) is an annual educational meeting for students and young researchers interested in computational approaches to brain and cognitive sciences.

We are happy to invite you to the fourth iteration of our Computational Cognitive Science Summer School! The summer school will take place on Sep 11th – 15th 2023, in Tübingen, Germany. This year, the summer school will be a particularly interactive event with workshops, talks, a panel discussion and a hackathon.

On 12 September 2023, the joint research center for Logic at both Tsinghua University and the University of Amsterdam (UvA) will organize a small workshop to celebrate the completion of three new joint PhD theses. The work reported on in these new PhD thesis projects is perfectly aligned with the main mission of the JRC centre to further broaden the interdisciplinary view of logic. We will take the opportunity in the afternoon of 12 September to celebrate these new achievements and warmly invite all interested researchers and students to attend the event.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The International Interdisciplinary Computational Cognitive Science Summer School (IICCSSS) is an annual educational meeting for students and young researchers interested in computational approaches to brain and cognitive sciences.

We are happy to invite you to the fourth iteration of our Computational Cognitive Science Summer School! The summer school will take place on Sep 11th – 15th 2023, in Tübingen, Germany. This year, the summer school will be a particularly interactive event with workshops, talks, a panel discussion and a hackathon.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The International Interdisciplinary Computational Cognitive Science Summer School (IICCSSS) is an annual educational meeting for students and young researchers interested in computational approaches to brain and cognitive sciences.

We are happy to invite you to the fourth iteration of our Computational Cognitive Science Summer School! The summer school will take place on Sep 11th – 15th 2023, in Tübingen, Germany. This year, the summer school will be a particularly interactive event with workshops, talks, a panel discussion and a hackathon.

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasize its attention to those at early stages of their careers, the network is glad to announce its third graduate conference, to be held at the Tor Vergata University of Rome. We expect to host up to 6-8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

The conference will be held exclusively in person and no link will be provided to attend the conference remotely.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The International Interdisciplinary Computational Cognitive Science Summer School (IICCSSS) is an annual educational meeting for students and young researchers interested in computational approaches to brain and cognitive sciences.

We are happy to invite you to the fourth iteration of our Computational Cognitive Science Summer School! The summer school will take place on Sep 11th – 15th 2023, in Tübingen, Germany. This year, the summer school will be a particularly interactive event with workshops, talks, a panel discussion and a hackathon.

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

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

Symbolic computation (SC) aims at providing algorithmic solutions to problems dealing with symbolic objects such as terms, formulas, programs, representations of algebraic objects, etc. From the beginning, SC was also considered a major approach to "artificial intelligence", since the problems solved by SC, typically, are problems that were considered hard for "human intelligence". Meanwhile, machine learning (ML) methods, developed in parallel to symbolic methods for solving hard "artificial intelligence" problems, achieved spectacular results in numerous applications in recent years. This special issue is dedicated to the interaction of symbolic computation and machine learning methods seen as the two major approaches to "artificial intelligence". We expect dramatic advances from a much closer interaction of the SC and the ML approaches to artificial intelligence.

The special issue is organized as a follow-up of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022. Participants of the symposium, as well as other authors, are invited to submit contributions. We welcome submissions describing the interaction of SC and ML methods, techniques, and tools, and their applications in AI. This special issue welcomes high-quality contributions, including papers with original research results as well as review articles. They will be peer-reviewed using the standard refereeing procedure of the Journal of Symbolic Computation.

RADICAL is a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an intersection has been explored from very diverse angles for many years now. More recently, the interplay of concurrency and logic with applications such as, for instance verification, synthesis and multi-agent systems has received much attention.

These areas have become increasingly consolidated, and start to have profound impact in neighboring communities such as programming languages, AI and knowledge representation. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill that gap.

The ILDS Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to theoretical underpinnings of interactive theorem proving. It is the second school on interactive theorem proving organized in Bucharest, following the ICUB Coq Autumn School, which was held in September 2018.

The event is co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The ILDS Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to theoretical underpinnings of interactive theorem proving. It is the second school on interactive theorem proving organized in Bucharest, following the ICUB Coq Autumn School, which was held in September 2018.

The event is co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The ILDS Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to theoretical underpinnings of interactive theorem proving. It is the second school on interactive theorem proving organized in Bucharest, following the ICUB Coq Autumn School, which was held in September 2018.

The event is co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The use of formal methods in the analysis and representation of normative reasoning has faced plenty of interesting challenges over the last few decades, ranging from theoretical puzzles to automation endeavours. The workshop "Actions and norms in deontic logic", hosted by the Department of Philosophy of the Catholic University of Milan on 20 September 2023, aims at offering fresh insights into recent developments in the area and open directions of research.

Workshop attendance is free. To register for the workshop, please write in advance to any of the two organizers. This event also supports young researchers' activity by means of two participation scholarships funded by AILA, the Italian Association for Logic and its Applications.

The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

Invited speakers: Mario Alviano (University of Calabria), Katie Atkinson (University of Liverpool), Franz Baader (TU Dresden) and Vaishak Belle (University of Edinburgh).

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

Invited speakers: Mario Alviano (University of Calabria), Katie Atkinson (University of Liverpool), Franz Baader (TU Dresden) and Vaishak Belle (University of Edinburgh).

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge.

In 2023, the broad theme of the school is: “Declarative Artificial Intelligence: Knowledge, Rules, Logic”. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2023 and co-located with the RuleML+RR 2023 and DecisionCAMP conferences. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.

This workshop will take place as part of the 14th International Tbilisi Symposium on Language, Logic and Computation (TbILLC 2023). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the epistemology and ethics of machine learning and the logical foundations of learnability, to computational learning theory, and machine learning for knowledge representation and reasoning.

The program of the workshop will consist of 4 presentations by invited speakers: Victor Dalmau (Barcelona), Konstantin Genin (Tübingen), Dick de Jongh (Amsterdam) and Ana Ozaki (Oslo/Bergen).

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

Invited speakers: Mario Alviano (University of Calabria), Katie Atkinson (University of Liverpool), Franz Baader (TU Dresden) and Vaishak Belle (University of Edinburgh).

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge.

In 2023, the broad theme of the school is: “Declarative Artificial Intelligence: Knowledge, Rules, Logic”. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2023 and co-located with the RuleML+RR 2023 and DecisionCAMP conferences. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge.

In 2023, the broad theme of the school is: “Declarative Artificial Intelligence: Knowledge, Rules, Logic”. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2023 and co-located with the RuleML+RR 2023 and DecisionCAMP conferences. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge.

In 2023, the broad theme of the school is: “Declarative Artificial Intelligence: Knowledge, Rules, Logic”. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. This year the school is part of Declarative AI 2023 and co-located with the RuleML+RR 2023 and DecisionCAMP conferences. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German Society of Informatics (Gesellschaft für Informatik). It is a meeting with a familial atmosphere, where everyone (not only the German community) interested in deduction can report on their work in a friendly setting.

A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2023 is affiliated with the German KI 2023, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology.

In this special issue, we welcome contributions that formally analyse the technical or social aspects of communication in a (social or computer) network. Topics of interest therefore include, but are not limited to:
- combinatorial and computational aspects of gossip and broadcasting
- epistemic gossip protocols,
- social epistemology,
- logics for social networks.

The guest editors for the special issue will be:
Louwe Kuijer (University of Liverpool)
Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
Wiebe van der Hoek (University of Liverpool).

Submission date has been extended to Saturday 30 September 2023.

We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. More specifically, this special issue welcomes work on the following topics:

- Dynamic Logics of Communication
- Logics of Speech Acts
- Logics for Belief Change and Knowledge Updates
- Dynamic Epistemic Logics
- Logical analysis of Communication in Social Networks
- Dynamic Deontic Logic
Please follow the instructions for authors as specified in the Call For Papers. Papers accepted for publication in this special issue will be published free of charge. The submission deadline is 30th September 2023.

Logic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.