The ERC Project SPAGAD: Speech Acts in Grammar and Discourse invites to a workshop on biased questions that focuses on (a) experimental results concerning the conditions of use of questions that express a bias towards particular answers, and (b) on the theoretical modelling of such questions that includes morphological markers, discourse particles, specialized syntactic structure, prosody and gestures.

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.

Department of Computer Science at the University of Oxford will celebrate the UNESCO World Logic Day together with a number of academic institutions all around the world! On this occasion 5 esteemed senior researchers from the department will offer a closer look at their fields of research and explain how logic and logical methods are exploited therein.

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline. The Conseil International de Philosophie et des Sciences Humaines (CIPSH)  is coordinating the dynamic and global annual celebration of World Logic Day aiming at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation.

We invite everyone in the world interested in logic to organise events celebrating World Logic Day 2021 on 14 January 2021 (or on convenient date close to the 14th of January). WLD events
 - can be academic or non-academic,
 - can be aimed at the general public or specialists,
 - can focus on any of the many facets of logic from disciplines such as mathematics, philosophy, computer science, linguistics, or others, and
 - can use any format, e.g., it could be a lecture, a workshop, a panel discussion, an information bazaar, etc. etc.

If you are organising an event and wish to be listed in the official list of WLD 2021 events on our website and use the official WLD logo in your announcements, please follow the instructions on the website to obtain the status of an official WLD 2021 event.

We are organising a virtual mini-workshop on logic and its philosophy. Talks will be given by: 1. Hitoshi Omori (Bochum) 2. Filippo Ferrari (Bonn) 3. Catarina Dutilh Novaes (VU Amsterdam & St. Andrews).

The event is organised by Sara Ipakchi and Paul Hasselkuß (HHU Düsseldorf). Registration is free of charge and everybody is welcome to attend.

The Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics and the Department of Logic of Eötvös Loránd University organize an online workshop celebrating the 3rd World Logic Day at 14 January 2021.

Mohamed Khaled (Bahçeşehir University): Algebras of concepts and their networks
Aleksandra Samonek (UCLouvain): Modeling inductive inference on linguistic content using dictionaries and vectors
István Juhász (Rényi Institute): Pinning Down Families of Open Sets
Giambattista Formica (Pontifical Urbaniana University) and Michèle Friend (The George Washington University): In the Footsteps of Hilbert: The Logical Foundations of Theories in Physics.

Logical Journeys is a one day event organised by Renato Neves, Mehrnoosh Sadrzadeh, and Alexandra Silva (UCL) for discussing the past use of logic in different domains and the challenges it faces from emerging paradigms, such as machine learning, probabilistic, cyber-physical, and quantum computing. The event is framed in the context of UNESCO's World Logic Day, which was proclaimed.

Logical Journeys will consist of a keynote talk by Samson Abramsky and a discussion session on 'the many facets of logic' which will be led by a panel of researchers with different backgrounds but with logic as a central pillar in their careers.

We are organizing four evening talks to commemorate the World Logic Day. Registration is free of charge and everybody is welcome to attend.

Speakers:
1.Graham Priest (Graduate Center, City University of New York & University of Melbourne)
2.Gil Sagi (University of Haifa)
3.Silvia de Toffoli (Princeton University)
4.Jouko Väänänen (University of Helsinki & University of Amsterdam)

Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.

The talk is part of a series of World Logic Day events and is aimed at a general audience.

The talk is now available online at https://www.youtube.com/watch?v=wOQuW6QFdos&feature=youtu.be

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.

On 15th January 2021, academics, post-docs and PhD students of the Department of Computing, Imperial College London, will celebrate the World Logic Day with a free and remotely delivered event, entitled "Computer Science needs Logic!". Our event intends to contribute to the UNESCO World Logic Day with a programme of presentations, by members of the Department of Computing, that will showcase advancements made in "Logic and Programming Languages" and "Logic and Artificial Intelligence".

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.

It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics.

Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students.This event features speakers speaking about both concrete projects and reflections on such endeavours in general.

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

CPP 2021 will take place on January 18-19, 2021 as a virtual meeting.

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.

The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Life and Social Sciences, etc.

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

CPP 2021 will take place on January 18-19, 2021 as a virtual meeting.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

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

Invited Speakers:
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

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

Invited Speakers:
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

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

Invited Speakers:
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

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

Invited Speakers:
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

After two years of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and two excellent Workshops CCC 2019 in Ljubljana (Slovenia) and CCC 2020 (online), we are planning to publish a collection of papers dedicated to the meetings, to the project and to the subject in general as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMCS).

The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms. Editors: Daniel Graça (Faro, Portugal) and Alex Simpson (Ljubljana, Slovenia).

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.