The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. In 2023, the Formal Philosophy conference will be held for the 6th time. We are pleased to invite papers in: philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics and other branches of formal and mathematical philosophy.

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.

According to the celebrated Condorcet Jury Theorem, if we can dispose of a series of jurors who each have an independent, better than random accuracy regarding a binary issue, then the larger the group of jurors we take, the more accurate the group’s majority opinion on this issue will be. In the limit, the majority opinion will be fully reliable. This mathematical result has provided the starting point for a rich literature on the wisdom of crowds and democratic decision-making.

In practice however, opinions are not independent. Decision-makers are typically connected through networks of social influence, and before casting their opinion, they may deliberate collectively. When doing so, the shape of the network, the order in which they exchange information, the levels of trustworthiness attributed to them, and strategic considerations are crucial for the eventual outcome of the process. The aim of this workshop is to cast light on the role of these and other parameters in group deliberation, and their implications for group accuracy and democracy.

Participation is free of charge, but the available spots are limited. Please notify us before September 19th in case you would like to attend.

Our Research Training Group ‘Situated Cognition’ has now started its third and last training generation of twelve new PhD students, with the second cohort simultaneously finalizing their projects. At this unique point in time, we would like to unite all three generations of PhDs together with many current, former and future members and collaborators, both internal and external. This includes our highly regarded external guests: Louise Barrett, Joel Krueger, N.N., and Heidi Maibom covering topics like situated affectivity, agency, perspectivism, social cognition and the interaction of neuroscience and AI.

Keynote talks will be hybrid.

Our Research Training Group ‘Situated Cognition’ has now started its third and last training generation of twelve new PhD students, with the second cohort simultaneously finalizing their projects. At this unique point in time, we would like to unite all three generations of PhDs together with many current, former and future members and collaborators, both internal and external. This includes our highly regarded external guests: Louise Barrett, Joel Krueger, N.N., and Heidi Maibom covering topics like situated affectivity, agency, perspectivism, social cognition and the interaction of neuroscience and AI.

Keynote talks will be hybrid.

We are pleased to announce the call for papers for the fourth volume of OHAAI (Online Handbook of Argumentation for AI).

We seek papers in the form of short research abstracts from current PhD students, or recent graduates, who wish to submit an abstract relating specifically to their PhD output involving the field of argumentation for AI. Submissions are encouraged from all disciplines, as the ambition is to provide the best possible indication of the scope for applications of argumentation.

OHAAI is set up to be an ongoing project with annual publications which will allow participants to update the research community with their progress throughout their PhD. Therefore, OHAAI presents an excellent opportunity for a PhD researcher to boost their profile by increasing their visibility to other researchers as well as providing a citable publication of their research abstract.

Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny's role in teaching.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. In 2023, the Formal Philosophy conference will be held for the 6th time. We are pleased to invite papers in: philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics and other branches of formal and mathematical philosophy.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. In 2023, the Formal Philosophy conference will be held for the 6th time. We are pleased to invite papers in: philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics and other branches of formal and mathematical philosophy.

It is with a lot of excitement that I am advertising a workshop that will take place in Amsterdam on the 12th of October. The workshop is organised to celebrate my PhD defence that will take place the following day. It will be a one-day workshop with 5 speakers and a panel discussion about participatory budgeting and related topics. The workshop is free of charge and open to everyone. You just need to fill in a registration form.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. In 2023, the Formal Philosophy conference will be held for the 6th time. We are pleased to invite papers in: philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics and other branches of formal and mathematical philosophy.

The 6th Asian Workshop on Philosophical Logic will be held on 4-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences.

Invited speakers: Patrick Blackburn (University of Roskilde), Ryo Kashima (Tokyo Institute of Technology), Shawn Standefer (National Taiwan University) and Fan Yang (Utrecht University).

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.

The assessment and understanding of fragmented and vague information has become an increasingly pressing issue in social deliberations. Rational agents and decision-makers must navigate inconsistent and partial information while striving to organise it coherently, and shared information in communication requires agents to continually update their beliefs. Logical methods provide a natural toolkit for formally analysing these complex phenomena.

The workshop “Reasoning with Imperfect Information in Social Settings” at the Scuola Normale Superiore (University of Pisa), aims to bring together researchers in logic, formal and social epistemology, computer science, who are exploring the intricacies of information dynamics in social scenarios. Relevant topics include belief revision and merging, judgment and preference aggregation, multi-agent non-monotonic reasoning, multi-agent epistemic and deontic logic, as well as formal methods for representing social epistemic attitudes.

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.

The assessment and understanding of fragmented and vague information has become an increasingly pressing issue in social deliberations. Rational agents and decision-makers must navigate inconsistent and partial information while striving to organise it coherently, and shared information in communication requires agents to continually update their beliefs. Logical methods provide a natural toolkit for formally analysing these complex phenomena.

The workshop “Reasoning with Imperfect Information in Social Settings” at the Scuola Normale Superiore (University of Pisa), aims to bring together researchers in logic, formal and social epistemology, computer science, who are exploring the intricacies of information dynamics in social scenarios. Relevant topics include belief revision and merging, judgment and preference aggregation, multi-agent non-monotonic reasoning, multi-agent epistemic and deontic logic, as well as formal methods for representing social epistemic attitudes.

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.

The assessment and understanding of fragmented and vague information has become an increasingly pressing issue in social deliberations. Rational agents and decision-makers must navigate inconsistent and partial information while striving to organise it coherently, and shared information in communication requires agents to continually update their beliefs. Logical methods provide a natural toolkit for formally analysing these complex phenomena.

The workshop “Reasoning with Imperfect Information in Social Settings” at the Scuola Normale Superiore (University of Pisa), aims to bring together researchers in logic, formal and social epistemology, computer science, who are exploring the intricacies of information dynamics in social scenarios. Relevant topics include belief revision and merging, judgment and preference aggregation, multi-agent non-monotonic reasoning, multi-agent epistemic and deontic logic, as well as formal methods for representing social epistemic attitudes.

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.

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.