This Topical Collection is devoted to hyperintensionalism in formal epistemology, aiming to collect and bring into contact both contributions developing particular formal hyperintensional theories of epistemic phenomena (broadly construed) as well as more general, foundational discussions of the reasons for, and against, adopting a hyperintensional approach. Appropriate Topics for Submission include, among others: arguments for and against hyperintensionalism in formal epistemology, hyperintensional theories of belief revision, belief, credence, knowledge, and other epistemic notions, the methodology of formal epistemology, the role of model-building and idealization in formal epistemology, applications of hyperintensional methods in philosophy and beyond (computer science, AI).

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

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

The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.

Invited Speakers:
* Georg Gottlob, University of Oxford
* Phokion Kolaitis, University of California Santa Cruz and IBM Research
* Andrei Popescu, University of Sheffield
* Uli Sattler, University of Manchester

The first workshop ever on non-trivial negation inconsistent logics is going to be held at Ruhr University Bochum, December 6-8, 2023.

The first workshop ever on non-trivial negation inconsistent logics is going to be held at Ruhr University Bochum, December 6-8, 2023.

The first workshop ever on non-trivial negation inconsistent logics is going to be held at Ruhr University Bochum, December 6-8, 2023.

Utrecht University will organize the second edition of the annual seminar of the Dutch Association for Logic (VvL). The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.

Main Speaker: Natasha Alechina.
MSc Thesis Prize winners: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate).

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.

Mathematics is usually regarded as a discipline which admits no grey areas in most situations: answers are either correct or incorrect; there is a universal, objective, correct answer. Similarly, it is usually considered that mathematics is the universal language of the world, one that describes it "as it is". On the other hand, ethical, moral and political questions are usually not "correct" or "incorrect", they are complicated and full of grey areas. This makes it extremely tempting to see the sciences and mathematics as a good way to settle disputes concerning issues like justice or equity. Recent scholarship warns about the increasing use of mathematical techniques in order to prescribe policies and produce knowledge under a veil of neutrality, and argues that we should carefully evaluate the consequences of these techniques in science and society.

This Topical Collection aims at contributing to this literature. Topics include but are not limited to: - The moral responsibility of pure and applied mathematicians - Value-ladenness of mathematics - Algorithmic governance - The mathematization of science: how (not) to use mathematics, and ethical/epistemic consequences - Statistics in science and society: how (not) to use statistics, and ethical/epistemic consequences - Ethical concerns about mathematics education.

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.

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.

This special issue aims at providing an overview of recent work in automation of expressive non-classical logics, AI-related applications thereof, and discussions of perspectives in explicit symbolic knowledge representation and reasoning in contemporary AI applications. Technical contributions (of up to 20 pages), abstracts (4 pages), e.g., on doctoral theses or habilitations, system descriptions (4-6 pages), project reports (4-6 pages), or discussion articles (4-8 pages), are welcome. All submissions will be peer-reviewed.

The full CfP can be found at https://www.springer.com/journal/13218/updates/25263164 (but please ignore the old deadline). If you have any questions, please do not hesitate to contact me (alexander.steen at uni-greifswald.de).

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.

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.

What do we mean by 'responsibility' in the digital age? How do disciplines differ in their understanding of responsibility? Where do they meet?

We are excited to invite you to our second edition of the Responsible Digital Transformations Keywords Project, with focus on 'responsibility'. Marjolein Lanzing, Jelle Zuidema and Somendra Narayan will share their views on responsibility with us, and we invite you to join a lively interdisciplinary discussion.

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.

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Increased power of hardware and software allows collection of large language sources, which require Natural Language Processing (NLP). Large language models (LLM) are important for information processing. LLM and NLP are interrelated and significant in AI.
This ICAART 2024 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent language processing and related models of information, language, reasoning, etc.

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

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

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

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