One of the central issues discussed in the context of the societal impact of language technology is that machine learning systems can contribute to discrimination, for instance by propagating human biases and stereotypes. Despite efforts to address these issues, we are far from solving them.

The goal of this workshop is to bring together researchers from different fields to discuss the state of the art on bias measurement and mitigation in language technology and to explore new avenues of approach. For more information, read our Call for Abstracts.

The third PhiMath meeting of the semester. After talking about the infinite and Frege Arithmetic, it is time to turn to potentialism about set-theory. In this session we will look at potentiality about the height of the cumulative hierarchy, following Soysal's paper. Hybrid 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.

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.

Our second meeting of the year continues along the lines of potentialism. Now we turn to Frege Arithmetic and a genuinely potentialist account of it. Hybrid meeting!

Memorisation is a natural part of learning from real-world data: neural models pick up on atypical input-output combinations and store those training examples in their parameter space. That this happens is well-known, but which examples require memorisation and where in the millions (or billions) of parameters memorisation occurs are questions that remain largely unanswered. In this talk, I first elaborate on the localisation question by examining memorisation in the context of classification in fine-tuned PLMs, using 12 tasks. Our findings give nuance to the generalisation-first memorisation-second hypothesis dominant in the literature and find memorisation to be a gradual process rather than a localised one. Secondly, I discuss memorisation from the viewpoint of the data using neural machine translation (NMT) models by putting individual data points on a memorisation-generalisation map. I illustrate how the data points' characteristics are predictive of memorisation in NMT and describe the influence that subsets of that map have on NMT systems' performance.

On Wednesday 16 October there will be a workshop on the occasion of Marco Degano's PhD Defense. Speakers include Marco Degano, Jacopo Romoli, Raquel Veiga Busto, Sigrid Beck, Tomasz Klochowicz, Sonia Ramotowska, Milica Denić, Aleksi Anttila, Søren Knudstorp, Fan Yang and Donka Farkas.

The first session of the Proof-Theoretic Semantics Seminar Series is coming up! This is a series of periodic online talks delivered by early career researchers working in proof-theoretic semantics or akin fields, organised by the PTS-Network.

On October 15, 4-5pm (UTC +1), Sophie Nagler (University of St Andrews) will present her work with the title "Inference behaviour semantics for all* connectives in two-dimensional sequent calculi".

Boo! 〣( º_º )〣 Ex Falso is celebrating Spooktober with a scary game night on Friday 11th from 18:00 to 23:00 in room F3.20 (Science Park 107, floor 3). Free snacks and drinks will be provided. If you are a Master of Logic/Logic Year/PhD student, feel free to drop by!

Abstract:

In equational reasoning, congruence closure is known for being a semi-decision procedure that’s efficient in practice. Equality saturation can be seen as an extension of congruence closure that allows conditional rewriting and optimizing terms in the equivalence classes. It has been very successful in domains beside automated reasoning, like program optimisation in compilers. In this talk we wi...

Join us at Science Park 904 this October for the Complex Consciousness Symposium. Delve into interdisciplinary research with thought leaders from philosophy, neuroscience, mathematics, psychology, and physics. Engage with profound questions about the mind and consciousness, exploring the intricate connections between mental and physical worlds.

This talk will provide a gentle introduction to the Shannon Capacity of graphs, a fundamental concept at the intersection of information theory and graph theory. The Shannon Capacity, introduced by Claude Shannon in 1956, quantifies the maximum amount of information that can be transmitted without error through a noisy communication channel, which is modeled as a graph. Despite decades of mathematical research, including work by members of our department, many seemingly basic problems surrounding Shannon Capacity remain open. We will survey some of these open questions.

We will have an event of the DaDriH series on October 8th between 15:00 and 16:30 (CEST), when Ylva Söderfeldt, Andrew Burchell, Julia Reed & Maria Skeppstedt (Uppsala) will give a talk titled "Topic timelines for enabling close and distant reading of discursive shifts". Ylva and colleagues will discuss an application of the recently developed time line extension of the topic modelling tool Topics2Themes.

On Saturday 5 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.:
- Walk around the market with physics experiments, such as a 2-metre-high tornado!
- Taste a special ice cream made by chemistry students from liquid nitrogen.
- Make your own Pulsar, one of the most extraordinary stars!
- Take a journey through the universe in the NOVA mobile planetarium.
- Control a footballing Aldebaran Nao Robot yourself using a PlayStation controller!
and more.

Due to a sudden emergency the speaker for today will not be able to come and the organizers
have to cancel the talk. We're very sorry for the last-minute announcement.

Welcome to PhiMath 2024! In our first meeting for this academic year, we will discuss a paper by Linnebo and Shapiro on the notion of Potential Infinity.

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.

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.

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.

There will be no results in this talk. Instead, I will take you on a stroll through three areas of mathematics - combinatorics, representation theory, and quantum computing - and tell you a story about connections between them. The main characters in this story are: dynamic programming, RSK correspondence, Schur transform, q-deformation, and matrix quantum groups.

At a time when AI introduces new challenges to the traditional scientific publishing system and the integrity of many established researchers is under scrutiny, the importance of maintaining scientific integrity is more crucial than ever. On September 23, the Open Science Community Amsterdam together with the Student Initiative for Open Science hosts the Scientific Integrity Symposium to highlight interdisciplinary perspectives on the topic, discuss prerequisites for fostering a culture of research integrity, and address the growing challenges of scientific fraud.

This event is free to attend, and includes lunch, coffee-breaks, and drinks afterwards, but registration is required. You can choose to attend either the morning session, the afternoon session, or both, depending on your availability and interests. Register for the event here.

Abstract:

In the setting of fair allocation of indivisible goods, there are various desiderata that one might want from an allocation. Two important ones are envy-freeness and Pareto efficiency. In general, one cannot guarantee to find an allocation that satisfies both, and its computationally hard to find an allocation satisfying both, even if it exists. Moreover, this problem cannot even be directly en...

It’s time for the first Ex Falso Night of the year. Hooray :) This time around, we are having a movie night.

(Photo by Jeremy Yap on Unsplash, free to use under the Unsplash License)

SAGT brings together researchers from Computer Science, Economics, Mathematics, Operations Research, Psychology, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Game Theory. The program of SAGT 2024 will include a tutorial day, invited lectures and presentations of peer-reviewed submissions. 

Like every year, we'd like to welcome the new cohort of Master of Logic students with drinks and pizza outside of Café Restaurant Polder at Science Park. Every staff member and student of the ILLC is welcome!

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.

If you wish to receive the Zoom ID and password for this talk, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

Also imported from LIRa-Seminar (https://projects.illc.uva.nl/lgc/seminar/) as item 'LIRa-Seminar/2024/08/joint-nihil-lira-session-yanjing-wang/'.

Also imported from NihiL (https://projects.illc.uva.nl/nihil/seminar) as item 'NihiL/2024-08-15 11:00'

The Concepts in Motion group at the University of Amsterdam (ILLC) is happy to announce the second season of the online Data-Driven History of Ideas (DaDriH) seminar series, where speakers are senior researchers, as well as the PhD-in-DaDriH seminar series, where speakers are PhD students. Like our inspiring first couple of sessions the series will cover datasets, formats, tools, and best practices for working with data relevant to the history of ideas.

We will kick off the DaDriH series on July 16th between 15:00 and 16:30 (CEST), when Stefan Hessbrüggen-Walter (Freie Universität Berlin) will give a talk titled "Early Modern Dissertations in French Libraries" (EMDFL): Some Lessons Learned". Stefan will discuss the methodological challenges encountered in compiling a bibliographical dataset derived from appr. 56.000 records of early modern dissertations from French libraries.

This workshop is part of a research project on the topic of “Logic and AI”. It will bring together international experts to explore the promising interaction of logic and modern artificial intelligence (AI). While AI struggles with explainability, interpretability, and verifiability, logic excels at this. So can logic help AI? And if so, how?

Speakers include Giuseppe Marra (KU Leuven), Levin Hornischer (LMU Munich), Martin Grohe (RWTH Aachen), Lena Strobl (Umeå University), Herbert Jaeger (University of Groningen), Atticus Geiger (Pr(Ai)²R), Thomas Icard (Stanford University).

The upcoming Virtual Ethical Innovation Lecture Series (hosted by the Ethical Innovation Hub of the University of Lübeck, Germany) will feature a diverse lineup of speakers addressing critical topics at the intersection of ethics and innovation with a particular focus on issues of artificial intelligence. Each session will consist of a short talk and a pen Q&A session.

In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.

In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

This film offers "a searing window into the struggles and resilience of the Palestinian people under Israeli occupation. It explores themes of loss, trauma, and the quest for justice. We follow, among others, Palestinian journalist and therapist Ashira Darwish, grassroots activist Ahed Tamimi, and Israeli journalist Amira Hass". As the repression of Palestinian and other critical voices is only increasing, we want to take the chance to bring to this space and resonate the perspectives and realities of those that the media and the dominant powers want to erase. Join us to watch, reflect and learn together.

We already had the ILLC Colloquium as part of the ILLC Open Day and we do not have many topics to discuss. Therefore we decided to cancel the Current Affairs Meeting (CAM) this Friday.

The Dutch Logic PhD Day 2024 is a VvL event that brings together PhD students in Logic and related areas (such as philosophy, computer science and AI) to foster 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.

Imagine you are working as a barista at a coffeeshop. A customer asks a polar question like “Do you have iced tea?” but you've run out. In this situation, you might likely provide an overinformative answer going beyond a simple “yes” or “no” (e.g., “No, but we've got iced coffee!”), but what principles guide the selection of additional information? This talk proposes that such answers draw on learning about our interlocutors from language; they present a non-trivial instance of pragmatic communication which depends for complex reasoning drawing on these inferences about the interlocutors and world knowledge. The talk will feature a combination of Bayesian pragmatic models and LLM results.

The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2024. The Logic at Large Lectures are an annual, public VvL event for a broad audience, featuring prominent researchers in logic and its applications. This year, Larry Moss will speak about A Place for Logic in the Computer Processing of Language. Please register through https://forms.gle/uUEFyAisxoxSZfnM8.

The next PhD assembly meeting, where PhD students can ask questions to the Management Team of the ILLC, is on Monday 17 June from 12.00 till 13.00 in the Common Room of SP107. Lunch will be arranged.

Abstract:
“Multi-agent pathfinding”, also called “pebble motion on graphs” or “cooperative pathfinding”, is the problem of deciding the existence of or generating a collision-free movement plan for a set of agents moving on a graph. While the non-optimizing variant of multi-agent pathfinding on undirected graphs is known to be a polynomial-time problem since forty years, a similar result for directed graphs was missing. In the talk, it will be shown that this problem is NP-complete. For strongly connected directed graphs, however, the problem is polynomial. And both of these results hold even if one allows for synchronous rotations on fully occupied cycles.

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.

Artificial Neural Networks (ANNs) have proven to be powerful learning devices for language-related tasks, as demonstrated by recent progress in artificial intelligence driven by large, Transformer-based language models. But how can ANNs inform us about human language learning and processing? Our three-day workshop brings together researchers working on cognitively motivated and linguistic questions in studying the language processing mechanisms and learning trajectories of ANNs.

For the first two days of the programme, we hope to stimulate discussion on the workshop theme through contributed presentations from our workshop participants and keynote speakers. The final day is focussed on active interactions and collaboration between participants, through small-scale tutorials and joint group work on a collaborative task.

On June 7th, the ILLC will organise an Open Day, similar to the open day held in 2019. The Open Day will be followed by an ILLC Reunion for all former and current staff and students.

Click here for the program and latest updates about both events and to register for the reunion. 

Due to the widespread use of large language models (LLMs) in ubiquitous systems, we need to understand whether they embed a specific worldview and what these views reflect. Recent studies report that, prompted with political questionnaires, LLMs show left-liberal leanings. However, it is as yet unclear whether these leanings are reliable (robust to prompt variations) and whether the leaning is consistent across policies and political leaning. In this talk, I will present the results of our study where we propose a series of tests which assess the reliability and consistency of LLMs' stances on political statements based on a dataset of voting-advice questionnaires collected from seven EU countries and annotated for policy domains. We then evaluate LLMs ranging in size from 7B to 70B parameters and observe to what extent they are consistent in terms of political worldview and political orientation. Finally, I’ll discuss the importance of taking these biases into account, and how they raise relevant design questions in use case applications.

The upcoming Virtual Ethical Innovation Lecture Series (hosted by the Ethical Innovation Hub of the University of Lübeck, Germany) will feature a diverse lineup of speakers addressing critical topics at the intersection of ethics and innovation with a particular focus on issues of artificial intelligence. Each session will consist of a short talk and a pen Q&A session.

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.

See the announcement for the next talk below. 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.

On June 3, CWI and the UvA organize a farewell symposium to celebrate the many contributions Harry Buhrman has made to theoretical computer science and to quantum computing over the course op his 30+ years in Amsterdam, including his co-founding (together with Kareljan Schoutens) of the research center QuSoft in 2015.
This special symposium will include talks by close colleagues Lance Fortnow and Gilles Brassard, as well as by many colleagues from Amsterdam. More info can be found on the CWI website.

Please register if you like to attend this symposium, also on the CWI website.
Participations is free of costs and reservations are on first-come, first served basis.
We are looking forward to meeting you at this special event.

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.

Much recent work seeks to evaluate values and opinions in large language models (LLMs), motivated by concerns around real-world LLM applications. For example, politically-biased LLMs may subtly influence society when they are used by millions of people. Such real-world concerns, however, stand in stark contrast to the artificiality of current evaluations using multiple-choice surveys and questionnaires: real users do not ask LLMs survey questions. In my talk, I will present recent work in which we challenge the prevailing constrained evaluation paradigm for values and opinions in LLMs. I will also outline the steps we are now taking to build more realistic unconstrained evaluations for political values and opinions in LLMs.

In April 2024 the MoL students planning to graduate this summer will present their ongoing thesis projects to the ILLC community. This session will include our students in Logic, Language and Philosophy.

Speakers: Flip Lijnzaad, Teodor-Ștefan Zotescu, Alex Stan, Paul Talma, Ruiting Hu, Urtė Jakubauskaitė, Frank Goossens, Arunavo Ganguly and Radu Ghita.

The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).

Op 19 april organiseert het Signlab weer een open avond. Kom je ook?
Aanmelden is verplicht en kan uiterlijk tot 12 april.

Het programma is als volgt:
18.15 Inloop
18.30-20.30 Lezingen en demo's
20.30-22.00 Borrel!

Er zijn de hele avond tolken NGT-NL aanwezig. Vragen of opmerkingen? Mail ons gerust op signlab.amsterdam at gmail.com. Ook vragen we je om ons te mailen als je je hebt aangemeld, maar toch niet meer kan komen. Misschien is er dan nog plek voor iemand anders.

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.

The Inclusive AI community is excited to invite you to a thought-provoking panel discussion about Diversity and Inclusion, and Artificial Intelligence. Organized by our community, this event promises to create a safe environment where we can bring our authentic selves and talk about sensitive topics like diversity and inclusion.

We delve into two pivotal questions:
· Why should we prioritize diversity and inclusion?
· How can AI be harnessed for societal benefit?

On the 11th of April at 15:00, Eugenio Petrovich & Sander Verhaegh (Tilburg University) will be presenting their dataset 'EDHIPHY' in Concepts in Motion's DaDriH Seminar Series. EDHIPHY is a relational database that facilitates studying the history of 20th century Anglo-American philosophy and contains data of ca. 23.000 journal articles, enriched using mention extraction, a technique that extracts mention of philosophers from full text. The talk will cover the technique of mention extraction, as well as a case study on the impact of the migration of European intellectuals on US philosophy between 1930 and 1960. Please register here.

The last decade has seen a steady increase in work on question meaning, in particular polar question meaning, with relatively new notions like bias becoming front and center. At the same time, the empirical field has widened to include some understanding of various forms fulfilling the polar question function. Spanning not only interrogatives but also declaratives, tags, and alternatives, these forms raise important questions for the relationship between form and meaning. This workshop brings together work that continues this line of research. Topics range from fromal accounts of aspects of polar(-like) question forms across languages to manifestations of meaning in pragmatic and social levels that connect to formal grammatical events such as clausal structure, negation, focus and intonation.

Invited speakers: Diti Bhadra (University of Minnesota), Regine Eckardt (Konstanz University), Lisa Matthewson (University of British Columbia) and Deniz Rudin (University of Southern California).

In April 2024 the MoL students planning to graduate this summer will present their ongoing thesis projects to the ILLC community. This session will include our students in Logic and Computation.

Speakers: Daan Schoneveld, Hannah Van Santvliet, Wietse Bosman, Xiaoshuang Yang, Wouter Smit, Yilun Wang, Michael Mueller, Raufs Dunamalijevs and Amity Aharoni.

As you may have already heard, the research master Brain and Cognitive Sciences (MBCS) is celebrating its 20th anniversary on April 9, from 13:00 - 17:30 in Pakhuis de Zwijger. As many of ILLC members have been instrumental in making the programme a success, you are of course also very welcome to join us in the festivities. If you are interested, please sign up before 1 april 2024.

In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.

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

This workshop explores the philosophy of understanding, especially in the light of complex scientific phenomena, technological innovations such as quantum and AI, and science communication. It will address the nature and scope of both expert and public understanding of science and technology.

This talk will explore the application of Latent Dirichlet Allocation (LDA) Model to the writings of Ludwig Wittgenstein. Specifically, it will highlight what topic modeling is and why it can be useful for philosophical interpretation, show the two main stages of how LDA works in practice (data preprocessing and model execution), and address some major challenges in assembling the corpus of Wittgenstein's writings. Finally, initial results will be shown and the limitations and problems associated with these results will be pointed out.

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

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 the first talk in a new series of seminars we are calling "Women in Logic Online". Valeria will talk about the initiative "Women in Logic", and then move on to discuss her project "Network Mathematics", which puts together previous strands of work in language, logic, and mathematics. You will learn about three small prototypes designed to make use of the new tools of AI to improve access to mathematics, especially to Category Theory.

This is a hybrid talk, please contact the organizer for a link.

Abstract:

Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...

16h00-16h45: Wietse de Vries (GroningenNLP): DUMB: A Benchmark for Smart Evaluation of Dutch Models (joint work with Martijn Wieling, Malvina Nissim)

16h45-17h15: Zoë Prins (ILLC, UvA), Blimp-NL: Building a large Dutch corpus to measure knowledge of grammar and grammaticality judgments in language models and humans (joint work with Michelle Suijkerbuijk, Marianne de Heer Kloots, Jelle Zuidema & Stefan Frank -- CLS Radboud & ILLC UvA)

Research in the Social Sciences and Humanities (SSH) requires its own approach and facilities to increase the impact of research results. To support this, two funds have been set up: the SSH Impact Fund and the SSH Concept Fund. The funds, aimed at all researchers in the alpha and gamma disciplines, will be festively launched for Faculty of Humanities academics at Humanities Labs.

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

In this talk I discuss how estimating and propagating epistemic uncertainty benefits generalization and deep exploration in reinforcement learning (RL) by focusing on two recent contributions. First, I consider model-free distributional RL, which aims to learn the distribution of returns rather than their expected value. Second, I discuss how propagating epistemic uncertainty estimates can be leveraged in a model-based RL setting, by embedding them in Monte-Carlo Tree Search (MCTS).

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.

For our final meeting on structuralism, we cover the modal set-theoretic structuralism from Parsons and Linnebø. This rounds out the book we have been following and also our time with structuralism (for now).

This is a hybrid talk, please contact the organizer for a link.

On the 15th of February at 15:00, Daniele Morrone (KU Leuven) will discuss his 'TheSu XML' project in the Concepts in Motion's DaDriH seminar series. TheSu ('Thesis Support') XML is an XML annotation schema designed for digitally analyzing, indexing, and mapping ideas and their contexts of expression in various sources, specifically tailored to aid research in the history of ideas, philosophy, science, and technology. If you wish to attend this seminar, please register here.

NB, speakers in this series are established researchers in the field of data-driven humanities reseach. For our PhD seminar series see here.

Data have a very powerful influence: they can sustain prevailing societal inequalities, but they also have the potential to transform them. To stimulate discussion about bias in data and to connect stakeholders, FemData was started in August 2023. FemData focuses on the ways that gender biases can distort the model outcomes by influences the collection, labeling, and interpretation of data, leadin to skewed insights, and perpetuating inequality. In this talk, Paulina and Myrthe will introduce their initiative and provide some examples from previous research on the topic of gender bias in data applications.

The goal of the workshop is to bring together researchers interested in the impact of (online) social networks on democratic decision making from different backgrounds and perspectives, among which logic, graph theory, social choice theory, philosophy, social network analysis, and economics. The event is funded by Zoé Christoff's NWO VENI (2020) research project "Democracy on Social Networks".

A preliminary program is available on the workshop webpage. Attendance of the workshop is free of costs but registration is necessary, as we have a limited number of seats.

On the 7th of February at 14:30, Maria Chiara Parisi (University of Amsterdam) presents her work on mathematics and explanation in Antiquity in Concepts in Motion's PhD-in-DaDriH seminar series. Maria Chiara combines conceptual analysis with quantitative and computational techniques on a 'big-data' ancient Greek corpus. She will present her research questions, conceptual models, expert term lists, and paragraph annotation techniques. If you wish to attend this seminar series, please register here.
NB, this event is specifically tailored for PhD students. For our DaDriH seminar series featuring later-career researchers see here. This meeting was previously scheduled for the 30th of January.

As part of the NihiL workshop, there will be a special joint NihiL-DIP session featuring a talk by Larry Moss from Indiana University.

As part of the NihiL workshop, there will be a special joint NihiL-LIRa session featuring a talk by Hannes Leitgeb.

The goal of the workshop is to bring together linguists, philosophers, logicians, and cognitive scientists who share an interest in the interfaces between (non-classical) logic, language and cognition. 

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

On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.

Due to unforeseen circumstances, the speaker will not be able to come to Amsterdam in person but will give the talk through Zoom. You can join the talk in room F1.15 at Science Park 107, or on Zoom.

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.

LAB42 is in development, and we'd like to hear your thoughts! On 18 January 12.00, we're hosting an Insight and Idea Lunch (lunch will be provided ????). We'll share brief presentations about our latest projects and seek your thoughts on upcoming endeavors.

The first speaker in the PhD-in-DDriH Seminar Series is Maud van Lier (University of Konstanz) who is setting up a corpus-based investigation of the concept of artificial agency.

Dear colleagues,

We cordially invite you to attend the Vienna World Logic Day Lecture, which will be held by Prof. Adnan Darwiche (UCLA):

"Beyond truth and falsehood: Logic as a Calculus of Events"

When? Friday, January 12, 2024, 17:00 CET

Where? Online via Zoom with a livestream on Youtube

The next LAB42 meetup is planned on January 11th starting at 16.00. During this month's edition we're arranging an excursion to our neighbours at the Quantum Experience! Join and explore the potentials and future of quantum technology. Following that, we'll gather on the third floor of LAB42 at 16:30 to raise a toast to the upcoming year.

Please RSVP promptly due to limited spots for the Quantum Experience.

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, when 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 levels that run from foundational to introductory to advanced, 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 on 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.

ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series.

Main 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

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.

The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".

The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India.  The Asian Workshop on Philosophical Logic (AWPL) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories.  AWPL 2025 will happen just after ICLA 2025, which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. The Association for Logic in India (ALI) will be a co-organizer for this workshop.

Topics of interest include (but are not restricted to): Algebraic logic; Chinese logic; Constructive logic; Decision Theory; Formal epistemology; Game Theory; Greek logic; Indian logic; Inductive logic; Logics of belief change; Logics of conditionals; Modal, temporal, epistemic and deontic logics; Nonmonotonic logics; Relevance and other non-classical logics; Philosophy of language; Philosophy of mathematics; Philosophy of Science; Proof Systems, Quantum logic; Vagueness; as well as their applications in: Artificial Intelligence, Cognitive Science; Computer Science; Law; Linguistics; Mathematics; Social Sciences.

The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous ICLA 2023 can be found at https://icla2023.iiti.ac.in, and those of the earlier editions of the conference at the ALI website.

The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata during February 3 -- 5, 2025.

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 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

CPP 2025 will be held in January 2025 and will be co-located with POPL 2025 in Denver, Colorado, United States. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers.

In the last decade, the growth of the Internet and other web technologies have driven fast developments of various networking technologies that are be coming primary parts of our daily lives. The wealth of existing algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices resulted in a fast-growing adoption of future networks and highly decentralized systems. Future networks and distributed systems research is an interdisciplinary research field involving academic researchers in computer science, communication engineering, physics and social and behavioral studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service, spontaneous and autonomic networking and other capabiliti es.

The 2024 International Conference on Future Networks and Distributed Systems (ICFNDS 2024) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere.

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.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. Following the tradition of PSSL, this is intended to be an informal meeting that covers all areas of category theory and its applications. We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).

The event will be held in a hybrid format so that even those who are unable to travel can participate. There are no registration fees, but we ask that you complete the registration form even if you plan to attend remotely.

• The ConsILR series of conferences was initiated in 2001, following a Iaşi-Bucharest-Chișinău scientific cooperation on Romanian Language Processing. Over the years it coagulated a much larger community of researchers, belonging to different languages and equally to the computer science and the humanities domains.
• ConsILR-2024 is addressed to computer scientists and linguists, from PhD students to senior researchers, working on all areas of language modelling and processing, including lexicographers and creators of any forms of digital resources.

Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations.

NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

Can truth be defined? Frege argued that it couldn't. Ramsey argued that defining it would be easy if only we had an analysis of judgement. Today Horwich claims that truth cannot be defined explicitly because doing so would require quantification into sentence position and such quantification is not coherent. Instead he proposes a “minimal theory” of truth, which comprises all the unproblematic instances of the equivalence schema. Künne, by contrast, argues that quantification into sentence position is coherent and may actually be part of some natural languages. Künne uses such quantification to define truth explicitly: ∀x (x is true iff ∃p ((x is the proposition that p) & p)). Or in English: a representation (belief, assertion etc) is true just if things are as it represents them as being.

Is truth definable? Is propositional quantification coherent? Do natural languages involve propositional quantification, and in what sense? What do the answers to these questions mean for philosophical attempts to define or explain truth? Is truth redundant if explicitly definable? Not redundant if not explicitly definable? We are interested in these and related questions (broadly conceived).

Confirmed speakers are: Peter Fritz (Australian Catholic University), Paul Horwich (New York University), Wolfgang Künne (University of Hamburg), Poppy Mankowitz (University of Bristol)  and Cheryl Misak (University of Toronto).

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR'24 will be co-located with the 47th German Conference on Artificial Intelligence (KI 2024).

This event is devoted to the relation between dialogue and rationality. The aim of the event is to bring together philosophers, artists, historians, logicians, social scientists and mathematicians to discuss this theme. There will be keynote lectures by Catarina Dutilh Novaes, Reza Negarestani, Ray Brassier and Mahault Albarracin.

The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted at the FernUniversität in Hagen, Germany. COMMA 2024 will be preceded by the sixth edition of the Summer School on Argumentation (SSA 2024). In addition to the main conference track, COMMA 2024 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

We are happy to announce that the following workshops will take place prior to the COMMA 2024 conference:
 - 24th International Workshop on Computational Models of Natural Argument (CMNA 2024)
 - 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI 2024)
 - 5th International Workshop on Systems and Algorithms for Formal (SAFA 2024)

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the for mal specification of systems and computational languages, supporting tool development and reasoning.

LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

Computational models of argumentation are approaches that deal with the representation and interaction of arguments and counterarguments. These models can be applied in all areas that benefit from automatic decision-support such as medicine, accounting, chemistry, and law. Many of these models were inspired by works within the fields of non-monotonic reasoning and logic programming and therefore share the sometimes considerable computational complexity of these approaches.

Algorithmic aspects of computational models of argumentation are an important area, as witnessed by the popularity of the International Competition on Computational Models of Argumentation (ICCMA). This workshop aims at complementing the competition by providing a forum to present and discuss both systems and algorithms dealing with all aspects of computational argumentation, in particular those approaches addressing the tracks of the competition.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

The RuleML+RR 2024 conference is part of the event “Declarative AI: Rules,
Reasoning, Decisions, and Explanations” (https://2024.declarativeai.net) and
is co-located with DecisionCAMP 2024 and the Reasoning Web Summer School. Apart from the main track, it features the Rule Challenge, a Doctoral Consortium, an Industry Track and a Project Networking Session as associated events.

TrentoLogue will be the 28th edition of the SemDial workshop series  which aim to bring together researchers working on the semantics and  pragmatics of dialogue in fields such as formal semantics and  pragmatics, computational linguistics, artificial intelligence,  philosophy, psychology, and neuroscience.

Keynote speakers: Uri Hasson, Princeton University Azzurra Ruggeri, Max Planck Institute Bernardo Magnini, Fondazone Bruno Kessler  (FBK).

The "Roots and New Trends in Logicism" workshop brings together state of the art research on historical accounts and contemporary contributions to Logicism. The workshop aims to foster discussion on the interplay between mathematics, logic, metaphysics and epistemology, and stimulate future work on the field.

The programme consists of 6 talks by invited speakers and a 4-6 contributed talks. Confirmed invited speakers: Ludovica Conti (IUSS Pavia), Fernando Ferreira (University of Lisbon), Salvatore Florio (University of Oslo), Sébastien Gandon (Clermont Auvergne University), Gregory Landini (University of Iowa) , Hannes Leitgeb (LMU Munich - MCMP).

The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

Computational Linguistics in Bulgaria (CLIB) is an international conference that aims at exploring novel approaches and methods in computational linguistics and natural language processing (NLP), especially with a view to their application to small and less-resourced languages such as Bulgarian and the bridging of the discrepancies between big and small languages with respect to language technologies.

The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2024 is co-located with FM 2024 and will be held at Politecnico di Milano in Milan, Italy.

FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions.

Invited speakers: Ana Cavalcanti (University of York, UK), David Parker (University of Oxford, UK) and Geguang Pu (ECNU, China). FACS 2024 is co-located with the 26th international symposium on formal methods (FM 2024).

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Since then, systems of connexive logic have been motivated by considerations on a content connection between the antecedent and consequent of valid implications, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

As interests in topics related to connexive logics are growing, the ninth workshop aims at discussing directions for future research in connexive logics. Keynote speakers: Mateusz Klonowski (NCU, Toruń), Jacek Malinowski (IFiS PAN, Warsaw), Satoru Niki (RUB, Bochum), Grigory Olkhovikov (RUB, Bochum) and Francesco Paoli (UC, Cagliari).  This year, the WCL follows the NCL conference: we encourage you to participate in both events.

The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

LANMR 2024 is the sixteenth 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 2024 will be an in-person event. The venue will be at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico), it will happen as a satellite of the 7th World Congress of Paraconsistency.

The annual meeting of the British Logic Colloquium will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.

The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics.

Invited speakers: Michael Rathjen (University of Leeds), more TBC...

The Conference — devoted to non-classical logics — was initially held in Łódź in September 2008 and 2009. Later on, it was organized alternately in Toruń and Łódź. The conference serves as a forum to exchange novel results effectively and to survey works in non-classical logics, broadly construed, and their applications.

In this year's, eleventh, edition of the Conference we particularly welcome submissions concerned with term-forming operators and formalisation of complex names, like definite descriptions, both with regard to their philosophical background and formal properties, as well as applications in mathematics and computer science (e.g., in databases or ontologies).

This year's edition of the Conference will be co-located with the 9th Workshop on Connexive Logics which will be held on 8th and 9th September 2024.

PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

Since 1994, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July - 9 August 2024 in Leuven, Belgium. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience.

ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic.

“Formal Ethics” is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts and theories in moral and political philosophy. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on freedom and responsibility, welfare economics and population ethics, deontic logic and natural language semantics, value theory, and the evolution of norms and conventions.

Invited speakers: Justin Bruner (University at Buffalo), Fabrizio Cariani (University of Maryland) and Anne Schwenkenbecher (Murdoch University).

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024. The conference is planned as a physical, in-person event.  During the conference, the following awards will be delivered: the EATCS award,  the Gödel prize,  the Presburger award, the EATCS distinguished dissertation award, the best papers for each of the conference tracks, and the best student papers for each of the conference tracks.

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

FOIS 2024 will be held both online (8-9 July 2024) and in Enschede, the Netherlands (15-19 July 2024), by the Semantics, Cybersecurity & Services group of the University of Twente. The conference includes the following: Contributed Lectures - Workshops - Joint Ontology Workshops (JOWO) - Tutorials - Ontology showcase - Demonstrations - Project exhibitions.

The Language in Interaction Consortium (LiI) is pleased to announce the Highlights in the Language Sciences Conference 2024, celebrating the conclusion of our 10-year Gravitation Programme and the advances made in language-related disciplines including genetics, neuroscience, psychology, linguistics and computational modeling.

The conference will take place 8-11 July 2024 at the Radboud University in Nijmegen. We are putting together an exciting programme with top-level key experts in the relevant fields of research. Confirmed speakers include David Poeppel (NYU, Strungmann Institute, Frankfurt), Ghislaine Dehaene-Lambertz (CNRS Paris), Vera Demberg (Universität des Saarlandes), Uri Hasson (Universiy of Princeton), Barbara Kaup (University Tübingen), Tal Linzen (NYU).

Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.

The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consists of a number of invited talks, other talks from researchers who submitted their work to the workshop, and discussions. An important amount of time will be kept for interactions between participants.

The event “Toposes in Mondovì” (3-11 September 2024) represents the fourth edition of the main international conference on topos theory. The format of the event is similar to that of the other three editions: it will consist of a four-day school (3-6 September 2024) offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference (9-11 September 2024) featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science.

The main aim of this conference series is to celebrate the unifying power and interdisciplinary applications of toposes and encourage further developments in this spirit, by promoting exchanges amongst researchers in different branches of mathematics who use toposes in their work and by introducing a new generation of scholars to the subject.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger conference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods Topics).

A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. 

The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

ARQNL 2024 is associated with IJCAR 2024, the International Joint Conference on Automated Reasoning.

This is the 15th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics, and mind sciences.

Invited Speakers: Julia Staffel (University of Colorado Boulder), Thomas Bolander (Technical University of Denmark) and Willemien Kets (Utrecht University).

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of language, thought, reasoning, and other related processes.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

Programme:
School: June 25-28, 2024 (Barcelona)
Conference: July 1-5, 2024 (Barcelona)

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.

The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.

The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 6th Masterclass in the Philosophy of Mathematical Practices on June 24–26, 2024  with Catarina Dutilh Novaes (VU Amsterdam). We intend the masterclass to be a fully interactive in person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. 

The advanced ERC project "C-FORS: Construction in the Formal Sciences" led by Professor Øystein Linnebo (University of Oslo) is glad to announce its first graduate conference. The topic is constructional approaches to foundations of mathematics and philosophy. The aim of the conference is to bring together graduate students working in the Philosophy of Mathematics and Logic, in Metaphysics and in Ontology and that are interested in (or critical of) constructional (i.e., iterative or hierarchical) accounts in these disciplines.

Beside the current members of C-FORS, the discussion shall be guided by the two invited keynotes, Joel David Hamkins (Notre Dame) and Jon Erling Litland (UT Austin), who are both leading experts on topics relevant to the main theme of the conference. In addition, the conference involves the assignment of a commentator to lead the discussion on the contributed talk by each participant. Comments will be provided by three scholars that are also experts in their fields, namely Deborah Kant (Hamburg), Sam Roberts (Konstanz) and Chris Scambler (Oxford).

The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway, from June 18th to June 21st.

The Department of Logic of the Jagiellonian University and Studia Logica organise a common event: Cracow Logic Conference 69 and Trends in Logic 24 -- 90 Years of Studia Logica with a historical lecture on Jan Łukasiewicz 1934 Studia Logica volume.

Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic), and was for the most part limited to the Polish logic community.  Since 2023 CLoCk went truly international and welcomes contributions on all areas of logic, as long as they are mathematical in the sense once conveyed by the name symbolic logic.

Trends in Logic is the conference series of the journal Studia Logica aimed at worldwide promotion of logic and Studia Logica. The series began in 2003, and have been held annually at different logic centres. The series has been instrumental in increasing the visibility of Studia Logica and elevating its international standing.

The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024) will be held at the Pohang University of Science and Technology, Pohang, Republic of Korea on June 17-21, 2024 and will continue the tradition of focusing on current important theoretical and experimental results and their critical evaluation.

The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
Invited Speakers: Fausto Barbero (University of Helsinki), Sara Negri (University of Genoa), Aybüke Özgün (ILLC, University of Amsterdam).

The graduate students of the philosophy department at Western University (London, Ontario) are excited to announce our 23rd annual Graduate Student Conference, taking place in person on June 13th and June 14th, 2024. The aim of this conference is to promote cooperation and critical engagement amongst graduate students doing research in the philosophies of physics, mathematics, and logic. We are pleased to announce that Philosopher, Dr. Marius Stan (Boston College) will be our keynote speaker.

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

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

The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

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

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

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

Logic and Philosophy is a biennial conference organised and hosted by Vilnius University. The conference is intended as a venue for philosophical discussions on logic broadly construed. We invite submissions that address philosophy of logic, philosophical issues related to classical or non-classical logics, the history of logic, and philosophical applications of logic.

Invited speakers: Timothy Williamson (Oxford / Yale), Graham Priest (CUNY), Sara L. Uckelman (Durham), Iryna Khomenko (Kyiv). A special session, with contributions by Timothy Williamson and Graham Priest, dedicated to the nature of logic and validity is planned as part of the programme. Related talks are particularly welcome.

The international symposium "Engaging Rationality Today" will bring together specialists from multiple disciplines (philosophy, logic, psychology, anthropology, linguistics, etc.) to reflect collectively on contemporary meanings and uses of rationality. The current Western cultural context, which is marked by numerous challenges (war, fake news, A.I., populism) and critiques (post-colonialism, feminism, etc.), requires a reevalutation of the classic notion of rationality. They show the limits of the classical notion, grounded on concepts like objectivity, universality, argumentation, and causal relationships. But accepting every new conception without criteria seems to give way to relativism, thus leading to a dilemma. The symposium "Engaging Rationality Today" aims at tackling this dilemma by creating a space of dialogue between various conceptions of rationality. To do so, it is not only a question of examing what rationality is, but also, and above all, a question of studying the limits, blindspots, and problematic uses of the proposed definitions of rationality. The aim of the present project is to provide a comprehensive view of how rationality is currently understood, from various perspectives (philosophy, psychology, linguistics, etc.). We hope that by examining rationality’s multifaceted aspects, including what falls outside of the proposed definitions, contributors will be encouraged to reevalute their own defninitions through dialogue with others.

The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

The following special topics will be addressed:
– use of formal methods in philosophy,
– philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction, etc.),
– philosophical analysis of scientific methods (formalisms, rationality, values, norms, etc.),
– the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

There will be a PhD student session with 20 minutes talks followed by 10 minutes discussion.

The workshop aims to bring together researchers who work on formal philosophy broadly construed who are either members of traditionally underrepresented groups or who work outside of what is perceived as ``traditional’’ topics in logic and formal philosophy. It will be an occasion for dialogue between researchers who identify as members of underrepresented groups in academia and researchers who work on topics generally regarded as non-standard in the academic tradition.

Confirmed speakers include: Gillian Russell (ANU), Sara Uckelman (Durham) and Frederique Jannsen-Lauret (Manchester). The workshop will be followed by a panel discussion on how to make formal academic philosophy a more inclusive environment.

This event, organised by members of the Semantics, Pragmatics, and Philosophy (SPP) research group of the University of Cambridge, aims to bring together those interested in abstract concepts across disciplinary boundaries. This workshop aims to encourage and explore innovative ways, both theoretical and experimental, of analysing and understanding the meaning of abstract concepts. This could include work on topics such as time, conceptual engineering, investigations into concepts such as freedom or justice, processing of abstract concepts, or diachronic investigations of scientific or social abstract concepts, to name just a few. 

The workshop aims to be an environment in which PhD and graduate students may present their work and get feedback from their peers, as well as those who may not traditionally fall within their discipline's boundaries.  The event will also include talks from three academics: Dr. Sean Enda Power (University of Cork), Dr. Derek Ball (St Andrews University), and Prof. Kasia Jaszczolt (University of Cambridge). 

On Friday, 19 April 2024, the Radboud University of Nijmegen will host the Juniorendag, organized by Anela and VIOT. BA and MA students, recently graduated students, and PhD candidates can present their thesis or their doctoral research at the Juniorendag in the field of applied linguistics (language use, language acquisition, language teaching, language proficiency or communication) in an informal atmosphere. In addition, the Anela-VIOT Thesis Award will be awarded during this day to the best MA thesis in the field of applied linguistics.

In recent years, the notion of implicit commitments has received new attention in the Philosophy of Mathematics. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and logicians have been trying to determine the extent of the commitments (if there are any) implicit in foundational theories. This investigation started in the 60s with the work of Solomon Feferman and others on the so-called' reflection principles', statements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitments of S. Since the 60s, Feferman's investigation generated an enormous amount of literature and research programmes. Although much progress has been made in our understanding of implicit commitments, much work is still needed.

Our conference aims to provide a platform to gather philosophers, mathematicians, and logicians working on implicit commitments and related notions in the context of philosophy and the foundation of mathematics.

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

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

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

CMCS 2024 will take place on April 6-7, 2024, as a satellite event of ETAPS 2024 in Luxembourg City. The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

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

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

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

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

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

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

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

Workshop at the Annual Conference of the German Linguistic Society (DGfS 2024).

Figurative and non-literal language, such as metaphor, metonymy, or personification, poses a special challenge for computational analysis, since these expressions are not used with their usual, ordinary meanings, as represented in corpus data or recorded in lexical resources, but with different, derived meanings.

We aim to bring together computational linguists working on the automatic analysis of non-literal language. A special focus will be on non-conventionalized usages, such as novel metaphors or innovative forms of metonymy. In addition, we are particularly interested in approaches applicable to languages other than English, for example low-resource languages or domains.

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

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'24 is planned as an on-site event, with support for remote presentations.

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

We are delighted to announce a special issue of the Australasian Journal of Logic (AJL) dedicated to celebrating the remarkable contributions of Ross Brady. Ross's work has made significant advancements in various areas of logic, both technically and philosophically. This special issue aims to honor his invaluable contributions and provide a platform for scholars to engage with his work.

We invite submissions on topics related to Ross Brady's research interests. We also welcome submissions that explore related areas, recent research, and extensions of Ross Brady's work. Particularly, we encourage contributions focusing on the logic MC of meaning containment and its applications, as well as investigations into metavaluations and metacompleteness.

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

SALOME 1 is the Inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic.

The event will include the celebration on January 14, 2024 of the 6th edtion of the World Logic Day.

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasize its attention to those at early stages of their careers, the network is glad to announce its third graduate conference, to be held at the Tor Vergata University of Rome. We expect to host up to 6-8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

The conference will be held exclusively in person and no link will be provided to attend the conference remotely.

Abstractionism/Neo-Fregeanism in the philosophy of mathematics is the thesis that Fregean abstraction principles, such as Hume's Principle, play an essential role in our knowledge of mathematical truths, the existence of mathematical objects, and our capacity to effect singular reference to these objects. The workshop will explore the logico-mathematical aspects of neo-Fregeanism, such as Frege's Theorem and the Bad Company Objection, as well as its philosophical aspects including Frege's Caesar Problem, the possibility of mathematical singular thought and/or reference, and the epistemology of abstraction principles. The workshop occasions the imminent publication of the second edition of Crispin Wright's Frege's Conception of Numbers as Objects. We will explore variations on themes from Wright.

To register, please send an email (not later than Oct 20) to: b.assadian at leeds.ac.uk.
Free admission; everybody is welcome.

This year's international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The 6th Summer School on Argumentation: Connecting Argumentation (SSA 2024) will take place from 12th to 15th of September 2024 at FernUniversität in Hagen (Hagen, Germany). The school is co-located with the 10th International Conference on Computational Models of Argument (COMMA 2024).

The main aim of SSA 2024 is to provide attendees with a solid foundation in the basics of formal argumentation as well as insights into applying formal argumentation and connections with other approaches in AI. The school welcomes both students and researchers in different fields not limited to argumentation, including e.g. non-monotonic reasoning, knowledge representation, logic programming, linguistics, natural language processing, philosophy, and psychology, just to mention a few of them. The program will include courses, a doctoral consortium and a student session organized by OHAAI.

The second European Summer School on the Philosophy of Mathematics aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field. Topics will be selected reflecting participants’ interests and may include:
* Mathematical knowledge and mathematical understanding
* Justification and representation in mathematics
* Informal proofs and mathematical rigor
* The role of intuition and diagrams in mathematical reasoning
* Experimental mathematics and mathematical practice
* Mathematical ontology

The School will include tutorials by Jessica Carter (Aarhus University), Yacin Hamami (ETH Zurich) and Leon Horsten (University of Konstanz), as well as a training unit on "Quantitative and qualitative empirical methods for philosophers of mathematics" by Matthew Inglis and Deborah Kant.

The 6th Proof Society International School and Workshop will be organised by the University of Birmingham. The event takes place under the auspices of The Proof Society, a recently formed society to support the notion of proof in its broadest sense. The Proof Society has organised an annual school and workshop since 2018 (except 2020 due to the COVID19 pandemic).

The aim of the School is to cover basic and advanced topics in proof theory and related subjects. The School will be aimed at Master's and PhD students interested in proof theory, as well as more senior researchers from related areas in computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks. PS24 will be colocated with the British Logic Colloquium meeting of 2024, taking place 5-7 September.

In its second edition, Logic for the AI Spring, continues bringing together logicians and AI scientists working around and within the currently blossoming new AI Spring. The program is designed to equip participants with a comprehensive understanding of cutting-edge logical methods for AI, neuro-symbolic AI, and Human-AI interaction. It also includes topics related to the broader culture of AI, vital for addressing urgent technological, scientific, and societal challenges in the field The School is designed to provide them with a background on the cutting-edge on logical methods for AI, neuro-symbolic AI , Human-AI interaction, in addition to the larger culture of AI, which is necessary to tackle the urgent technological, scientific and societal challenges surrounding the field.

The School will feature 5 tutorials:
 - Neurosymbolic AI (Vaishak Belle)
 - Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko)
 - History and Culture of Al (María Vanina Martinez)
 - Fairness: Perspectives from Computational Social Choice (Arianna Novaro)
 - Logic Tensor Networks (Luciano Serafini)
Additionally, there will be a dedicated Poster Session to give selection of participants an opportunity to present their own work.
Finally, this edition of Logic for the New AI Spring will host a workshop on New perspectives on formal representations of cognitive attitudes organised by Ekaterina Kubyshkina and Costanza Larese (LUCI Lab, Milano).

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. The 14th International School on Rewriting takes place in Obergurgl, Austria.  The School is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.

It offers three parallel tracks, taught by well-known experts:
- Track A: comprehensive introduction to first-order term rewriting, lecturer: Aart Middeldorp
- Track B: comprehensive introduction to type theory and lambda calculus, lecturers: Herman Geuvers and Niels van der Weide
- Track C: advanced courses on - Interoperability of Proof Systems using Lambdapi lecturer: Frederic Blanqui - Randomized Programming and Rewriting lecturer: Ugo Dal Lago - Tools in Rewriting lecturer: Nao Hirokawa - Termination and Complexity in Higher-Order Term Rewriting lecturer: Cynthia Kop - SAT/SMT Solving and Applications in Rewriting lecturer: Sarah Winkler.

Following a series of eight successful MCMP-organized summer schools on mathematical philosophy for female students, the Munich Center for Mathematical Philosophy (MCMP) will this year broaden its offering, with a summer school for women and members of other groups that are under-represented in formal philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in formal philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy. This edition of the summer school will feature lectures by: Jingyi Wu (LSE): “Models of Diversity and Injustice” Sara Uckelman (Durham University): “What History of Logic Can Teach Us About the Future of Logic”. In addition, there will be an evening lecture by Barbara Vetter (FU Berlin): “First-generation philosophers: why they matter, and how to support them”.

The course "Logic as a tool for modelling" is part of the VU Amsterdam's summer school. The aim of the course is to introduce participants to the study of various types of logic as a versatile tool for elegantly modelling diverse phenomena. The overarching theme in the handling of applications is the notion of categories and categorisation. The course starts by discussing classical logic, through both semantics and syntax, as well as applications in the social sciences, addressing agency, and information flow. Then it focuses on various theories of categorization from Aristotle's classical perspective to modern prototype and exemplar theory and introduces logical formalisms that encompass these various views. The last part delves into formal linguistics, where words are categorized based on their role in sentence formation.

We are pleased to announce that Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024) will take place 02-05 July 2024 at the University of Leeds.

Student members of the ASL may apply for modest travel awards to attend (deadline 31 March 2024).

Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University.

Courses:
* Team semantics: Linguistic and Philosophical Applications by Maria Aloni (UvA)
* The Modal μ-calculus by Yde Venema (UvA)

There will be two consecutive Inner Model Theory Events in Vienna this summer.

1) June 24-28, 2024 at the Erwin Schrödinger Institute (ESI), Vienna
This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop. Please let us know as soon as possible if you are interested in attending this meeting as space is limited.

2) July 1-5, 2024 at TU Wien
In this second week there will be three tutorials focussing on recent developments in inner model theory by Gabriel Goldberg, Nam Trang, and Farmer Schlutzenberg. The talks will take place in the mornings, followed by a light lunch buffet and ample of time for questions and discussions in smaller groups in the afternoons.

An afternoon of talks in honour of KP Hart's retirement .
Speakers: Alan Dow, Istvan Juhasz, Teun Koetsier and Ionica Smeets,

On June 13th 2024, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Critical, ethical, and practical use of AI in the language classroom. The keynote will be held by Esther van der Stappen (lector Digital Education, Avans University of Applied Sciences). In addition to the keynote, the day will host a combination of good-practice presentations, two workshops, and research presentations on the topic. Please find the preliminary program and registration form on the website. Note thatearly bird registration ends on May 26th.

The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals.

The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

The Fifth Nordic Logic Summer School (NLS 2024) takes place in Reykjavik in June 2024. NLS is organized by the Scandinavian Logic Society and its intended audience is advanced master students, PhD-students, postdocs, and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year we have an exciting lineup of five lecturers on a wide spectrum of topics: Jandson Ribeiro (Philosophical logic), Sandra Kiefer (Learning and logic), Miika Hannula (Model theory), Greg Restall (Proof theory), Rineke Verbrugge (Logic, CS and AI).

The Indian School on Logic and its Applications will take place at IIT GOA from 3rd to 7th June, 2024. ISLA is a biennial event of the Association for Logic in India (ALI). The summer school's short classes will focus on Automata & Semigroups and on Infinite Game Theory. The registration is open and will be available until May 20, 2024. The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

The invited speakers are:
- Infinite Games:  Dr. Juan P. Aguilera (Vienna University of Technology)
- Automata & Semigroups: Dr. K. Narayan Kumar (Chennai Mathematical Institute),  Dr. Kamal Lodaya (The Institute of Mathematical Sciences) and Dr. Amaldev Manuel (Indian Institute Of Technology, Goa)

The Department of Philosophy at Carnegie Mellon University hosts a summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. During this three-week, intensive program, we introduce a small group of approximately 25 promising students to cross-disciplinary fields of research at an early stage in their career, forging lasting links between these disciplines along with friendships and professional contacts. 

Programme:
June 3-7: Francesca Zaffora Blando & Krzysztof Mierzewski "Chance and Randomness"
June 10-14: Jonas Frey & Reid Barton "Categorical Semantics and Synthetic Topology"
June 17-21: Clark Glymour & Kun Zhang "The Logic of Discovery"

Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject, we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic, nicknamed DiλLL 2024. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work.

We invite registrations for the workshop 'Proofs, Rules, and Meanings'. This interdisciplinary event is set to take place at the Arché Research Centre, University of St Andrews, (and livestreamed via Microsoft Teams) on 11th and 12th April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.

Emphasizing the interdisciplinary nature of the topics, this workshop will feature presentations on:
 - the contemporary logical and philosophical dimensions of proof-theoretic semantics;
 - its historical roots and precursors; and
 - its fruitful applications in philosophy, linguistics, computer science, mathematics, and beyond.

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 accompanied by satellite workshops. ETAPS 2024 is the twenty-seventh event in the series.

Main 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

The Day of Computational Game Theory (CGT Day) serves as a platform for researchers in algorithmic game theory, social choice, and algorithmic mechanism design to connect. Especially young researchers are encourged to present and discuss their work in a relaxed and welcoming atmosphere. The CGT Day alternates every year between Germany and the Netherlands and this is its 14th edition.

This is the seventh in a series of workshops that have taken place from 2014. These workshops aim to connect researchers working in the descriptive set theory of Baire and Cantor spaces of functions on uncountable cardinals and its connections with infinite combinatorics and model theory. The upcoming workshop features several well-known speakers and aims to connect this area with large cardinals. There will be ample time for discussion and collaboration.

If you wish to deliver a short contributed talk or be considered for funding support, please contact the organisers. Some funding is available for UK based Ph.D. students.

A Zoom workshop to celebrate the World Logic Day 2024 (which is actually a day before this event. Registration is free of charge and everybody is welcome to attend.

This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on historical perspectives: How were different formal systems implemented ? How much choice was there? Is our current view an ironed out history, written by the winner of the debate?

Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. At this meeting we discuss ongoing projects in formalized mathematics and software verification, as well as infrastructure and outreach for Lean and its community. We welcome participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.

The concept of computation is interesting in philosophy, mathematics, and of course computer science. The λ-calculus is certainly one of the main tools for studying this concept: after almost 100 years, why are we still working on this formalism (or related subjects)? And where are we going? What are the scientific or philosophical challenges that λ-calculus has proposed? What are the ones that it may propose in the future?

The aim of the workshop is to gather mostly young (possibly non permanent) researchers together in order to address the above mentioned questions. The style will not necessarily be of a technical nature, but rather of overview and conceptual one.

This thesis deals with position-based quantum cryptography (PBQC), a type of quantum cryptography. More concretely, we focus on the design and study of quantum position verification (QPV) protocols, which act as a building block for PBQC. We prioritise the development of QPV protocols that are loss-tolerant, error-robust, and feasible with current or near-future technology, concentrating on photon-based protocols and linear-optical equipment. We also theoretically study different attack settings on QPV in the context of state discrimination, dealing with the interplay between non-locality and interaction.

This thesis explores position-based quantum cryptography zooming in on the task of position verification. In position verification, the idea is to use an individual's geographical location as a cryptographic credential. Practically, such protocols can authenticate that a message originated from a specific location or ensure that messages can only be read at a certain location.

Should you not be able to attend the defense, you may still be able to watch it via the following link: https://hva-uva.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=171a3fab-6028-41a5-8285-b15600bef159