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.
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.
Abstracts are to be submitted exclusively via the EasyChair system.
The submitted materials will undergo a double-blind review. The Programme Committee reserves the right to reject abstracts that do not fit into the scope of the conference.
Authors are asked to submit an abstract up to 1000 words.
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 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 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.
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.
To give a presentation at the workshop, please submit an anonymous extended abstract (2-6 pages, excluding references) via hotcrp. Please use the acmart two-column sigplan sub-format LaTeX style to prepare your submission. We don’t intend to publish the workshop’s submissions. However, presentations may be recorded and the videos may be made publicly available.
The 6th Asian Workshop on Philosophical Logic will be held on 5-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).
All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template. Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.
IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems, is pleased to announce the call for the 2023 Victor Lesser Distinguished Dissertation Award. The award is named after Professor Victor Lesser, a long-standing member of the AAMAS community who has supervised a large number of outstanding PhD students in the area. It is awarded for dissertations written as part of a PhD, defended in the specified period, and nominated by the supervisor (with supporting references), which show originality, significance and impact, and are supported by high quality publications.
Nominations are invited for the award which is sponsored by IFAAMAS and will be presented at AAMAS-2024. Eligible doctoral dissertations are those defended between October 1, 2022 and September 30, 2023 (both endpoints included) in the area of Autonomous Agents or Multiagent Systems. The award includes a certificate and a 1500 EUR payment. Every submitted dissertation must be nominated by the thesis supervisor.
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.
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.
The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.
The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Instructions for submission will be made available through the conference webpage.