The tradition of modal logics inspired by the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

The tradition of modal logics inspired by the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

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 tradition of modal logics inspired by the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

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

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.

CTLM 2023 is aimed to enhance the engagement between domestic researchers/students and external researchers working in connections between logic and other areas of mathematics.

Invited speakers: Julia Wolf (University of Cambridge, UK) and Ulrich Kohlenbach (TU Darmstadt, Germany).

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.

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.

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.

We warmly invite scientific staff members of the UvA who have a broad interest in AI or are working on AI to attend the ‘Connecting Humane AI at the University of Amsterdam’ event on the 10th of November from 9:30 to 13:00 at KNAW on the Kloveniersburgwal 29 in Amsterdam.

You are also most welcome to attend the afternoon session, from 14h00 to 17h00, during which Seed Funding projects of the RPA Human(e) AI will give presentations and in-depth discussions on a variety of topics on Humane AI will be held. If you are interested in attending the event, please register at:https://forms.office.com/e/bjKZiTq8ea.

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.

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.

The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an annual international event which concentrates on AI theories, technologies and their applications in the areas of scientific, social, and economic importance for countries in the Pacific Rim. The 20th PRICAI (2023) will be held as a hybrid conference with both physical and online options in Jakarta, Indonesia. PRICAI-2023 aims to bring together researchers, practitioners, educators and users in AI and related communities for in-depth intellectual exchanges, research cooperation and professional development.

The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an annual international event which concentrates on AI theories, technologies and their applications in the areas of scientific, social, and economic importance for countries in the Pacific Rim. The 20th PRICAI (2023) will be held as a hybrid conference with both physical and online options in Jakarta, Indonesia. PRICAI-2023 aims to bring together researchers, practitioners, educators and users in AI and related communities for in-depth intellectual exchanges, research cooperation and professional development.

LENLS is an annual international conference on formal linguistics (i.e., syntax, semantics and pragmatics), computational linguistics, the philosophy of language, and related fields. LENLS20 is scheduled to take place in a in-person format (with a physical presence in Osaka), but with a limited option for a virtual presence via zoom. LENLS20 is held under the umbrella of The Association for Logic, Language and Information (FoLLI).

Invited Speakers: - Gregoire Winterstein (Universite du Quebec a Montreal).

The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an annual international event which concentrates on AI theories, technologies and their applications in the areas of scientific, social, and economic importance for countries in the Pacific Rim. The 20th PRICAI (2023) will be held as a hybrid conference with both physical and online options in Jakarta, Indonesia. PRICAI-2023 aims to bring together researchers, practitioners, educators and users in AI and related communities for in-depth intellectual exchanges, research cooperation and professional development.

LENLS is an annual international conference on formal linguistics (i.e., syntax, semantics and pragmatics), computational linguistics, the philosophy of language, and related fields. LENLS20 is scheduled to take place in a in-person format (with a physical presence in Osaka), but with a limited option for a virtual presence via zoom. LENLS20 is held under the umbrella of The Association for Logic, Language and Information (FoLLI).

Invited Speakers: - Gregoire Winterstein (Universite du Quebec a Montreal).

LENLS is an annual international conference on formal linguistics (i.e., syntax, semantics and pragmatics), computational linguistics, the philosophy of language, and related fields. LENLS20 is scheduled to take place in a in-person format (with a physical presence in Osaka), but with a limited option for a virtual presence via zoom. LENLS20 is held under the umbrella of The Association for Logic, Language and Information (FoLLI).

Invited Speakers: - Gregoire Winterstein (Universite du Quebec a Montreal).

The Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM) is returning for its 5th edition on 21 and 22 November 2023. This time, the conference will be hosted by the National Research Center for Mathematics and Computer Science (CWI) at Amsterdam Science Park (Netherlands).

MISDOOM values multidisciplinary research and is designed to be inclusive of different academic disciplines and practices.

The symposium provides a platform for researchers, industry professionals, and practitioners from various disciplines such as communication science, computer science, computational social science, political science, psychology, journalism, and media studies to come together and share their knowledge and insights on online disinformation.

Keynote Speakers:
- Prof Dr. Judith Möller, University of Hamburg
- Dr. Pepa Atanasova, University of Copenhagen

The Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM) is returning for its 5th edition on 21 and 22 November 2023. This time, the conference will be hosted by the National Research Center for Mathematics and Computer Science (CWI) at Amsterdam Science Park (Netherlands).

MISDOOM values multidisciplinary research and is designed to be inclusive of different academic disciplines and practices.

The symposium provides a platform for researchers, industry professionals, and practitioners from various disciplines such as communication science, computer science, computational social science, political science, psychology, journalism, and media studies to come together and share their knowledge and insights on online disinformation.

Keynote Speakers:
- Prof Dr. Judith Möller, University of Hamburg
- Dr. Pepa Atanasova, University of Copenhagen

The BLESS conference is devoted to the application of formal tools (logical and mathematical) to issues related to actions of individuals and groups of people. The conference’s subject is the problem of formalization of inference about actions, knowledge and beliefs of individuals or groups. Papers focused on formal methods are especially welcome.

The BLESS conference is devoted to the application of formal tools (logical and mathematical) to issues related to actions of individuals and groups of people. The conference’s subject is the problem of formalization of inference about actions, knowledge and beliefs of individuals or groups. Papers focused on formal methods are especially welcome.

The BLESS conference is devoted to the application of formal tools (logical and mathematical) to issues related to actions of individuals and groups of people. The conference’s subject is the problem of formalization of inference about actions, knowledge and beliefs of individuals or groups. Papers focused on formal methods are especially welcome.

The propositional connectives – and, or, not, if-then, etc. – are fundamental building blocks in formal as well as natural languages. Propositional Logic is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. Perhaps the most familiar recent work in this area concerns conditionals in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.

Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration.

The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or languag.