The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

BEST is an international conference featuring talks on a broad range of recent advances in research in set theory and related fields. Researchers from all areas of set theory and logic are welcome. BEST particularly aims to support the careers of young researchers. The conference is organized by the Set Theory group at Boise State University.

The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.

Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming.

Besides the main track, ICLP 2021 will host additional tracks and special sessions:
 - Applications Track
 - Recently Published Research Track
 - MentorLP - Mentoring Workshop on Logic Programming
 - Fall School on Logic and Constraint Programming
 - Doctoral Consortium: the Doctoral Consortium (DC) on Logic
 - Tutorials and Co-located Workshops.

Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack). Traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Session types are abstract representations of the sequences of operations that computational entities (such as channels or objects) must perform. Although the foundations of session types are now well established, and new works build on approaches that have become standard, there is still a lack of reusable libraries, namely machine-verified ones.

The goal of the VEST workshop is to gather the researchers working on mechanisations of behavioural types using various theorem provers, such as Agda, Coq, Isabelle or any other. The workshop will be a platform to present both the now well-established efforts and the ongoing works the community has put on verification. The workshop will also be a forum to discuss strengths and weaknesses of existing approaches, potential obstacles and to foster collaboration.

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 behavior 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, 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, devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. Over the years the communities and research themes of both workshops got closer and closer. LAMAS&SR unifies LAMAS and SR under the same flag, formally joining the two communities in order to expose each of them to a wider range of work relevant to their research.

LAMAS&SR 2021 will be held with AAMAS 2021 Online.

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

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 behavior 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, 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, devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. Over the years the communities and research themes of both workshops got closer and closer. LAMAS&SR unifies LAMAS and SR under the same flag, formally joining the two communities in order to expose each of them to a wider range of work relevant to their research.

LAMAS&SR 2021 will be held with AAMAS 2021 Online.

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP, mathematics, physics, relations to general AI, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

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

FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

Online instruction of formal methods has been a challenge in the last year, including teaching of basics of logics and automata theory, formal verification, theorem proving etc. This satellite workshop of ICALP brings together instructors of formal methods as well as developers of teaching support systems for formal methods to (1) present tools supporting teaching of formal methods education, and (2) discuss tips, tricks & experiences in online instruction gained in the last year.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.

CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The 'Computability in Europe' conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.

Due to the current pandemic CiE 2021 will be held as a virtual conference. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.

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. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

The Australasian Association for Logic will hold its annual conference online via Zoom from Wednesday, June 23 to Friday, June 25, 2021. It will be hosted by the University of Queensland and the University of Melbourne.

There will be three keynote speakers. The keynote speakers confirmed are Xavier Caicedo (Los Andes), Catarina Dutilh Novaes (VU Amsterdam) and Katalin Bimbó (Edmonton).

SWODCH 2021 is the association of the 2nd edition of WODHSA and the 4th edition of SW4CH. It is also in continuation of the 1st edition of ODOCH and the special issue of the Semantic Web journal on "Semantic Web for Cultural Heritage".

The purpose of WODHSA is to gather original research work about both application and foundational issues emerging from the design of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH). The aim of SW4CH is to bring together stakeholders from various scientific fields, Computer Scientists, Data Scientists and Digital Humanists, involved in the development or deployment of Semantic Web solutions for Cultural Heritage. The overall goal of SWODCH 2021 is to provide a scientific forum where scholars and stakeholders will have the opportunity to exchange ideas, experiences, and analyses, while presenting realizations and outcomes of relevant projects and discussing the related challenges.

Due to the COVID-19 restrictions, the workshop will have a hybrid format, allowing both physical and virtual participation.

"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. The workshop is open for research on any aspect of concepts, but there are three overarching topics that are of special interest with the following (not exhaustive) list of exemplary subtopics:

 - Representation: How can we formally describe and model concepts?
 - Learning: Where do concepts come from and how are they acquired?
 - Application: How are concepts used in cognitive tasks?

This workshop provides an excellent opportunity to present and discuss ongoing research on concepts, both from theoretical/formal and applied/experimental viewpoints. CARLA 2021 is currently planned to be conducted as a *hybrid* event allowing for both physical and virtual attendance. Invited Speakers: Monique Flecken and Antonio Lieto.

This community event aims at bringing together researchers in logic and related areas. The event is open to all researchers interested in logic, while contributions related to Gödel's work are especially welcome. Promoting the heritage of Kurt Gödel , the Kurt Gödel Prize will be awarded during the meeting by the Kurt Gödel Society in Brno and the recipient will deliver a lecture.

Invited speakers: Matthias Baaz (Technische Universität Wien, Vienna), Petr Cintula (Czech Academy of Sciences, Prague), Vítězslav Švejdar (Charles University, Prague) and Pavol Zlatoš (Komensky University, Bratislava).

Note: The event will be postponed to September in case the pandemic situation prevents meeting on site.

The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.

The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.

Numbers: we use them every day, science relies on their precision, entire mathematical theories are built from them, they are the lifeblood of our technological ecosystem, even animals and plants show some numerical competency - but, what are numbers? Held online May 24-28, Numerous Numerosity is an interdisciplinary conference aimed at answering this seemingly naive question in the most comprehensive way possible.

Participants from any background are welcome to attend, but we expect that this event will be of particular interest to researchers in the fields of mathematical cognition, complexity science, foundations of mathematics, neuroscience, fundamental physics, computer science and philosophy of mathematics. Those wishing to attend the online conference by joining the virtual meetings must click the button 'Attend' on the event website before May 16. The event will also be live-streamed on YouTube.

Following the main event there will be a small-scale three-day workshop aimed primarily at young researchers. Applications to participate in the workshop are open until May 16.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy. The confernce will be dedicated to various topics in the fields of  philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, and other branches of formal and mathematical philosophy.

This year we are also planning two special sessions:
 - session on formal ethics
 - special session dedicated to the centennial of the publication of the "Tractatus Logico-Philosophicus".

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.

Numbers: we use them every day, science relies on their precision, entire mathematical theories are built from them, they are the lifeblood of our technological ecosystem, even animals and plants show some numerical competency - but, what are numbers? Held online May 24-28, Numerous Numerosity is an interdisciplinary conference aimed at answering this seemingly naive question in the most comprehensive way possible.

Participants from any background are welcome to attend, but we expect that this event will be of particular interest to researchers in the fields of mathematical cognition, complexity science, foundations of mathematics, neuroscience, fundamental physics, computer science and philosophy of mathematics. Those wishing to attend the online conference by joining the virtual meetings must click the button 'Attend' on the event website before May 16. The event will also be live-streamed on YouTube.

Following the main event there will be a small-scale three-day workshop aimed primarily at young researchers. Applications to participate in the workshop are open until May 16.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.

Numbers: we use them every day, science relies on their precision, entire mathematical theories are built from them, they are the lifeblood of our technological ecosystem, even animals and plants show some numerical competency - but, what are numbers? Held online May 24-28, Numerous Numerosity is an interdisciplinary conference aimed at answering this seemingly naive question in the most comprehensive way possible.

Participants from any background are welcome to attend, but we expect that this event will be of particular interest to researchers in the fields of mathematical cognition, complexity science, foundations of mathematics, neuroscience, fundamental physics, computer science and philosophy of mathematics. Those wishing to attend the online conference by joining the virtual meetings must click the button 'Attend' on the event website before May 16. The event will also be live-streamed on YouTube.

Following the main event there will be a small-scale three-day workshop aimed primarily at young researchers. Applications to participate in the workshop are open until May 16.

"Let's Talk Models!" is the kick-off workshop for the NWO VIDI project ENCODE: Explicating Norms of Collective Deliberation. As part of this project, we will organize workshops on a regular basis at the EIPE/ESPhil (Erasmus University of Rotterdam).

The theme of this edition is Formal Models of Deliberative Norms. In particular, a range of different models (logical, agent-based, game-theoretic and/or argument-based) of group deliberation and its norms will be presented and discussed. The ultimate aim is to understand how these models shed light on trade-offs and tensions among such norms, and on different recipes for checking and monitoring their satisfaction.

The conference takes place online via Zoom. Confirmed speakers are Hun Chung (Waseda University), Erica Yu (Erasmus University of Rotterdam), Olivier Roy (University of Bayreuth) and Soroush Rafiee Rad (University of Bayreuth & University of Amsterdam), and Nina Gierasimczuk (Danish Technical University). The full programme, incl. titles and abstracts of the talks can be found at https://www.dropbox.com/s/ua61j4fg477izrc/Kickoff%20ENCODE%20programme%20and%20abstracts.docx?dl=0.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.

Numbers: we use them every day, science relies on their precision, entire mathematical theories are built from them, they are the lifeblood of our technological ecosystem, even animals and plants show some numerical competency - but, what are numbers? Held online May 24-28, Numerous Numerosity is an interdisciplinary conference aimed at answering this seemingly naive question in the most comprehensive way possible.

Participants from any background are welcome to attend, but we expect that this event will be of particular interest to researchers in the fields of mathematical cognition, complexity science, foundations of mathematics, neuroscience, fundamental physics, computer science and philosophy of mathematics. Those wishing to attend the online conference by joining the virtual meetings must click the button 'Attend' on the event website before May 16. The event will also be live-streamed on YouTube.

Following the main event there will be a small-scale three-day workshop aimed primarily at young researchers. Applications to participate in the workshop are open until May 16.

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

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

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.

Numbers: we use them every day, science relies on their precision, entire mathematical theories are built from them, they are the lifeblood of our technological ecosystem, even animals and plants show some numerical competency - but, what are numbers? Held online May 24-28, Numerous Numerosity is an interdisciplinary conference aimed at answering this seemingly naive question in the most comprehensive way possible.

Participants from any background are welcome to attend, but we expect that this event will be of particular interest to researchers in the fields of mathematical cognition, complexity science, foundations of mathematics, neuroscience, fundamental physics, computer science and philosophy of mathematics. Those wishing to attend the online conference by joining the virtual meetings must click the button 'Attend' on the event website before May 16. The event will also be live-streamed on YouTube.

Following the main event there will be a small-scale three-day workshop aimed primarily at young researchers. Applications to participate in the workshop are open until May 16.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning -such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving - to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. What are the current challenges, applications, directions, or exemplary achievements of Automated Reasoning?

The structure of the workshop will be informal. At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in post-proceedings (EPiC or similar), taking into account the discussion.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).

The event "Toposes online" represents the third edition of the main international conference on topos theory, following the previous ones "Topos à l’IHES" and "Toposes in Como". The format of the event is the same as that of the other two editions: it will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day congress featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science.

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

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges.

QBF 2021 is affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2021) July 5-9, 2021. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.

The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).