The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of two or three talks by representatives from different units, sometimes followed by Wild Idea Talks.

The ILLC colloquium is preceded by the Current Affairs Meeting.

The purpose of the Current Affairs Meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

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.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. This is the announcement for the next talk. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

Induction is well known as both an important method of definition as well as proof, but it has some important blind spots. Inductive definitions use constructors, that is, methods to make new objects. Inductively constructed data must have an end, in the context of real programs. This makes it more difficult to use for modelling computation with (possibly) infinite data streams, or where program termination is not guaranteed.

In this talk we'll discuss coinduction, the dual notion to induction. Where induction is formulated as rules for creating new things, coinduction is formulated as rules for taking them apart. This gives it wide utility in modeling computational states without assuming we know what they look like, a so-called black box approach.

We'll also delve into the basics of the mathematical concepts underpinning this duality, namely the duality of algebras and coalgebras. While these topics take heavy inspiration from category theory and universal algebra, no prior significant knowledge of either will be assumed.

The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

To all PhD candidates of the ILLC,
The next PhD assembly meeting is on Thursday 14 December from 12 till 13 o'clock in the Common Room of SP107. During this meeting, you can ask questions to the Management Team of the ILLC. Lunch will be provided.
Hope to see many of you then!

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

Concepts in Motion is hosting a series of online seminars on data formats, tools, and best practices for working with data relevant to the history of ideas. In particular, in this series we will have experts discussing the managing of authority records, identifiers for persons, timelines, and works, as well as infrastructures on which to clean and enrich these data.

This seminar's speaker is Leon van Wissen (Universiteit van Amsterdam), a data engineer working with cultural heritage data in CREATE and GLOBALISE, and previously in the Golden Agents project. In this session Leon will share experiences and best practices relevant to working with Linked Open Data and the implementation of ontologies. Bring your questions to the seminar for a live Q&A session.

Abstract:

Judgment aggregation (JA) offers a generic formal logical framework for modeling various settings where agents must reach joint agreements through aggregating the preferences, judgments, or beliefs of individual agents by social choice mechanisms. In this work, we develop practical JA algorithms for outcome determination by harnessing Boolean satisfiability (SAT) based solvers as the underlying...

Take a break from science and come have fun with art! With Christmas around the corner, it is time to relax, mingle and socialize. Who knows, you might even end up crafting the most one-of-a-kind present ever!

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

The second edition of VvL Essentials is organized by Rodrigo Almeida (PhD student at the ILLC), Giovanni Varricchione, Nima Motamed and Robin (PhD students at Utrecht University).

The Institute of Philosophy of the Research Centre for the Humanities cordially invites everybody to the upcoming talk by Prof. Ned Block (NYU, Department of Philosophy) entitled Perception and the language of thought. The online talk will be given in English.

Abstract: The language of thought hypothesis is reborn but does it apply to perception? It has been claimed that object perception satisfies the conditions for a language of thought representation. This talk will start at the beginning with a consideration of the difference between iconic and discursive format, moving to the evidence that perceptual representation, including perceptual object representation, is iconic.

Join us at the theatre performance 'Wetenschapscommunicatie: Gewaardeerd!' (in Dutch) on Tuesday, 28 November, from 10:30 am to 12:00 pm in CREA. The performance is offered by the KNAW in collaboration with UvA Press Office.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

TBA

This session will be lead by Lingyuan Ye and we will finish Section 5.1 and begin looking at Section 5.2 of the book by Ghilardi and Zawadowski.

In this talk we will discuss the contents of a book we published in the Springer series “Logic in Asia: Studia Logica Library”: Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps. We will first introduce Sun Tzu, a Chinese strategist who lived 2500 years ago and who wrote “The Art of War”. Next, we will talk about “mind maps”: diagrams used to visually organize information, and our way of using them to represent the text of Sun Tzu, both in Chinese and English. Our Mind Maps present the text in the format of a tree where the nodes are formed by structural phrases in the text. This allows to recognize the logical structure of the text in a visual format.

The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

This is a hybrid talk. Please contact the organizer for a link.

Join the Music Cognition Group in welcoming Dr. Vincent Lostanlen who will be sharing a review of research on timbre similarity learning that uses methods that combine deep learning and and wavelet theory.

For more infomation about Dr. Lostanlen's research, please see his website : https://www.lostanlen.com/

Imagining futures to empower the present: Exploring and experimenting with future methodologies.
With regular meetings, the UvA wide research community Responsible Digital Transformations (RDT) aims to create a space for interfaculty encounters and conversations. We give a podium to UvA groups to present their research, their methodologies, or open questions to the RDT community. At this month's special edition, Paula Helm and Roanne van Voorst will speak about exploring and experimenting with future methodologies.

The Phi-Math reading group continues the discussion on Higher-Order Logic (HOL). This time we focus specifically on arguments against adopting Higher-Order logics for various purposes. These arguments include HOL being set theory in disguise, the (lack of) applicability of HOL for its intended purposes, and the serious metalogical issues the logics face.

Students and faculty from all backgrounds are welcome to join. Even if you did not join for the first meeting, there is no issue in joining at this point! More information about readings and previous meetings can be found on our website.

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.

In continuation of our one-year anniversary celebrations, we're introducing LAB42 meet-ups. Every first Thursday of the month, we'll host drinks on the third-floor bridge, providing you with a great opportunity to connect with other LAB42 residents. These meet-ups will vary between program activities and casual networking. Don't miss out on the opportunity to make new connections within LAB42. Our first meet-up will take place on the 2nd of November at 16.30. If you plan to attend, please RSVP through this link. You also have the option to introduce yourself to the community or make specific requests.

The seminar officially starts on 6 November 2023 at 4:30 pm (UTC+1, Vienna). We are delighted to announce that the first talk will be given by Melvin Fitting on 'De Re, De Dicto, and Binding Modalities'. The seminar will be held on Zoom every first or second Monday of the month and will consist of a 60-minute talk followed by 30 minutes of discussion.

The Algebras, Categories and Models Reading Group (formerly the Categorical Model Theory Reading Group) is organised bi-weekly by PhD Students at the ILLC, and is geared towards discussing the interactions between these areas. Currently the focus is on reading Ghilardi and Zawadowski's "Shaves, Games and Model Completions". Participants, especially PhD and master students, are welcome to join the sessions.
This session will be lead by Daniel, and we will discuss Sections 3.1 of the book, as well as some exercises.

Abstract: Rational reasoning is logical reasoning, so they say. But is it? Looking at the reasoning expressed through arguments, one is lead to the conclusion that the standard logical approach isn't able to capture ordinary reasoning. But don't be afraid, for there are other ways! Argumentation theory, in it's formal and informal variety, is dedicated to study ordinary arguments that might escape the grasp of standard logic. This talk gives an introduction to formal argumentation theory and discusses some of its advantages and drawbacks - for there are always drawbacks.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

We kick off the DaDriH series on the 27th of October 14:00-15:30 with Chiara Latronico, who will share her experience gathered in the Golden Agents project.

This symposium consists of two lectures, given by Dr. Christoph Finkensiep (Music Cognition Group, UvA) and Prof. Dr. Frank Scherbaum (SeismoSoundScape-Lab, Univ. Potsdam), on computational modelling of polyphonic music, preceded by an introduction by Prof. dr. Julia Kursell (UvA). The symposium is part of a four-days event in honor of the eminent musicologist Prof. dr. h.c. Simha Arom (Paris), director emeritus at the CNRS, whose work on polyrhythm and polyphony has opened up new perspectives on the notation as well as the cognitive and computational modelling of music. The lectures will highlight Arom's work on Georgian polyphonic singing (Scherbaum) and embed it in the history and current state of research music and AI.

Entrance is free, but registration is required via j.j.e.kursell at uva.nl.

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

The very first edition of VvL Essentials is organized by Rodrigo Almeida (PhD student at the ILLC) and Giovanni Varricchione (PhD student at Utrecht University).

The Algebras, Categories and Models Reading Group (formerly the Categorical Model Theory Reading Group) is organised bi-weekly by PhD Students at the ILLC, and is geared towards discussing the interactions between these areas.

With regular meetings, the UvA wide research community Responsible Digital Transformations (RDT) aims to create a space for interfaculty encounters and conversations. RDT gives a podium to UvA groups to present their research, their methodologies, or open questions to the RDT community. At this month's event, Regina Nockerts and Diliara Valeeva will speak about the Computational Social Science (CSSci) Bachelor's programme.

Phi-Math is starting up again!

The reading group in the philosophy of mathematics is back and we hold the first meeting on the 12th of October. The topic will be Higher-Order Logic. We will base the discussion around Stewart Shapiro's chapter Higher-order logic in the Oxford Handbook of Philosophy of Mathematics and Logic.

All students (and faculty) from all backgrounds are welcome to join. Please bring your own thoughts and ideas on the topic if you have any! For more information and location, see the website https://sites.google.com/view/phi-math/home.

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 European Digital DemocracY network (EDDY) bring together academics and practitioners actively working on or with digital democracy, to foster collaboration and knowledge exchange. The network's third public meet-up will be devoted to the topic of online deliberation.

Deliberative democrats hold the view that discussion is just as crucial to democracy as voting. Proponents of this view believe that digital tools - social media and voting apps - can and should play a central role in a democratic society. But what are the drawbacks and pitfalls of online deliberation? How "deliberative" are current online platforms for participation, or social media more generally? Where, why, and how should we (not) move deliberation online? The aim of this meet-up is to shed light on these questions both from the viewpoint of practitioners, and in light of current scientific work on the topic.

In Fall 2023, a new causality seminar will start, co-organized by Sara Magliacane, Joris Mooij and Stéphanie van der Pas.

The aim of the seminar is to bring together researchers in causal inference from the VU, UvA, Amsterdam UMC and CWI, but the seminar is open to everyone.

We plan to organize 4 events per year, where each event consists of two scientific talks and a networking event with drinks afterwards.

On Saturday 7 October, the open day at the Amsterdam Science Park will take place as part of the Weekend of Science (Weekend van de Wetenschap). Companies and research institutes at the Science Park will open their doors to interested parties.

At the Faculty of Natural Sciences, Mathematics and Computer Science and other locations, visitors can attend guided tours, workshops and demonstrations. Learn more about cosmic wave research and what happened immediately after the Big Bang, or discover what cells your body is made of! This event can be visited by young and old alike free of charge, no registration is necessary. 

On behalf of the Philosophy Department at VU and the English Literature Department at UvA, in collaboration with the venue Spui25, we cordially invite all of our interested colleagues and students to an evening with Dr. Mark Rowe, who has just published the first full-length biography of the celebrated ordinary-language philosopher, J.L. Austin. The book reveals the true complexity of Austin's character and the full range and significance of his achievements, including his lesser-known role in planning the D-Day landings. The biography has received stellar reviews, including the most recent one by Thomas Nagel in the London Review of Books.

Join us for LAB42's first-year anniversary celebration where we'll raise a toast to the remarkable year gone by and the promising years ahead! We're celebrating on October 5th, from 16:00 to 18:00, right here at LAB42. The agenda for the event features a warm welcome by Marcel Worring, brief introductions showcasing the innovative work of four of our esteemed LAB42 residents, and the opportunity to mingle and connect with fellow LAB42 residents. Let's make this celebration memorable!

PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open both for professional and for aspiring logicians and logic aficionados worldwide. This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

Abstract:
The research area of computational social choice deals with the application of techniques from computer science and AI to the design and analysis of economic mechanisms for collective decision making. In this talk, I will report on one of the most exciting recent developments in the field, namely the use of automated reasoning tools, and notably SAT solvers, to support economic theorists in their quest to gain a deeper understanding of what is and what is not possible when it comes to designing fair and efficient mechanisms for decision making. I will exemplify this approach with recent work on the design of matching markets, where the goal is to match, for instance, job seekers and companies on the basis of their preferences. No specialised technical background will be required to follow the exposition.

International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.

This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees. 

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"

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.

Some MoL students and the Utrecht philosophical society (know as 'What is Important?') are organising a philosophical discussion event on the question whether there is 'one true' logic, i.e. logical pluralism. We are expecting about 25 people with 10-25% professional philosophers/logicians.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open both for professional and for aspiring logicians and logic aficionados worldwide.This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

 

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early bird registration deadline: June 14th (extended).

This event will bring together leading experts in the field who will shed light on the methodologies to study platforms, technologies, and marginalized communities. They will also discuss challenges and opportunities presented by platforms and emerging technologies in shaping the news industry and society, particularly marginalized communities. Through their research and expertise, they will delve into topics such as artificial intelligence, disinformation, digital media, and the role of platforms on society. Professor Tobias Blanke from Human(e) AI will open the workshop.

During the week of 17-21 July 2023, the ILLC will be hosting a Summer School on Computational Social Choice. The school is specifically intended for individuals pursuing a PhD in or related to social choice (not only of the computational variety). But others—from different fields or at different career stages—are also very welcome. The international team of lecturers is composed of leading figures in the field. They will be covering axiomatic, algorithmic, and behavioural aspects of social choice, discussing both foundations and applications. Besides a rich set of lectures, the programme will include a poster session and a number of social activities.

Please note that registration is required by 31 March 2023.

Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.

Join us for a unique and exciting event that will explore the past, present, and future of Amsterdam Brain and Cognition and brain research at the UvA:
- The Past: Highlights from ABC success stories
- The Present: Ongoing projects, cutting edge science
- The Future: Young ABC members, poster session (and best poster prize!)
and lots of Networking.

Abstract:

Within team semantics, a focal point of study has been that of expressive power (what properties can a given logic express). One such team logic is BSML, a modal team logic designed for modeling free choice inferences and related linguistic phenomena.

In recent work, Aloni et al. (2023) present two extensions of BSML, demonstrating their expressive completeness for all properties [invariant under bounded bisimulation] and all union-closed properties, respectively, and leave open the problem of characterizing the expressive power of BSML. Continuing this line of work, we solve this problem by showing that BSML is expressively complete for all convex, union-closed properties. This leads us to ponder a logic that is expressively complete for all convex properties simpliciter. We introduce a logic which accomplishes precisely that.

Dr. Bercher visits the ILLC and gives a guest lecture on the topic of Hierarchical Planning focussing on Modelling Support.

Artificial intelligence applications play an increasingly important role in our daily life. But these technological advances come with serious societal risks. In this workshop we bring together researchers from various disciplines who work on the societal impact of AI applications.

On Monday we organize a scientific panel discussion on the role of researchers in the debate on algorithmic fairness. Confirmed speakers include Prof. Dr. SennayGhebreab (Civic AI Lab, University of Amsterdam); Jenneke Evers (eLaw, Leiden University); Agathe Balayn (Computer Science, TU Delft) and Dr. Winnie Ma (Philosophy, Kings College London).

We close the workshop with a public event on Algorithmic Injustice at Spui25 on Tuesday 27th at 20.00.Our speakers are:Su Lin Blodgett, who has been working on AI and fairness, Erin Beeghly, who studies the wrong of stereotypes, legal scholar Naomi Appelman who sued the VU University for its online proctoring softwareand documentary maker Nirit Peled, who documentedpeople who suffered the consequences of unfair police algorithms. Together, they will explore pressing matters around algorithmic injustice.

The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of three talks by representatives from different units, sometimes followed by Wild Idea Talks.

From this time onwards the ILLC colloquium will be preceded by the Current Affairs Meeting.

As in previous editions, the Current Affairs Meeting, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.

The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.

Periodic meeting where PhDs can be informed (and ask questions) about PhD life at the ILLC.

Abstract:
Supervisory Control Theory, initiated by Ramadge and Wonham, automatically transforms a formal system model and its safety requirements into a (minimally) restricted system that satisfies all safety requirements. This approach turns out to be very suitable for designing and generating software for the control of large infrastructural systems like bridges, locks and tunnels. In this talk recent research results will be discussed that are pivotal in tackling such large applications, including multilevel synthesis, determining a control problem dependency graph, and several modeling guidelines.

On the occasion of the inaugural lectures of Raquel Fernández and Floris Roelofsen we are throwing a big party to which the entire ILLC community is invited!

From the Aula where the inaugural lectures are presented, you can easily cycle (7 minutes), walk (27 minutes) or take the tram (20 minutes) to Hannekes Boom. Should you opt for public transport: trams (2, 12, 4, 14, 24) go to central station from Koningsplein and Rokin - metro 52 also runs here.To make sure there is enough of everything for everyone,  it would be hugely appreciated if you register. See you at Hannekes Boot!

In the first part of this joint inaugural lecture, Raquel Fernández will look at how language and cognitive sciences can be used for artificial intelligence systems and what they can teach us about our own language skills. In the second part, Floris Roelofsen will discuss the social value that linguistics can offer and how new methods and applications are being developed from a people-oriented perspective.

We are delighted to invite you to join our upcoming ERC Starting Grant workshop. This workshop will equip you with hands-on tools to write a successful proposal.

Talk That Science is a science-communication platform run by a group of science and music enthusiasts. Every month, we broadcast a radio show on echobox.radio, in which we talk about cool research while playing some nice tunes.

To celebrate our 3 year anniversary, to launch our brand new website, and to connect with our show’s guests and listeners, we will be hosting a Talk That Science event in De Sering, Amsterdam this June 10th. It will be a day full of science talks, live music and food.

This is a fully online talk in MS Teams, please email the organizer if you would like a link.

Lukasz Kaiser is a researcher at OpenAI, who works on fundamental aspects of deep learning and natural language processing. Prior to joining OpenAI, he was a Staff Research Scientist in the Google Brain team, where he co-designed state-of-the-art neural models for machine translation, parsing and other algorithmic and generative tasks and co-authored the TensorFlow system, the Tensor2Tensor and Trax libraries and the Transformer model, on which modern large language models such as ChatGPT are based. Before his position at Google, he was a tenured researcher at University Paris Diderot and worked on logic and automata theory. He received his PhD from RWTH Aachen in 2008 with a thesis on Logic and Games on Automatic Structures.

19:00-20:00 Lecture by Lukasz Kaiser
20:00-20:30 Panel discussion on the role of logic in modern AI

NWO organises an information meeting on Friday afternoon 2 June for researchers who want to apply for a Rubicon, Veni, Vidi or Vici. Besides information on the Talent Scheme, we will share information on various aspects of the rounds, from recognition and rewarding to persuasive writing. There will also be an opportunity to meet NWO staff members involved in the NWO Talent Scheme.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

On Monday 22 May the Institute for Logic, Language, and Computation will host a workshop on Causation and Modality in Logic and Language. The workshop will be hybrid. Everyone who is interested in causation in philosophy, linguistics and/or logic is very welcome to attend.

The speakers are Sander Beckers (Amsterdam), Ivano Ciardelli (Padua), Bridget Copley (Paris 8), Angelica Hill (UMass Amherst), Thomas Icard (Stanford), Mingya Liu (Humboldt), Dean McHugh (Amsterdam), and Prerna Nadathur (Ohio).

The workshop is followed by the PhD Defense of Dean McHugh on Tuesday 23 May.

The European Digital DemocracY network (EDDY) is having its second online meetup on Wednesday, May 17th at 15h00 (Berlin) on the theme of Digital Divides, featuring Eva de Valk (Dutch Policy Officer for Digital Inclusion) and Jan van Dijk (University of Twente).

As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.

The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.

Abstract:
Corruption in auctions, where an auctioneer engages in bid rigging with one (or several) of the bidders, occurs rather frequently in practice, especially in the public sector (e.g., in construction and procurement auctions). We study the social welfare loss caused by corrupt auctioneers, both in single-item and multi-unit auctions.

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.
Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.

Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

This is a hybrid talk. Contact the organizer for a link.

On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.

On Wednesday 26 April, Assia Mahboubi will give her inaugural lecture, preceded by a mini symposium. Everything takes place in the main building ("hoofdgebouw") of VU Amsterdam.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

This is a hybrid talk, you can contact the organizer for a link to the online meeting.

The UvA campuses Amsterdam Science Park, Roeterseiland and Universiteitskwartier will offer researchers the opportunity to look into each other's (research) kitchens, to encourage the use of each other's facilities. During the first Amsterdam Research Facility Visit on 6 April, researchers in the social sciences and humanities are welcome to visit the Centre for Mathematics and Computer Science (CWI) at the Amsterdam Science Park.

How does a researcher investigate Sign Language of the Netherlands (NGT)? And why is it important to do this? If you want to know the answers to these questions, come visit SignLab’s open house on Monday, April 3rd, 2023! Both deaf and hearing researchers from SignLab Amsterdam, Hogeschool Utrecht and the Dutch Sign Centre (Nederlands Gebarencentrum) will present about what they have been working on and what they have found. All presentations are about research on NGT. Topics that will be covered include plurals in NGT, different ways to ask a question in NGT, the development of sign language avatars, and different sentence types in NGT. All presentations will be given in NGT, and there will be interpreters present. You’re welcome to drink a cup of coffee or tea from 16:30, the presentations will start at 17:00.

Everyone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students, and collaborators to a morning on ChatGPT & the university.

How does it work? What can it do, and what can it not do? What are some of the ethical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions. With: Prof Raquel Fernández (dialogue systems), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezzelle (responsible AI), and others.

We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.

Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

This is a hybrid event, please contact the organizer for a link to the online meeting.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

In this talk we will explore the basic ideas of category theory as an alternative framework for mathematical thought. We will use CT to help us reframe familiar ideas, and explore some new ones. If you've ever heard one of your peers look at some daunting new concept and say "Oh! This is just..." and say a word you swore you knew the meaning of, but apparently don't, this talk is for you. My goal is not to teach you category theory: there are professionals to do that. My goal is to help you understand what it is, and why it seems to capture the obsession of everyone who studies it.

Abstract:
Planning models are usually defined in lifted, i.e., first order formalisms, while most solvers need (variable-free) grounded representations. Though techniques for grounding prune unnecessary parts of the model, grounding might – nevertheless – be prohibitively expensive in terms of runtime. To overcome this issue, there has been renewed interest in solving planning problems based on the lifted representation in the last years.

While these approaches are based on (heuristic) search, we present an encoding of lifted classical planning in propositional logic and use SAT solvers to solve it. Evaluating this approach shows that it is competitive with the heuristic search-based approaches in satisficing planning and even outperforms them if we are looking for (length-)optimal solutions.

Abstract: Bilateral State-based Modal Logic (BSML) is a modal logic employing team/state-based semantics which can be used to model free choice inference and other natural language phenomena. We introduce a natural deduction system for BSML as well as for two extensions: BSML with the inquisitive disjunction and BSML with a novel emptiness operator. We also study the expressive power of these logics—we show that the two extensions are expressively complete.

On Tuesday the deans of the Faculties of Science and Humanities will visit the ILLC and a programme was sent around earlier this week. Because of this event we decided to not also organise a Current Affairs Meeting that week.

This is a hybrid talk, please contact the organizer if you are interested in joining the online meeting.

On the 14th of February the boards of the faculties of FNWI and FGw will visit the ILLC.

There are two prominent accounts of counterfactuals in the literature---variably strict conditional accounts first developed by Stalnaker and Lewis, and strict conditional accounts defended by von Fintel, Hájek, and others. Unfortunately, both accounts face serious challenges. In the first half of this paper, I argue that existing strict conditional accounts fail to accommodate our probabilistic judgments about counterfactuals. The same goes for several other semantic theories of counterfactuals.

Having presented these challenges, I introduce and defend my own positive account of counterfactuals. The account incorporates a key insight of variably strict accounts--namely, that the antecedent of a counterfactual often influences what worlds are relevant to its truth conditions at a context. But unlike variably strict accounts, my view preserves a strict conditional semantics according to which Antecedent Strengthening is valid, thereby capturing the data that have motivated other strict conditional theorists. By adopting the right account of the pragmatics of counterfactuals, we can endorse a strict conditional semantics and still straightforwardly capture the full range of our intuitive judgments, including probabilistic judgments about counterfactuals.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

This is a hybrid seminar, please contact the organizer if you would like to lister to the seminar online.

Everyone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students and collaborators to an afternoon on ChatGPT & the university.

How does it work? What can it do, and what can it not do? What are some of the ehtical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions.With: Prof Raquel Fernández (dialogue systems), Prof Robert van Rooij (semantics), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezelle (responsible AI), Ece Takmaz (vision-language models), Mario Guilianelli (language generation), and others.

Reasoning about causal relationships is an important theme throughout science. The Nobel Prize in Economics was awarded last year to Guido Imbens and Joshua Angrist, for their role in the development of methods to investigate how researchers understand and analyze causal relationships. This webinar, which the Academy organizes together with the Association for Logic (VvL), brings together various experts in the field of reasoning about causality from different disciplines.

Speakers: Guido Imbens, Sara Magliacane, Thomas Icard and Katrin Schulz. The evening will be chaired by Rineke Verbrugge, professor of logic and cognition at the University of Groningen, and Balder ten Cate, associate professor of logic and theoretical computer science at the University of Amsterdam. The language will be English.

This session of the DSCC is organised jointly with the ENCODE project. Speakers will include Richard Pettigrew (Bristol), Marcus Pivato (Cergy) and Peter Wakker (Rotterdam).

At this year’s Dies Natalis of the University of Amsterdam, Professor dr. Vikram Patel (Harvard University) and Prof. dr. Chris Manning (Stanford University) will be awarded Honorary Doctorates. During this symposium, a panel of expert speakers will join our honorees to discuss pertinent topics within the fields of mental health and the use of artificial intelligence on a global scale.

A small-scall satelite event of this year's Dies Natalis "Societal Challenges, Global Mental Health and Humane AI".

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.

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

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.

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

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

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.

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.

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

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.

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.

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.

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.

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.

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.

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

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

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 European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna.  The current president of the ESAP is Prof. Katalin Farkas (CEU).

The workshop will comprise five 90-min sessions, one per day, with invited and contributed talks. It is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.Topics of interest include, but are not limited to the following for first-order modal and temporal logics:- languages, models, and semantics;- proof theory, deductive systems, and completeness/incompleteness results;- decidability, undecidability, complexity;- problems and applications in philosophy, mathematics, computer science and artificial intelligence.

Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.

The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.

By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.

The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions on topics including, but not limited to,

Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic Logic

Procedural and computational modeling frameworks have been applied successfully to various aspects of semantic and pragmatic processes, yielding not only a good fit to empirical data but also insights of theoretical relevance. On the one hand, computational (e.g., Bayesian or information theoretic) models rationalize speaker behavior and explain how a listener can use given information efficiently to infer the intended meaning from an utterance. However, these models often leave the stepwise processing of linguistic information unspecified. On the other hand, procedural (e.g., automata or ACT-R) models explain step-by-step cognitive processes behind meaning-related computations, e.g., the process of building sentence representations. However, they often lack the means to combine different information types in an interactive fashion. The goal of this workshop is to bring together researchers applying these two modeling methodologies to discuss their strengths and weaknesses and work towards an integrated approach.

Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.

Grammatical Inference is the research area at the intersection of Machine Learning and Formal Language Theory. Since 1993, the International Conference on Grammatical Inference (ICGI) is the meeting place for presenting, discovering, and discussing the latest research results on the foundations of learning languages, from theoretical and algorithmic perspectives to their applications (natural language or document processing, bioinformatics, model checking and software verification, program synthesis, robotic planning and control, intrusion detection...).

This 16th edition of ICGI will be held in-person in Rabat, the modern capital with deep-rooted history of Morocco located on the Atlantic Coast. To celebrate the 30th anniversary of the ICGI conference, the program will include a distinguished lecture by Dana Angluin. The program will also include two invited talks, on recent advances of Grammatical Inference for Natural Language Processing and Bioinformatics by Cyril Allauzen (Google NY) and Ahmed Elnaggar (TU München), a half-day tutorial at the beginning of the conference on formal languages and neural models for learning on sequences by Will Merrill, as well as oral presentations of accepted papers.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org

Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.

[LICS Affiliated Workshop] Nearly a century has now passed since D. Hilbert and W. Ackermann asked if there an algorithm which, when given a formula of first-order logic, determines whether that formula is satisfiable. The negative answer provided by A. Church and A. Turing only a decade later transformed this question into a classification programme: for which fragments of first-order logic, we ask, is the problem of determining the satisfiability of a given formula decidable? Can we chart, in the words of W.V.O. Quine, the limits of decision in first-order logic? Indeed, logicians now typically set themselves a more ambitious goal: given a fragment of first order logic, if its satisfiability (and/or its finite satisfiability problem) is decidable, what is its computational complexity?

From early work on quantifier-prefix fragments, the study of the satisfiability problem (and finite satisfiability problem) for fragments of first-order logic, and indeed of its non-first-order extensions,has now become a central topic in Computational Logic. The aim of the workshop, affiliated with LICS 2023, is to highlight recent developments in this area, with particular emphasis on those fragments which have been the focus of recent interest. These include, for example: Modal and description logics; Logics for ontology-based data access; The negation-guarded fragment; The fluted fragment; Separation logics; Logics of dependence and independence; Combinations of existing fragments.

In higher education, curricula and courses are often not cast in stone. They need adaptations regularly, for instance because another course in the curriculum changes. In secondary education, changes are less common. However, in the Netherlands, a curriculum reform is planned to be implemented in the next years, also concerning foreign languages. A question that arises in this context is how reforms are best effectuated, and how courses in existing curricula can be changed?

On June 23^rd, 2023, LLRC will organize a one-day conference on precisely this topic. We are very happy to announce that Dr. Marjon Tammenga-Helmantel (SLO) has agreed to give the keynote lecture. She is a specialist in foreign language teaching and currently involved in facilitating the process of curriculum reform in secondary education. Her keynote will start the day with a brief overview about curriculum development at national, school and classroom levels. Concrete tools to facilitate curriculum changes or adaptations in foreign language education will be discussed.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

Machine Translation (MT) is a core technique for reducing language barriers for spoken languages. Although MT has come a long way since its inception in the 1950s, it still has a long way to go to successfully cater to all communication needs and users. When it comes to the deaf and hard of hearing communities, MT is in its infancy. The complexity of the task to automatically translate between SLs or sign and spoken languages, requires a multidisciplinary approach.

The rapid technological and methodological advances in deep learning, and in AI in general, that we see in the last decade, have not only improved MT, recognition of image, video and audio signals, the understanding of language, the synthesis of life-like 3D avatars, etc., but have also led to the fusion of interdisciplinary research innovations that lays the foundation of automated translation services between sign and spoken languages.

The AT4SSL workshop aims to open a (guided) discussion between participants about current challenges, innovations and future developments related to the automatic translation between sign and spoken languages. To this extent, AT4SSL will host a moderated round table around the following three topics: (i) quality of recognition and synthesis models and user-expectations; (ii) co-creation - deaf, hearing and hard-of-hearing people joining forces towards a common goal and (iii) sign-to-spoken and spoken-to-sign translation technology in media.

The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.

Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.

Conference Scope:
 A. Pre-Avicennan Logic
 B. Avicenna’s Logic
 C. Post-Avicennan Logic
 D. Comparative logic

We invite submissions for a Special Issue on Logics for the new AI Spring, to be published with the International Journal of Approximate Reasoning.

The development of logics capable of representing human-like reasoning has always been one of the central objectives of logic-based Artificial Intelligence. In addition to providing very successful tools for knowledge representation and reasoning, logic-based AI is now facing the new and pressing challenge related to the integration of symbolic and sub-symbolic AI. In pursuing it, logic can once again shape significantly the future developments of AI. The primary goal of this special issue is to gather cutting-edge contributions which will jointly provide a comprehensive state-of-the-art in the subject.

To achieve this, the scope of the special issue focuses on, but is not limited to, the following topics: (1) Logical methods in symbolic AI; (2) Logical methods in machine learning; (3) Machine learning in a logical setting; (4) Reasoning and (interactive) decision making under uncertainty.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).

The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!

We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

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

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.

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.

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.

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

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

Philosophical knowledge is often described as being conceptual. Therefore, concepts have been an important topic in phosophy since Plato’s theory of forms. Very recently, the study of concepts has taken new and exciting routes. Experimental philosophers investigate the understanding of concepts with tools that are unprecedented in philosophy. Drawing on research from the empirical sciences, in particular from psychology, philosophers have taken new approaches to what concepts are and do. Finally, an increased awareness of problematic concepts – e.g., concepts that contribute to discrimination – has helped to establish the new field of conceptual ethics. Against this backdrop, the symposium of the Swiss Philosophical Society aims at bringing together and discussing new work on concepts. In this way, we also hope to reflect upon the self-understanding of philosophy and upon the contribution that work on concepts can make in broader society.

The focus of this event is on AI and its role in our modern society. We’re bringing together experts from philosophy, computer science and AI research to discuss about topics such as (Artificial) Intelligence, Machine Ethics, Explainability, Algorithmic Bias, Fairness, Privacy & Security, AI in Healthcare, …

Speakers: Aldo Faisal, Sine Fazelpour, Susanne Gaube, Henrik Heuer, Eva Lermer, Dimitri Coelho Mollo, Wojciech Samek, Elizabeth Seger, Tobias Seitz, Mariya Toneva, Kate Vredenburgh, Herbert Zech.
Keynotes: Joe Halpern, Marija Slavkovik, Johanna Thoma.

Attendance: Keynotes are free to attend and open to everyone. To participate in the full summer school program, students (advanced BA-level or higher) must apply through our website. A limited number of travel bursaries is available. Senior researchers interested in attending (some of) the talks can contact us directly at phil+cs at uni-bayreuth.de; we’ll make seats in the lectures available as room capacity permits.

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

The course is primarily meant for advanced bachelor students, master students and PhD students all over the world, but researchers are also very welcome.

Algebra, category theory and logic have traditionally played an important role in our understanding of computing. Recently, there has been a surge in new ways of understanding how these disciplines can help in tackling challenges in the theory and applications of computing. Examples are: combining machine learning and proof-theoretic approaches to natural language; reasoning about multi-agent systems; developing programming languages and compositional models; and specifying and analyzing systems and protocols.

The aim of this workshop is to bring together both leading and upcoming researchers who use such approaches, with the goal of promoting collaborations across the different disciplines.

This workshop is the first event in a program aimed at offering Farsi-speaking mathematicians — as well as any mathematician interested in building cross-cultural connections — opportunities to build a network and receive mentoring from leading Farsi-speaking mathematicians. The workshop will be held in a bilingual Farsi-English setting, and participants do not need to be fluent in both languages to attend.

Topic modelling is one of the most popular methods for explorative research in large collections of documents, and topic models can also be foundational to various other language technology such as search engines. Recently, it has found many applications in the humanities as well, for example for exploring collections of reviews of media, trends in social media posts or by correlating topics to sociolinguistic variables in text corpora. In this workshop, we will cover some basics of topic modelling and we will do some hands-on practice, both with easy-to-use tools and with Python for those who have programming experience (but programming experience is not required to participate in the workshop).

The workshop is led by Jelke Bloem and Viktorija Kostadinova. There will be coffee, tea, and sandwiches, kindly sponsored by the ACLC. If you're interested in participating, please register by June 9th.

New work on the philosophy of logic, formality, proofs, normativity, and pluralism.

Speakers: Rachel Boddy (Utrecht), Leon Commandeur (Bergen), Robin Martinot (Utrecht), Evelina Lissoni (ILLC), Sabina Domínguez Parrado (ILLC), Sebastian Speitel (Bonn), Pilar Terrés (UCLouvain).

Keynote Address: Catarina Dutilh Novaes (VU Amsterdam).

After having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.

The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.

The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.

Featuring renowned international keynote speakers, the conference will highlight the importance of the theme of responsible AI by approaching it from different perspectives (AI, data science, governance). Registration is open now and will remain open until 18 January.

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

The coordination of World Logic Day 2023 is -- for the third time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2023 to celebrate this day. Events will be listed on the CIPSH website.

The Covid pandemic still has an effect on international travel and the question whether in person meetings are appropriate; in addition, we have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world.

Mario Giulianelli will defend his PhD thesis on Neural Models Of Language Useon 15th December. The defence will take place in the Aula (Oude Lutherse kerk, Singel 411) at 11 am.

The past 40 to 50 years have seen the rise of a wide range of innovative tools developed to deepen and renew the democratic process. One such tool is participatory budgeting (PB), which encompasses a large range of mechanisms that aim at making budgeting decisions in a participatory and collective manner. This thesis studies PB mechanisms. We view them as ways of obtaining a collective budgeting decision. More specifically, we investigate PB as a voting procedure in which citizens are asked to submit their preferences in order to decide which projects should be funded, subject to a budget constraint. Throughout the thesis, we define new fairness criteria to assess the outcome of PB processes; we develop a novel epistemic approach to PB; we present intricate ways to incorporate additional constraints into the formal analysis; we analyse the temporal aspects of PB; and finally, we study a multi-stage model. The end product covers a large diversity of implementations of PB processes, studied from various angles. I hope that this work, at its small scale, can help make better decisions for PB, and by that, improve the democratic process at a larger scale.

In my PhD thesis, I present research into human causal cognition using a variety of perspectives and methodologies. Causal cognition refers to people's ability to understand cause-and-effect relationships and to reason about how events are connected in terms of causes and effects. This plays a crucial role in most of our daily activities, including decision-making, problem-solving, and learning. The research in my thesis is structured in three parts. In the Part 1, I present experimental research investigating variability in causal judgments and the effect of time pressure on causal reasoning. In Part 2, I develop and test a new computational cognitive model of causal reasoning: the Bayesian Mutation Sampler. Lastly, in Part 3, I identify a lack of an embodied perspective on causal cognition. To address this gap, I put forward an affordance-based theory of causal engagement that is grounded in the principles of ecological psychology and enactivism.

Starting at 14:00 sharp!

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions?

At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective.

The defense of Evan Iatrou has been delayed to september (date to be announced).