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

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

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the six research groups at the ILLC. Each colloquium consists of three talks by representatives from three of the six research units at the ILLC. The colloquium is concluded by a get together of the entire ILLC community.

We have the following exciting line-up, followed by drinks and snacks as usual:
  16h00-16h30: Marianna Girlando (MCL)
  16h30-17h00: Jelke Bloem (NLP&DH)
  17h00-17h30: Marieke Schouwstra (LMC)

In this talk, I will discuss ongoing research on several topics, on the general theme of generalisation in natural language models. First, I will talk about the generalisation problem in analytically complex syntactic parsers, where it is necessary to go beyond supervised models, for instance for parsing out-of-domain data or low-resource languages; specifically I will present recent results on constructing complex category types (in CCG or other categorial grammars) that are unseen in the training data, on-the-fly. Second, I will discuss a use-case for a syntactic parser applied to a new domain: detecting syntactic markers of “agency” in language use. Loss of agency is correlated to psychological conditions like depression or fatigue syndrome, and often expressed in the language produced by patients (e.g. in excessive use of passives). Automatic detection of such markers can help medical professionals intervene and predict recovery in online treatments. Third, I will discuss recent research on incorporating image-external knowledge for “contextualised” image-captioning: here we develop a generalisable system that can identify broad-coverage external knowledge relevant to an image. The system can generate informative as well as factually-correct captions, and be applied to various image-language scenarios.

The VvL will hold a in-person joint seminar organized by the University of Groningen. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.

Main speaker: Sonja Smets.
MSc Thesis Prize winners: Anna Dmitrieva (supervisor: Nick Bezhanishvili), Maximilian Siemers (supervisor: Aybüke Özgün), Dominik Wehr (supervisor: Bahareh Afshari).

"In 1977, the first computer-assisted proof of a mathematical theorem was presented by K. Appel and W. Haken. The proof was met with a lot of criticism from both mathematicians and philosophers. The arguments against acceptance of computer-assisted proofs vary: it is not verifiable by human beings because it is impossible to survey; the actions performed by a computer do not constitute mathematical proof, but merely a number of calculations; the method does not contribute to the existing mathematical practice, etc. I present some examples of computer-assisted proofs, including Appel and Haken's work. Then, I analyze the most famous arguments against equating computer-based and human-based proofs in mathematics and examine the philosophical assumptions behind the presented criticism. In the conclusion, I talk about whether the philosophical assumptions are justified."

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

The current affairs meeting will be followed by drinks in the common room.

The Platform for the Ethics and Politics of Technology organises a live event PEPTalkPlus: The Power of Big Tech. An interactive panel featuring Tamar Sharon and Natali Helberger, moderated by Eva Groen-Reijman.

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

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

"Τεάν, Ζεῦ, δύναμιν τίς ἀνρῶν ὑπερβασία κατάσχοι"
Explanations are the crux of the contemporary AI Spring with logic lurking to claim its vindication after the last winter. So far, what keeps the Spring going is the universal admission of the practical importance of XAI. In my talk, I will introduce a certain category of (logic-based) AI applications for which explanations are motivated by an ontological necessity and not from a merely supplementary practical POV. The justification of my arguments originates in a political dilemma dating as far back as the first normative conceptualisations of the concepts of democracy, justice, and freedom that re-emerged revamped in the post-enlightenment liberal world order. The talk's central theme is that sometimes the justifications of a just judgment ought to be unjust.
Or do they?

This seminar is hybrid. If you would like to join the online meeting, please contact the organizer.

We would like to announce an upcoming talk in the ILLC Diversity Talks Series. On Wednesday 9 November 16:30 – 18:00, Moshe Vardi will give a talk on “Artificial Intelligence: Ethics Versus Public Policy”. Due to family reasons, Moshe will give the talk remotely, but we encourage everyone to attend on-location at SP 904 Room D1.111!  Alternatively, you are welcome to join us on Zoom.

In a recent survey, many ILLC members expressed their interest in a talk on Ethical AI. Moshe Vardi acted as advisor for the ILLC for many years, and we hope that this event will bring together everyone interested in this topic.

The talk will be followed by a reception in the ILLC Common Area at LAB42 (SP 900, LAB42, 6th floor).

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

Descartes completely changed our mathematical vision, by finding a correspondence between spaces (geometry) and equations (algebra). Starting from high school, we have learnt that x^2+y^2-1 can be viewed as the the unit circle in the Euclidean plane, and a lot of algebraic arguments we do have very natural geometric meaning behind them, and this geometric intuition serves as a guide for many algebraic solutions. Modern algebraic geometry extends this picture to also allow a geometric study of solutions on any rings other than R or C, like Z or Q. The powerful tools developed in topology suddenly applies to number theory, and derives powerful results.

The workshop Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics will take place on November 1, 2022, in Utrecht. This workshop is organized on the occasion of Iris van der Giessen’s PhD defense, which takes place November 2, 2022, Utrecht. The topics of the talks are related to the subject of her PhD thesis: Uniform Interpolation and Admissible Rules.

Please send an email to i.vandergiessen at bham.ac.uk if you would like to come. Participation is free and includes the nice talks and coffee breaks.

Tamar Johnson's talk will be rescheduled for sometime next semester.

The European Set Theory Society has initiated a series of panel discussions with prominent set theorists that will take place around four times per year. The discussions will take place online. Four experts will be invited to describe the general area they represent, explain where the area is heading and discuss how it relates to other areas of set theory and mathematics.

The kick-off event will take place at 17:00-19:00 CEST on Thursday, 27 October 2022. The panelists are Michael Hrusak (Universidad Nacional Autónoma de México), Juliette Kennedy (University of Helsinki), Menachem Magidor (Hebrew University of Jerusalem) and Justin Tatch Moore (Cornell University).

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

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

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

The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

ABC Day 2022 - an occasion to (re)connect with the ABC community, exchange ideas and foster new collaborations.

Sign up for a day packed with:

• Scientific Presentations from ABC Researchers
• Highlights from ABC Themes & Transversal Perspectives and
• Lots of Networking Opportunities
• A keynote ABC lecture from Luiz Pessoa (Marylan Neuroimaging Center)

Registration is now OPEN and required: please register here. In the registration form you will also find more details on the program, and have the opportunity to register for presenting your work with a poster, and gain a chance to win a poster award.

Rosalie Iemhoff's talk on October 12th has been postponed to early next year due to unforeseen circumstances.

The Topos Institute Berkeley Seminar is a weekly, informal seminar on topics relevant to the Topos Institute Community, held at our Berkeley Campus. On Oct 11 a special seminar will be held in honor of Dana Scott's 90th birthday. Zoom/YouTube will be setup so participants can attend remotely.

Abstract:
The success of large-scale neural language models has brought about new challenges for low-resource languages. For such languages, training data is not as easily available as it is for languages such as English. To take an example, widely-used multilingual models such as mBERT exclude languages with a small Wikipedia footprint. By the same token, in massively multilingual resources harvested from the web, the data for these languages also tends to be of very low quality. In this seminar, I will discuss work in progress which addresses low-resource scenarios for multilingual NLP.

First, I describe some efforts towards making existing multilingual models transferrable to new languages, using adversarial techniques. It turns out that the effectiveness of such techniques is strongly influenced by the fine-tuning we perform to adapt models to downstream tasks, as well as by the nature of the tasks themselves.

I will then consider some more recent work on training Transformer models from scratch in a low-resource setting. Here, our research shows that in the absence of very large pretraining datasets, excellent results can be achieved if we trade off limited size in favour of quality and diversity

The theory of regular languages has been studied extensively and offers many nice connections to logic, algebra, and coalgebra. Unfortunately, the theory of omega-regular languages is slightly less well-behaved, in particular with regards to coalgebra. To bridge the gap we introduce the theory of regular lasso languages, a theory combining the simplicity of regular languages with the expressiveness of omega-regular languages. As with any other topic related to automata theory, plenty of pictures will be provided.

This is a hybrid talk. Contact the organizer for a link to the online meeting in Microsoft Teams.

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

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

The program includes a tutorial session about set-theoretic potentialism and the talk "Multiverse view on the axiom of constructibility” by Joel D. Hamkins as well as a panel discussion and contributed talks.

The masterclass will be held in a hybrid format. For registration and a link please send a mail to carolin.antos-kuby at uni-konstanz.de or gio.venturi at gmail.com.

On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.

The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.

There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.

Recent years have witnessed an explosion of NLP models for many different tasks, both in text-only and multimodal (vision & language) settings. Impressive results have been obtained on multimodal encoders, whereas decoders have received less attention. In my work, I focus on the latter aiming to study the problem-solving reasoning behind natural language generation. To this end, I take referential grounded dialogue games as a testbed. I will discuss the main issues affecting generative systems and explore how the weaknesses of the encoder affect the choice of the decoder by focusing on the interpretation of negatively answered questions. I will then present a cognitively-inspired re-ranking decoding strategy for promoting the generation of strategic questions. I will compare this strategy to a wide variety of different decoding algorithms proposed in the literature, together with an in-depth analysis of their hyper-parameter configurations. Finally, I will briefly mention some ongoing works on exploring how modeling human uncertainty can lead to better natural language generation systems and an investigation of pragmatic phenomena that allow humans to efficiently solve referential games.

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

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

Registration is now open. Early registration is available until the 5th of June 2022.

The Dutch Association for Logic (VvL) invites PhD students in logic (and related areas) in the Netherlands to register for the first-ever Dutch Logic PhD Day to take place on July 1, 2022 in Utrecht. Master's students may also register, but will be able to attend only if places are available. The goal of this event is to foster a community of PhD students in the Netherlands in all areas of logic. We are happy to confirm Dr. Maria Aloni (ILLC) and Dr. Revantha Remanayake (University of Groningen) as keynote speakers.

Transformers have revolutionized deep learning research across many disciplines, starting from NLP and expanding to vision, speech, and more. In my talk, I will explore several milestones toward interpreting all families of Transformers, including unimodal, bi-modal, and encoder-decoder Transformers. I will present working examples and results that cover some of the most prominent models, including CLIP, BERT, LXMERT, and ViT. I will then present our recent explainability-driven fine-tuning technique that significantly improves the robustness of Vision Transformers (ViTs). The loss we employ ensures that the model bases its prediction on the relevant parts of the input, rather than supportive cues (e.g., background). This can be done with very little added supervision in the form of foreground masks, or without any such supervision.

16:15–17:15. An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces     
17:15–17:45. To Infinity and Beyond: Visualization of Ordinal Numbers

(Dutch only)
Het KNAW programma "Wetenschapscommunicatie door wetenschappers: Gewaardeerd!" bespreekt op deze middag de opbrengsten van het afgelopen jaar en presenteert concrete aanbevelingen voor toekomstbestendige wetenschapscommunicatie.

The Lindström Lectures is an annual lecture series established in 2013 by the University of Gothenburg to celebrate the singular achievements of Per Lindström, former professor of logic. Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

The 2022 edition of the series will be presented by Sara Negri, professor of mathematics at the University of Genoa. Prof Negri will give a public lecture entitled Syntax and semantics in synergy on 20 June 2022 at the University of Gothenburg. The lecture will be streamed online. See webpage for more details.

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

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

Because we will already organise drinks following the ILLC Colloquium in the week before the CAM on the 10th of June, this CAM will not be followed by the usual festivities.

Abstract:

Good, now that I've got your attention with that catchy title, let me start with a disclaimer. I'm not going to share the secret on how to find love or mend your shaky relationship in this talk. Instead, I'm going to share my ideas on how to make game-theoretic modeling of mate choice and partner matching more progressive and realistic.

Expect a fun application of hedonic games, some stimuli making you question what kind of relationship you want to be in and a lovely evening with your MoL buddies before the end of this academic year!

This is a hybrid talk. For a link to the online meeting, please contact the organizer.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the six research groups at the ILLC. Each colloquium consists of three talks by representatives from three of the six research units at the ILLC. The colloquium is concluded by a get together of the entire ILLC community.

This year we will have talks from 16h00 to 17h30:
   16:00-16h30: Guido Schäfer
   16:30-17h00: Levin Hornischer
   17:00-17h30: Huub Dijstelbloem
 followed by on-campus drinks from 17h30 onwards.

The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

Guido van der Knaap presents his book "Van Aristoteles tot algoritme" in which he analyses artificial intelligence from a philosophical perspective. Each chapter is devoted to a philosophical discipline, such as logic, epistemology, philosophy of language and ethics. The book analyses AI by using the philosophical tradition: Ludwig Wittgenstein, Immanuel Kant, David Hume and Michel Foucault, to name just a few.

12:30–13:00: Algorithmic Discrimination: Understanding and Confronting AI Bias
13:05–13:35: On Proof Checking and Automated Theorem Proving Natural Deduction
13:40–14:10. What assists a person better at being a master at recognition: Early exposure or late exposure?

In this workshop you will get an overview of the AMD GPU architecture. And with the assisted demos and hands-on exercises we provide the participants with the knowledge and tools to start working with your own application on AMD GPUs.

As a follow-up to the Heyting Day our Heyting speaker Oskari Kuusela will give an extra lecture about the contingent a priori in Room 1.04 in the P.C. Hoofthuis. Live stream available here.

Extra: Oskari will be available to talk to masters and PhD students (of all universities) from 14.00-15.45h in Room 1.14 of the P.C. Hoofthuis.

In the era of scientism, platonists have gotten used to being the laughing stock of the philosophy of mathematics community. Postulating the existence of non-spatiotemporal objects and "mystic" ways of knowing true propositions about those objects seems more like Greek mythology than possible metaphysical and epistemic truths. Among the popular alternatives to Platonism that ground mathematical ontology & epistemology to the "real" world is that of Brouwer's Intuitionism, a position grounded on our perception of time and hence, by default, spatiotemporal.

In the first ever joint event between the Cool Logic and Φ-math organisers and in the first ever Cool Logic debate, Evan will strike back against intuitionists by presenting evidence from experimental cognitive psychology that falsifies the foundation of their position and that does justice to Plato. On the opposition, Jan will defend his Master - Brouwer - by arguing that Evan's arguments are nothing but another lame excuse by platonists to live in fairyland.

A hundred years ago, Wittgenstein's Tractatus Logico-Philosophicus was published in English and in German. Since that time, the book has engendered enduring fascination both from professional philosophers and from interested laypersons. This interest is both due to the book's themes and to its literary style. The themes include the nature of reality, the relationship between world and language, the nature of logic, ethics, the self, the mystical.

The Tractatus gives rise to many exciting issues of interpretation. The speakers of the Heyting Day will throw light on some of these issues, especially on Wittgenstein's views on the nature of logic and on the role of the first person in the Tractatus. The day will provide ample room to reflect together about what the book has to tell us. Sure, not all can be said, but we will try to say what we can and show what we can't.

The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2022 aimed at a general audience. We are pleased to announce that Professor Joel David Hamkins (University of Notre Dame) will give a public lecture entitled "Infinite Games & Frivolities of the Gods". The event will take place online using Zoom and will be concluded by a social gathering on the virtual platform Gather.Town.

Registration is free, but necessary to receive links to Zoom and Gather.Town.

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

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

This is a hybrid event. Contact the organizer for a link to the online talk.

All are invited to join the online book launch of Lukas M. Verburgt's John Venn: A Life in Logic  (The University of Chicago Press, 2022) in the form of an online mini-workshop.

On May 17th and 18th, we will have the pleasure of hosting the final workshop of the ERC Cognitive Semantics project. We will have a great lineup of speakers presenting recent advances in semantics and cognition. The day before the workshop, on May 16th, Sonia Ramotowska will defend her thesis "Quantifying quantifier representations: Experimental studies, computational modeling, and individual differences". And the day after the workshop, on May 19th, we will host a half-day satellite meeting on Reasoning & Neural Networks.

We will explore the prospects of a mereological account of proper classes. That is, we will take set theory for granted and consider the hypothesis that proper classes are mereological sums of their parts. Unlike the plural account of classes, for example, the hypothesis construes proper classes as bona fide objects, which are nonetheless significantly different from sets. On the other hand, a mereological account raises questions of its own: if proper classes are bona fide objects, they should be allowed to be members and they should each come with a singleton. But since singletons are arguably mereological atoms, the account will turn out to be incompatible with classical mereology. The question is whether a weaker mereological framework may support a sufficiently rich domain of classes.

This time we take a recourse to mereology! In his talk, Elias Bronner will introduce the philosophical motivations for the field, Leśniewski's nominalistic position. Further, we will discuss basic mereology and its relation to Boolean Algebras. Elias will conclude with touching upon a recent interpretation of mereology within set theory by J.D. Hamkins which suggests that mereology is too weak of a system to serve as a foundation for mathematics.

Please contact the organizer to join this online talk.

Organized by the inter-university Dutch Categories And Types Seminar, this workshop features talks by John Bourke (Masaryk University, Brno), Wijnand van Woerkom (Utrecht University), Nicola Gambino (University of Leeds), Benno van den Berg (University of Amsterdam) and Paige North (University of Pennsylvania).

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

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

Among the variety of possible solutions to the paradoxes of naive set theory, suggestions made by the mathematician Heinrich Behmann (1891--1970) appear to be particularly remarkable (even though they are commonly unknown today). From Behmann’s point of view, the paradoxes do not represent proper contradictions, but rather “meaningless” expressions that can be avoided by a simple and purely syntactical criterion. The main goal of my talk is to provide a partial confirmation of Behmann’s view. To this end, I will present a new system of natural deduction strongly inspired by Behmann’s analysis of the set-theoretical paradoxes. It will be demonstrated that a certain subclass of the proofs in our system has the normalization property: every deduction in this class may be transformed into a “cut-free” proof. As a corollary, it then follows that the propositional fragment of our system is in fact consistent. In the last part of the talk, I will discuss some open problems and closely related approaches such as the system of “Fitch-Prawitz Set Theory”.

Logicians participating in this conference stand united for Peace. This event is used to collect financial aid for two specific causes: (a) We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. (b) We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes.

As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic.

All participants are asked to register for the conference. The registration fees will be entirely used to offer financial aid to Ukraine to help our colleagues and Voices of Children. We invite academic institutions and organizations to sponsor this online logic event.

Signed by the Co-Organizing Associations and Institutions.

This time we go to the hands-on phenomenological view of intuition. We read the second chapter of Mathematcial Intuition.

Ludo Waltman is professor of Quantitative Science Studies and deputy director at the Centre for Science and Technology Studies (CWTS) at Leiden University. He does research in the fields of bibliometrics and scientometrics, with a special emphasis on applications in research management and science policy. In his talk 'Are we all biased? The complexity of the diversity puzzle', Ludo will describe how informetric research and methods allow for a better understanding of diversity in the research system. Please see full abstract here. The talk will be followed by a reception with snacks and drinks in the ILLC Common Room.

Is there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is alien to the complex and messy character of natural language. In this talk, I will claim that there is a relation of logical consequence in natural language, and moreover, that it is the subject matter of the bulk of current theories of formal semantics. I employ the framework of semantic constraints (Sagi 2014), which generalises the Tarskian definition of logical consequence. I apply the widely accepted criterion of invariance under isomorphisms (Sher 1996) generalised to the framework of semantic constraints (Sagi 2022), as well as a theory of Glanzberg (2014) to delineate the relation of logical consequence in natural language.

In person location: Utrecht, Kromme Nieuwegracht 80, room 1.06. This event will also be broadcast online, contact the organizer for more information.

The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.

In relation to the first chapter of "Mathematical Intuition" by Richard Tiszen, we will discuss some notions of Husserl's phenomenology that pertain to the categorial intuition.

Derek So will introduce us to some basic concepts of Husserl's phenomenology. We focus on intentionality, synthetic and eidetic intuition. Then we will try to see how Tieszen posits it in his program.

The Guarded Fragment (GF) of was introduced in 1996 by Hajnal Andréka, Johan van Benthem and István Németi, as a decidable fragment of first-order logic that aims to explain the attractive algorithmic and model theoretic behavior of modal logic. It subsequently gave rise to a larger family of decidable guarded fragments of first-order logic and second-order logic. These guarded fragments are, up to today, still actively studied and used in various application domains across different areas of computer science and artificial intelligence (e.g., data management, knowledge representation).

This workshop is a celebration of the 25th anniversary of GF. It will show case recent results, bringing together different strands of research, and offering an opportunity for reflection. The workshop is fully online, with a program consisting of 7 invited lectures, spread out across two days.

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

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

In relation to the first chaptemnr of "Mathematical Intuition" by Richard Tiszen, we will discuss some notions of Husserl's phenomenology that pertain to the categorial intuition. We focus on intentionality, synthetic and eidetic intuition and then see how Tieszen posits it in his program.

Arvo Pärt is one of the most popular contemporary composers. In fact, according to one count, he was the most performed contemporary composer in eight successive years from 2011 to 2018. Who would have expected that from algorithmically composed music? Indeed, that is how Pärt arguably composes: his style, known as tintanibulli, heavily relies on the use of simple mathematical procedures. They can regulate everything from the structure of a piece to the duration of individual notes. To better understand that process, we analyze and formalize Pärt's composition Summa. The algorithm we implement almost completely reconstructs the work: it outputs a musical score that matches the original in over 93% of the notes. In fact, as a result of dependencies between the notes, only 3.5% of the notes really remains to be corrected. Our work not only demonstrates that Pärt's approach to composition is deeply formal, it also invites new algorithmic compositions in his style.

Unfortunately this DIP colloquium had to be cancelled

Second meeting this year of the Philosophy of Mathematics Reading Group.
This week we will discuss the 1st chapter from "Mathematical Intuition" by Richard Tieszen.

Please contact the organizer to join this online talk.

Arvo Pärt is one of the most popular contemporary composers. In fact, according to one count, he was the most performed contemporary composer in eight successive years from 2011 to 2018. Who would have expected that from algorithmically composed music? Indeed, that is how Pärt arguably composes: his style, known as tintanibulli, heavily relies on the use of simple mathematical procedures. They can regulate everything from the structure of a piece to the duration of individual notes. To better understand that process, we analyze and formalize Pärt's composition Summa. The algorithm we implement almost completely reconstructs the work: it outputs a musical score that matches the original in over 93% of the notes. In fact, as a result of dependencies between the notes, only 3.5% of the notes really remains to be corrected. Our work not only demonstrates that Pärt's approach to composition is deeply formal, it also invites new algorithmic compositions in his style.

The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.

On the occasion of his retirement, Michiel van Lambalgen will give a valedictory lecture entitled Time. People are cordially invited to attend this lecture in the Aula.

A live stream of the event is available here.

Section VII of Bolzano’s Reine Zahlenlehre (RZ) introduces a special class of numbers, the measurable numbers, which constitute an early attempt at a rigorous treatment of the real number continuum. It remains to be settled, however, whether the RZ VII treatment is an instance of the ‘arithmetization of analysis’ Bolzano is often considered a pioneer of. In this talk I will offer a detailed analysis of Bolzano's RZ VII which leads me to conclude that Bolzano's measurable numbers cannot fully be described as an attempt at arithmetizing analysis – rather, they are still very much part of a traditional picture of mathematics as the science of quantity.

To receive zoom details, please register here.

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

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

On the first meeting of the Philosophy of Mathematics Reading Group in this academic year we will discuss some popular misinterpretations of Gödel's Theorem.

These will include (1) Lucas/Penrose style of arguments against mechanism, (2) GIT as a confirmation of Platonism, (3) The "postmodern" interpretation.

The talk will be given by Jan Gronwald. No preparation is required, but a look at the literature is most welcome.

There will be no Zoom broadcast of the meeting.

Contact the organizer to join the online talk.

Book: Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.

For the next meeting, the material would be the same as the last meeting (Chapters 6.6- 6.12) since we scarcely managed to deal with all the important and ambiguous parts of it. There is a lot more to dig up!! ;D

The Topology via Logic reading group was established by the MoL students to introduce topology and its many applications in logic, epistemology, and computer science. Topology via Logic by Steven Vickers explores these applications by constructing topology on the basis of geometric logic, locales, and lattices. Join us as we go through Topology via Logic by Steven Vickers.

Our Announcements Board: https://discord.gg/MRAJ6vMs
And WhatsApp: https://chat.whatsapp.com/G61XHn8D7nIImRue1tV7Ul

On 14 February, the ILLC Diversity Talks will start with a talk by Isabelle Collet, a former computer scientist and associate professor at the University of Geneva. Isabelle's talk 'Digital Technology and Gender Equality: A Challenge for Higher Education' will begin with an historical overview of gender disparity in computer science and describe effective and not effective strategies for increasing representation of women in STEM fields. Everyone is welcome!

On Thursday, 10 February, the Platform for the Ethics and Politics of Technology organises a PEPTalk on Connecting the Ethics and Epistemology of AI, featuring Federica Russo. The PEPTalk starts at 12:00 PM, (UTC+1). The session will be moderated by Aybüke Özgün.

Book: Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.

For the next meeting, we have to read from Chapter 6.6 "Calculating Intervention Distributions by Covariate Adjustment" to Chapter 6.11 "Algorithmic Independence of Conditionals". work on the exercises of Chapter 6.12 "Problems" and leftover exercises from our previous meeting.

Are you tired of getting confused listening to logic lectures? Has anyone ever looked at you like you’re speaking Martian when you try to explain what you’re studying here at the MoL? Do you find yourself reading a paper over multiple times, just checking that it's actually words written there, and not just gibberish pretending to be intelligent? Then you’re in the right place!

In Cool Logic’s first talk of 2022 next Friday, 4 Feb, Bobby Tosswill will take us on a journey to investigate what understanding is, how we communicate complex ideas, and what exactly makes bad lectures quite so bad. Drawing on research from cognitive science, the philosophies of understanding, mathematical practice, and so much more, Bobby will propose a cognitively-plausible logic of explanation, and demonstrate how it can help us make sense of how we make sense of things. So join us February the 4th, D1.111 in Science Park 904 – you’ll laugh, you’ll cry, and you might even just learn something!

The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.

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

This edition will be followed by new year drinks in Gather Town.

This talk is online, please contact the organizer to join.

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

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

Our first meeting for 2022 is here!
The reading material is
 - Chapter 5 "Connections to Machine Learning, I"
 - Chapter 6 "Multivariate Causal Models" until (and including) subchapter 6.5 "Markov Property, Faithfulness, and Causal Minimality"
from the book:
  Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.

Following the FIT FNWI webinar, we will organize a RET training at the beginning of 2022.

RET stands for Rational Effectiveness Training, a way to gain insight into your own, often unconscious, thoughts and behavior. In this training you will learn to deal with emotions, such as anger, irritation and fear. The training will also teach you to look at situations differently so you will experience less stress.

Keep an eye on the website for more details and registration, the training will be placed in the Faculty Agenda. The training consists out of 6 sessions, starting the 20th of January.

On 15 January 2022 we will be “Exploring Baltag’s Universe”, an online workshop organized for our colleague and friend Alexandru Baltag on the occasion of his birthday.

The workshop will feature short talks by Alexandru’s long-standing colleagues and collaborators including Samson Abramsky, Sonja Smets, Fenrong Liu, Alexander Kurz, Luís Soares Barbosa, Nick Bezhanishvili, Kevin Kelly, Larry Moss and Johan van Benthem. The programme will start at 13h45 with welcome words and continues at 14h00 with the lectures till 19.00. You are warmly invited to join the celebration on 15 January.

This event is associated with World Logic Day!

On 14 January 2021, we celebrate World Logic Day. In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, mathematical logic and its application to the sciences have a long and rich tradition. This January we celebrate Annual Vienna World Logic Day Lecture with Moshe Y. Vardi.

The ancient Greeks invented logic, as a tool to discover eternal truths. They also invented paradoxes, as a tool to sharpen the mind. In his Vienna World Logic Day Lecture Moshe Vardi not only addresses Greek paradoxes but also talks about the adverse consequences of technology in our modern day society.

Opinion summarization is the automatic creation of text reflecting subjective information expressed in multiple documents, such as user reviews of a product. These short summaries can help users make better purchasing decisions by condensing useful information in hundreds or even thousands of reviews. However, due to the high cost of summary production, datasets large enough for supervised learning were absent until recently. This lead to a variety of extractive methods that construct summaries from review sentences. However, these methods often produce incoherent summaries with unimportant details. This presentation will focus on abstractive approaches that generate summaries using a free vocabulary and thus can yield more coherent texts. We will discuss summarizers trained in unsupervised, few-shot, and supervised regimes. These models combine principles of latent probabilistic models, variational inference, and reinforcement learning. In our unsupervised model (Copycat), we treat the product and review representations as latent continuous variables. At test time, we induce summarizing representations and map them to summarizing texts. In the supervised model (SelSum), we decompose the system into a selector (posterior) and summarizer. The selector treats reviews as latent categorical variables and selects a summary-relevant subset in training. Only the small subset is passed to the summarizer, which results in computational and memory savings. The system is trained end-to-end using variational inference and reinforcement learning. Finally, we fit another selector (prior) that selects subsets of informative reviews to summarize in test time.

This talk is online, please contact the organizer to join.

This topical collection is dedicated to the formal representation of arguments involving *temporal* *reasoning *and* tensed truths*; in particular, arguments with a clear significance to everyday life.

In a broad perspective, temporal reasoning can be rigorously encoded via *intensional logic*, treating tenses as modalities, or via *extensional logic*, quantifying over domains of temporal objects (e.g., instants, intervals, etc.). Nowadays there are several formal devices (languages, systems, semantics, etc.) able to deal with time in many regards. Each of these devices is characterized by peculiar features, such as a certain choice of primitive notions and, arguably, a certain kind of ontological commitment. The truth-conditions of (the propositions expressed by) statements involving tenses can be explained either in terms of the 'past-present-future' opposition (McTaggart's A-theory) or in terms of the 'earlier-later' opposition (McTaggart's B-theory). Moreover, taking into account the difference between chronologically definite propositions and chronologically indefinite propositions (Rescher 1966), it is possible to distinguish between atemporal and temporal (or *tensed*) notions of truth. This topical collection will primarily focus on the latter.

Mathematics is usually regarded as a discipline which admits no grey areas in most situations: answers are either correct or incorrect; there is a universal, objective, correct answer. On the other hand, ethical, moral and political questions are usually not "correct" or "incorrect", they are complicated and full of grey areas. This makes it extremely tempting to see the sciences and mathematics as a good way to settle disputes concerning issues like justice or equity.

Similarly, it is usually considered that mathematics is the universal language of the world, one that describes it "as it is". According to this view, mathematics is neutral in the production of scientific knowledge: the scientist discovers the mathematical rules of nature (like laws and mathematical models) and applies mathematical methods to which nature owes allegiance (like statistics and algorithms).

Recent scholarship warns about the increasing use of mathematical techniques in order to prescribe policies and produce knowledge under a veil of neutrality, and argues that we should carefully evaluate the consequences of these techniques in science and society. This Topical Collection aims at contributing to this literature.

Organizers of the BRIO Workshop (Bias, Risk and Opacity in AI), the ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and the AWARE AI Workshop (Ethics and AI, a two-way relationship) have joined efforts and created BEWARE, a forum where to discuss ideas on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. BEWARE is co-located with the AIxIA 2022 conference to be held in Udine from the 28th of November to the 2nd of December.

This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop on "Theorem Proving Components for Educational Software" (ThEdu'22) happened on Aug 11, 2022, as a satellite of FLoC 2022, as a very lively meeting. Now the proceedings are being planned, to be published by Electronic Proceedings in Theoretical Computer Science (EPTCS), and intending to collect full versions of the contributed papers, as well as new contributions. This volume of EPTCS intends to bring together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. The contributions' range of topics is diverse, according to ThEdu's scope, and this is a call for papers, open to everyone, also those who did not participate in the workshop. All papers will undergo reviewing according to the EPTCS standards.

We welcome submission of full papers (12--20 pages) presenting original unpublished work which is not being submitted for publication elsewhere. All contributions will be reviewed (at least three blind reviews)to meet the high standards of EPTCS. The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS. Papers should be submitted via EasyChair.

We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.

The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.

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

TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2022 was held from 20 to 25 June at LS2N, University of Nantes, France. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference.

Submission is open to everyone, also to those who did not participate in the TYPES 2022 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and being original, i.e. neither previously published, nor simultaneously submitted to a journal or a conference. The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory.

The Logic Journal of the IGPL will publish a special issue on Non-classical Modal and Predicate Logics.. Its aim is to bring together papers on both pure and applied aspects of various branches of non- classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non- classical logic and (2) foundational and applied issues.

We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). Topics of interest include (but are not limited to): * The study of first- or higher-order variants of non- classical logics * Non-classical theories of quantification over classical logic * Extensions by modalities of (propositional or predicate) non-classical logics * Applications of non-classical modal and predicate logics in various areas.

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, 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 seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

Our conference aims to address the role of hypothetical thinking in the formulation and development of scientific theories and models.Next year will mark the 550th anniversary of the birth of Nicolaus Copernicus. We think that it would be highly pertinent to discuss how our understanding of the role of hypotheses has changed since his time. Is the use of hypotheses still viable in current science, or has it been superseded by other scientific concepts or methods? The aim of our conference is to contribute to the dialogue between scientists, historians of science, philosophers of science, and logicians interested in scientific methods of reasoning.

Keynote Speakers: Stephen Barr (University of Delaware, USA) Carl Craver (Washington University in St. Louis, USA) Niccolo Guicciardini (University of Milan, Italy) Paweł Kawalec (Catholic University of Lublin, Poland) Emily Sullivan (Eindhoven University of Technology, Netherlands) K. Brad Wray (Aarhus University, Denmark) Peter Vickers (Durham University, United Kingdom).

The fourteenth edition of the French Philosophy of Mathematics Workshop  (FPMW) will be held from the 19th to the 21st of October 2022 at Nantes University.

Each year, the workshop program consists of five talks by invited speakers, and five contributed talks.

This year, the invited speakers are: Mark van ATTEN (CNRS, Ecole Normale Supérieure), Erwan BRUGALLÉ (Nantes Université), Jessica CARTER (Aarhus Universitet), Jean-Baptiste JOINET (Université Lyon III Jean Moulin) and Göran SUNDHOLM (Universiteit Leiden).

Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of 'reasoning from experience;. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

Workshop to mark the end of the NWO Vidi project The Language of Fiction and Imagination, Groningen, September 29-30, 2022.

Topics of interest include any philosophical and linguistic topics related to fiction (fictional truth/reference, imagination, pretense, fiction-making speech acts, etc) or narrative (unreliable narration, coherence, perspective, attributing mental states, etc), and with a special focus on how these categories interact with differences of modality/media (signed, spoken, written, pictorial, movies, videogames). See website for list of invited speakers

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2022 will be part of Computational Logic Autumn Summit (CLAS 2022). Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

The conference concerns all aspects of theoretical computer science, including, but not limited to: Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded and cyber-physical systems - Security and privacy - Static analysis - Probabilistic and statistical verification - Software verification - Software testing - Runtime verification - Program generation and transformation - Model checking and theorem proving - Applications and case studies - AI-enabled software development - Theory and methods of trustworthy AI.

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.

RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The RuleML+RR 2022 conference is part of the event 'Declarative AI: Rules, Reasoning, Decisions, and Explanations' and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). Due to the global pandemic, the 2020 edition had to be cancelled and is now held with two years delay as Colloquium Logicum 2022. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.

Keynote Speakers: Laurent Bienvenu (Bordeaux), Olivier Bournez (École Polytechnique), Wesley Holliday (University of California, Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Philipp Lücke (Universität Bonn) and Margaret Thomas (West Lafayette). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side.

LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and 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.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022.

The aim of GandALF 2022 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

Information for real-life AI applications is usually pervaded by uncertainty and subject to change, thus demands non-classical reasoning approaches. 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 2022 will be co-located with the 45th German Conference on Artificial Intelligence in Trier, Germany.

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German Society of Informatics (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2022 is affiliated with the German KI 2022, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology.

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 (see www.illc.uva.nl/PLM/).

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 by the School of Computer Science and Informatics of the Cardiff University. COMMA 2022 will be preceded by the fifth edition of the Summer School on Argumentation (SSA 2022). In addition to the main conference track, COMMA 2022 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

The aim of this workshop is to bring together researchers from the fields of computational argumentation and eXplainable Artificial Intelligence (XAI). We specifically seek contributions that present formal work on argumentative explainability, as well as argumentative approaches that explain the behaviour of intelligent systems (argumentation for XAI).The workshop is to be held at the:International Conference on Computational Models of Argument (COMMA 2022).

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The aim of the annual International Conference on Intuitionistic Fuzzy Sets (ICIFS) is to gather specialists interested in intuitionistic fuzziness, decision making under uncertainty, and other related topics, and to give them floor for discussions on both the theoretical and practical aspects of intuitionistic fuzzy sets. Since 2013, ICIFS has been an EUSFLAT endorsed event.

PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, logic in computer science and in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

Registration deadline: 20/07/2022 (If you need a child-care, please let us know by email/contact-form within June 20th 2022).

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

The International conference MCU series traces its roots back to the mid 90's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation.  The 9th edition of MCU will take place at the University of Debrecen in Hungary, it is co-located with DCFS 2022 and NCMA 2022. As long as travel conditions and the situation concerning the current humanitarian crisis in the neighboring Ukraine allow, the conference is planned to be on-site. If necessary, the possibility of both, in-person and online participation will be provided.

The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e., not reducible to each other.

Any papers related to bilateralism in the context of proof-theoretic semantics are welcome.  Papers should be prepared according to the general submission rules (see here) and submitted via the editorial platform of the Bulletin of the Section of Logic by selecting the article type Special Issue - Bilateralism and Proof-Theoretic Semantics. Guest Editor: Sara Ayhan (Ruhr University Bochum).

Logics and strategic reasoning play a central role in multi-agent systems. Logics 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 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. LAMAS&SR 2022 will be an event co-located with the 14th International Conference on Advances In Modal Logic (AiML 2022, 22-25 August).

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 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

DubDial will be the 26th edition of the SemDial workshop series, which aims 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. In 2022 the workshop will be hosted by the Information, Communication and Entertainment Research Institute at Technological University Dublin, Ireland and the SFI ADAPT Research Centre. There will also be an online component for those who cannot travel to Dublin.

This year, there will be a guiding theme for the conference: Interactivism. The interactivist model (Bickhard, 2009) offers a new dynamic approach to understanding language, communication, and cognition. Across many disciplines, from philosophy to neuroscience and robotics, there is recognition that explanations of life and mind need to be grounded in the physics of far-from-equilibrium, interactive systems. From this starting point, explanations have been developed for phenomena ranging from representation, perception, and action to motivation, memory, learning and development, emotions, consciousness, rationality, sociality, personality and psychopathology. This work has yet to develop interfaces with studies of specific phenomena in dialogue modelling and our purpose is to open the discussion on how dialogue researchers can take advantage of this and related perspectives like Enactivism and Ecological Psychology.

The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol, together with dr. Johannes Korbmacher (University of Utrecht), is organizing a two-day workshop on truthmaking, semantical grounding, and paradoxes. The workshop will be held in person in Bristol (UK) on August 22-23, 2022.

The aim of the conference is twofold. On the one hand, we would like to investigate the role that various forms of truthmaking semantics and semantical grounding can have in diagnosing the problematic nature of paradoxes (including, but not limited to, semantic paradoxes, paradoxes of vagueness, paradoxes of conditionals…), and how they can be used to generate possible solutions to them; and, on the other hand, we would like to study paradoxes of truthmaking or paradoxes of semantic grounding.

This workshop focuses on end-to-end implementations of vector-based compositional architectures. This means not only the elementary word embeddings are obtained from data, but also the categories/types and their internal composition so that neural methods can then be applied to learn how the structure of syntactic derivations can be systematically mapped to operations on the data-driven word representations. For this last step, the workshop invites approaches that do not require the semantic operations to be linear maps since restricting the meaning algebra to finite dimensional vector spaces and linear maps means that vital information encoded in syntactic derivations may be lost in translation.

On the evaluation side, we welcome work on modern NLP tasks for evaluating sentence embeddings such as Natural Language Inference, sentence-level classification, and sentence disambiguation tasks. Special interest goes out to work that uses compositionality to investigate the syntactic sensitivity of large-scale language models.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

UNIF 2022 is the 36th in a series of annual workshops on unification and related topics. Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.

Just as its predecessors', the purpose of UNIF 2022 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-ided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It is a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2022 is associated with IJCAR 2022 part of the Federated Logic Conference 2022.

The automation of logical reasoning is a challenge that has been studied intensively in fields including mathematics, philosophy, and computer science. PAAR is the workshop on turning this theory into practice: how can automated reasoning tools be built that work and are useful in applications. PAAR covers all aspects of this challenge: which theories, logics, or fragments are well-behaved in practice, and connect well to application domains? which reasoning tasks are tractable and useful? which algorithms are able to solve real-world instances? how should automated reasoning tools be designed, implemented, tested, and evaluated? The goal of PAAR is to bring together theoreticians, tool developers, and users, to concentrate on the practical aspects of automated reasoning.

PAAR 2022 will be co-located with FLoC/IJCAR 2022 and host the meeting of the working group on Automated Theorem Provers of the EuroProofNet COST action.

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.

ThEdu'22 will be a satellite workshop of FLoC 2022. Invited Speakers: Thierry Dana-Picard, Yoni Zohar.

Starting from Craig's interpolation theorem for first-order logic, the existence and computation of interpolants became an active research area, with applications in different fields, notably in verification, databases, and knowledge representation. There are challenging theoretical and practical questions, for model-theoretic as well as proof-theoretic approaches. The workshop aims at bringing together researchers working on interpolation and its various applications, based on different approaches, increasing the awareness of the automated reasoning community for challenging open problems related to interpolation.

iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022. The workshop will include invited talks, invited tutorials (speakers to be announced), and contributed talks.

SMT 2022 is the 20th International Workshop on Satisfiability Modulo Theories. It is affiliated with IJCAR 2022, part of FLoC2022, and will be held on August 11th-12th, 2022, in Haifa, Israel.

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * Decision procedures and theories of interest * Combinations of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results.

The European Summer School of Logic, Language and Information (ESSLLI 2022) will feature a Student Session where students can present their work.

After the successful completion of NALOMA’20 and NALOMA’21, NALOMA'22 seeks to continue the series and attract exciting contributions. Particularly, this year NALOMA expands its focus to the whole field of Natural Language Understanding (NLU) . The workshop aims to bridge the gap between ML/DL and symbolic/logic-based approaches to NLU and lay a focus on hybrid approaches.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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 35th edition will be held in Haifa, Israel, between August 7th and 10th 2022. It will be co-located with a number of events as part of FLoC 2022 (including KR & NMR 2022).

Invited speakers: Aarti GUPTA, Princeton University, NJ, US (FLoC Plenary); Ziyad HANNA, Jasper Design Automation, Israel (FLoC Keynote); Pierre MARQUIS, CRIL-CNRS/Université d'Artois, Lens, France (Joint DL/NMR keynote); Sebastian RUDOLPH, Technische Universität Dresden, Germany; Renate A. SCHMIDT, University of Manchester, UK.

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.

NMR 2022 is part of the Federated Logic Conference (FLoC 2022). As in previous editions, NMR 2022 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. Workshop activities will include invited talks and presentations of technical papers. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present.

Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area of probabilistic programming.

This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged.

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Besides the main track, ICLP 2022 will host additional tracks and special sessions:
 - Applications Track
 - Recently Published Research Track
 - Doctoral Consortium (DC) and Mentoring Sessions
 - Tutorials and Co-located Workshops.

ILCP 2022 will be part of FLOC 2022.

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is the subject of active research. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop, affiliated with FLOC 2022, will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them.

The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches. The workshop will be co-located with KR 2022 at FLoC 2022.

This workshop aims to bring together researchers working in all aspects of machine ethics and explainability, including theoretical work, system implementations, and applications. The co-location of this workshop with ICLP is intended also to encourage more collaboration with researchers from different fields of logic programming.This workshop provides a forum to facilitate discussions regarding these topics and a productive exchange of ideas.

Topics of interest include (but not limited to):
 - New approaches to programming machine ethics;
 - New approaches to explainability of blackbox models;
 - Evaluation and comparison of existing approaches;
 - Approaches to verification of ethical behavior;
 - Logic programming applications in machine ethics;
 - Integrating logic programing with methods for machine ethics;
 - Integrating logic programing with methods for explainability.

The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap manipulations, mainly due to the development of Separation Logic (SL). SL is a resource logic, a dialect of the logic of Bunched Implications (BI) designed to describe models of the heap memory and the mutations that occur in the heap as the result of low-level pointer updates. The success of SL in program analysis is due to the support for local reasoning, namely the ability of describing only the resource(s) being modified, instead of the entire state of the system. This enables the design of compositional analyses that synthesize specifications of the behavior of small parts of the program before combining such local specifications into global verification conditions. Another interesting line of work consists in finding alternatives to the underlying semantic domain of SL, namely heaps with aggregative composition, in order to address other fields in computing, such as self-adapting distributed networks, blockchain and population protocols, social networks or biological systems.

ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. Keynote Speakers: Philippa Gardner (Imperial College London) and Ralf Jung (MIT CSAIL).

Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F (e.g. a propositional tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules), what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.

The workshop will be part of FLoC and will be affiliated with the conference SAT'22.

The VardiFest titled "On the Not So Unusual Effectiveness of Logic" is a FLoC-22  workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science.

The workshop will be organized ala Highlights conference style: i.e., composed of short talks and invited talks.

Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges.

Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations.

Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios.

This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP  community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.

Several successful logic programming languages, evidenced by the availability of a multitude of solvers, industrial applications, and an active research community, have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. This led to a flurry of research on this topic, and renewed interest in recent years. A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated. Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems. The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas.

This workshop is part of the Federated Logic Conference (FLoC) 2022, to take place in Haifa, Israel.

Logic is one of the pillars of the foundation of Computer Science, together with Algorithmic Mathematics, Information Theory, and Electronics. Consequently various versions of Logic courses used to be part of the undergraduate syllabus of Computer Science. However, as witnessed by the variety of conferences related to Logic present at the FLoC event, the emphasis has moved from the foundation to applications of Logic in Computer Science. Each of these conferences deal with topics suitable for advanced undergraduate and graduate courses, which require some Logic based prerequisite. On the other hand, Logic courses in the undergraduate syllabus have been forced to make place for courses deemed more suitable for the education of future specialists and practitioners working in IT. Many of the top Universities worldwide have dropped foundational Logic courses for undergraduates for more practical oriented courses, turning undergraduate CS programs into programs more suitable for what used to be vocational colleges and professional schools.

Time has come to critically reflect upon and reevaluate the role of Logic in the undergraduate syllabus. It seems clear that the classical Logic in CS courses have no place there anymore. They seem to teach and emphasize the wrong narrative of logic as taught by tradition. However, it seems also clear that eliminating Logic courses all together is counter productive. The purpose of the workshop is the prepare a proposal for a logic course Logic-2020 which is useful and acceptable for University undergraduates in CS, and which can serve as a prerequisite for the many diverse branches of applied logic.

The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.

WPTE 2022 is affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel. Invited speaker: Akihisa Yamada, National Institute of Advanced Industrial Science and Technology (AIST), Japan.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.

We are pleased to announce that the 10th FCA4AI Workshop co-located with the IJCAI-ECAI 2022 Conference that will take place in July 2022. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular:
- How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- By contrast, how the current developments in AI can be integrated within FCA to help AI researchers solve complex problems in their domain,
- Which role can be played by FCA in the new trends in AI, especially in ML, XAI, fairness of algorithms, and ``hybrid systems'' combining symbolic and subsymbolic approaches.
The workshop will include time for audience discussion aimed at better understanding of of the issues, challenges, and ideas being presented.

This is the 14th 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 which 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.

The 22nd Trends in Logic workshop, entitled "Strong & Weak Kleene Logics", will take place at the University of Cagliari (Cagliari, Italy) from 18–20 July 2022. It is organized by the ALOPHIS research group of the Department of Pedagogy, Psychology and Philosophy.

The aim of the workshop is to bring together researchers working on various facets of logics related to the strong and weak Kleene systems, be they algebraic, proof-theoretic, or philosophical. The workshop will be held in a hybrid format, with in-person as well as online sessions. The workshop will be followed by another event on neighbouring topics, the second installment of Workshop on Relating Logics from July 22--23.

Applied category theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field.

The conference will be fully hybrid, that is, it will be possible for both the audience and presenters to participate remotely over Zoom, if preferred.

The IPMU Conference is organized every two years since 1986 with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the exchange of ideas between theoreticians and practitioners in these and related areas.

The conference includes keynote talks by Tomaso A. Poggio, César A. Hidalgo and Marianne Huchard, and various special sessions including one on 'Mathematical Fuzzy Logics: Modalities, Quantifiers and Uncertainty'.

CiE 2022 is the 18th conference organized by CiE (Computability in Europe), 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 2022 is planned as an on-site conference with online elements.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It 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, the PLS 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.

PLS13 will have a Poster and Mentoring Session.

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 goal 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 consist of 3 invited talks and 14 contributed talks from researchers whose submitted works were selected after a double-blind peer-reviewed phase. A significant amount of time will be kept for interactions between participants.

In 1967, Valerie Plumwood (then Routley) presented a talk entitled "Some False Laws of Logic" to the St. Andrews logic group in which she mounted criticisms of classical logic. The paper version of the talk was written but never published in full, but it was influential in later work in relevant and paraconsistent logic of the Australasian school.

A special issue of the Australasian Journal of Logic will be compiled in order to celebrate Plumwood's contributions to logic, and to make this paper available. We invite contributed papers dealing with any topic concerning Plumwood's work on logic. Submissions (preferably in LaTeX or pdf) will be peer reviewed according to the standards of the AJL. Any contributor wanting a copy of Plumwood's paper, or with any questions about submissions, is encouraged to email the editors.

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

Recently, connexive logics have received new attention. Following the conference Trends in Logic XXI, ”Frontiers of connexive logic”, this special issue is meant to present current work on connexive logic to stimulate future research. Any papers related to connexive logics are welcome. Moreover, we will have a special section on other contra-classical logics, and thus any papers related to contra-classical logics, other than connexive logics, are welcome.

Submissions of papers, following the general rules of Studia Logica, should be submitted via the Editorial Manager system by selecting the article type "S.I. : Frontiers of Connexive Logic".