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

RuleML+RR 2020 is co-located with DecisionCAMP 2020 and the 16th Reasoning Web Summer School (RW 2020), as part of the Declarative AI 2020 event. The theme of the 2020 edition is: Explainable algorithmic decision-making

This conference has been postponed due to COVID-19.

Keynote speaker: Crispin Wright (University Stirling & NYU)

Other confirmed speakers include: .Roy T. Cook (University of Minnesota), Fiona Doherty (University of Stirling), Sean Ebels-Duggan (Northwestern University), Richard K. Heck (Brown University), Graham Leach-Krouse (Kansas State University), Paolo Mancosu (UC Berkeley), Fraser McBride (University of Manchester; via Skype), Eileen Nutting (University of Kansas), Walter Pedriali (University of St. Andrews), Agustí­n Rayo (MIT), Marcus Rossberg (University of Connecticut), William Stirton (Independent Scholar), James Studd (Oxford), Alan Weir (University of Glasgow), Sean Walsh (UCLA) and Robbie Williams (University of Leeds; via Skype).

This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.

Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.

Due to Covid-19, the workshop is postponed to 2021!

This conference has been postponed due to COVID-19.

Keynote speaker: Crispin Wright (University Stirling & NYU)

Other confirmed speakers include: .Roy T. Cook (University of Minnesota), Fiona Doherty (University of Stirling), Sean Ebels-Duggan (Northwestern University), Richard K. Heck (Brown University), Graham Leach-Krouse (Kansas State University), Paolo Mancosu (UC Berkeley), Fraser McBride (University of Manchester; via Skype), Eileen Nutting (University of Kansas), Walter Pedriali (University of St. Andrews), Agustí­n Rayo (MIT), Marcus Rossberg (University of Connecticut), William Stirton (Independent Scholar), James Studd (Oxford), Alan Weir (University of Glasgow), Sean Walsh (UCLA) and Robbie Williams (University of Leeds; via Skype).

This conference has been postponed due to COVID-19.

Keynote speaker: Crispin Wright (University Stirling & NYU)

Other confirmed speakers include: .Roy T. Cook (University of Minnesota), Fiona Doherty (University of Stirling), Sean Ebels-Duggan (Northwestern University), Richard K. Heck (Brown University), Graham Leach-Krouse (Kansas State University), Paolo Mancosu (UC Berkeley), Fraser McBride (University of Manchester; via Skype), Eileen Nutting (University of Kansas), Walter Pedriali (University of St. Andrews), Agustí­n Rayo (MIT), Marcus Rossberg (University of Connecticut), William Stirton (Independent Scholar), James Studd (Oxford), Alan Weir (University of Glasgow), Sean Walsh (UCLA) and Robbie Williams (University of Leeds; via Skype).

The University of Bergen in Norway is hosting a PhD course on Dynamic Syntax, a grammar formalism which aims to capture the real-time parsing/production of language. The course will be of particular interest to those working in syntax, semantics and the syntax-semantics interface, as well as natural language modelling and computational linguistics, but is open to all.

Any interested PhD candidate or postdoctoral researcher who is currently enrolled or employed at a university is welcome to register and take part in the course. All participants who attend the course and complete the written and oral assignment will be awarded 5 ECTS.

This will be a 4-day course that takes place in the autumn of 2020. The exact course dates will be announced in the next couple of months.

The University of Bergen in Norway is hosting a PhD course on Dynamic Syntax, a grammar formalism which aims to capture the real-time parsing/production of language. The course will be of particular interest to those working in syntax, semantics and the syntax-semantics interface, as well as natural language modelling and computational linguistics, but is open to all.

Any interested PhD candidate or postdoctoral researcher who is currently enrolled or employed at a university is welcome to register and take part in the course. All participants who attend the course and complete the written and oral assignment will be awarded 5 ECTS.

This will be a 4-day course that takes place in the autumn of 2020. The exact course dates will be announced in the next couple of months.

The University of Bergen in Norway is hosting a PhD course on Dynamic Syntax, a grammar formalism which aims to capture the real-time parsing/production of language. The course will be of particular interest to those working in syntax, semantics and the syntax-semantics interface, as well as natural language modelling and computational linguistics, but is open to all.

Any interested PhD candidate or postdoctoral researcher who is currently enrolled or employed at a university is welcome to register and take part in the course. All participants who attend the course and complete the written and oral assignment will be awarded 5 ECTS.

This will be a 4-day course that takes place in the autumn of 2020. The exact course dates will be announced in the next couple of months.

The University of Bergen in Norway is hosting a PhD course on Dynamic Syntax, a grammar formalism which aims to capture the real-time parsing/production of language. The course will be of particular interest to those working in syntax, semantics and the syntax-semantics interface, as well as natural language modelling and computational linguistics, but is open to all.

Any interested PhD candidate or postdoctoral researcher who is currently enrolled or employed at a university is welcome to register and take part in the course. All participants who attend the course and complete the written and oral assignment will be awarded 5 ECTS.

This will be a 4-day course that takes place in the autumn of 2020. The exact course dates will be announced in the next couple of months.

Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
 - Logical systems for modeling, specification, analysis and synthesis of MAS
 - Deductive systems and decision procedures for logics for MAS
 - Algorithmic methods for formal verification of MAS
 - Logic-based tools for MAS
 - Applications of logics in MAS

Because of the covid-19 LAMAS2020 will be entirely virtual.

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
 - Logical systems for modeling, specification, analysis and synthesis of MAS
 - Deductive systems and decision procedures for logics for MAS
 - Algorithmic methods for formal verification of MAS
 - Logic-based tools for MAS
 - Applications of logics in MAS

Because of the covid-19 LAMAS2020 will be entirely virtual.

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the logic research community.
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.

Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020. Deadline: May 15, 2020. The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.

SetVR 2020 will be the 7th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2020 will run as part of Diagrams 2020 conference, which will be held from August 24th to 28th in 2020, and is expected to occupy one day during this period.

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
 - Logical systems for modeling, specification, analysis and synthesis of MAS
 - Deductive systems and decision procedures for logics for MAS
 - Algorithmic methods for formal verification of MAS
 - Logic-based tools for MAS
 - Applications of logics in MAS

Because of the covid-19 LAMAS2020 will be entirely virtual.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems.

AAMAS-2020 will take place online on 11-13 May 2020, with all talks being freely available to everyone (including several contributions by ILLC researchers!).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 concerns about COVID-19, NFM2020 will shift to a virtual symposium.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems.

AAMAS-2020 will take place online on 11-13 May 2020, with all talks being freely available to everyone (including several contributions by ILLC researchers!).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 concerns about COVID-19, NFM2020 will shift to a virtual symposium.

ISA-16 is the sixteenth edition of a series of joint workshops of the ACL Special Interest Group in Semantics (SIGSEM) and the International Organisation for Standardisation ISO. ISA-workshops bring together experts in the annotation of semantic information as expressed in text, speech, gestures, graphics, video, images, and in communicative behaviour where multiple modalities are combined. Examples of semantic annotation include the markup of events, time, space, dialogue acts, discourse relations, semantic roles, coreference, quantification phenomena, and other aspects of meaning for which the ISO organisation pursues the establishment and application of standardised annotation methods and representation schemes, in order to support the creation of interoperable semantic and pragmatic resources.

Besides a main track, ISA-16 will feature two specialised tracks, focused on (a) the annotation of quantification (and quantified modification) in natural language and (b) the design and representation of data structures for generating visualisations of linguistically represented objects, properties, and events. Both specialised tracks will consist of a pre-conference on-line portion and an on-site portion during the ISA-16 workshop.

As the LREC 2020 conference has been cancelled, due to the Covid-19 outbreak, so has the ISA-16 workshop. The workshop proceedings are however published according to the original schedule.

The advent of complex information systems that rely on robust, coherent and formal representations of their subject matter, has led to the exploitation of ontological analysis and ontology-based representation. The systematic study of such analysis and representation is at the center of the modern discipline of formal ontology, which is a general theory of the types of entities and relations making up domains of interest. Researchers in many domains engage with formal ontology to provide a solid foundation for their work.

The FOIS conference is a meeting point for all researchers with an interest in formal ontology. FOIS 2020 includes a number of activities: FOIS conference (single track program), workshops (in conjunction with EKAW 2020 and ICBO 2020) ,tutorials (in conjunction with EKAW 2020 and ICBO 2020), a young researchers symposium, a demo and industry track, and an ontology show and tell. As in previous years, FOIS 2020 aims to be a nexus of interdisciplinary research and communication.

Sadly because of the COVID-19 FOIS 2020 was not able to occur as planned. While papers were reviewed and the proceedings will be published by IOS Press, the physical conference has been cancelled. In recognition of FOIS’ important social function within the applied ontology community, it was also decided to run a FOIS edition in September 2021. FOIS 2021 will happen in Bolzano, and it will include all the events originally planned for FOIS 2020 including the Early Career Symposium, the Ontology Show and Tell, as well as the Demo and Industrial Track.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems.

AAMAS-2020 will take place online on 11-13 May 2020, with all talks being freely available to everyone (including several contributions by ILLC researchers!).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 concerns about COVID-19, NFM2020 will shift to a virtual symposium.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 concerns about COVID-19, NFM2020 will shift to a virtual symposium.

Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.

Update: Because of the ongoing pandemic, FVRM'20 has been merged with AAIA 2020 (15th International Symposium on Advanced Artificial Intelligence in Applications), which as part of FedCSIS 2020 will be organized as a tele/video-based conference.

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

Contributions are solicited in all areas of logic programming, including but not restricted to Foundations, Declarative Programming, Related Paradigms and Synergies, Implementation and Applications. Besides the main track, ICLP 2020 will host an Applications Track, a Sister Conferences and Journal Presentation Track, a Special Session on Women in Logic Programming, and a Research Challenges in Logic Programming Track. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. A school on logic programming will be held before the conference.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 concerns about COVID-19, NFM2020 will shift to a virtual symposium.

The 3rd International Workshop of User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic paradigms more user-friendly/oriented, where the "user" could be either an expert of the paradigm, or a non-expert who simply uses tools developed for the paradigm in some application. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching etc., as user- friendliness is an important topic in all of these areas.

IULP, collocated with the 24th European Conference on Artificial Intelligence (ECAI2020), aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic paradigms to a wider audience.

The aim of JELIA 2021 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

JELIA 2021 will be held in Klagenfurt, Austria, from May 17th to May 20th, 2021, circumstances permitting. The conference could also be held in a hybrid (physical presence and online) or online-only mode, depending on the development of the Covid-19 pandemic.

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

LFMTP 2020 is affiliated with FSCD 2020 and IJCAR 2020. To celebrate the 60th birthday of Frank Pfenning and his great many contributions to the topics of LFMTP, one session will be devoted to talks by collaborators and friends of Frank.

The aim of JELIA 2021 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

JELIA 2021 will be held in Klagenfurt, Austria, from May 17th to May 20th, 2021, circumstances permitting. The conference could also be held in a hybrid (physical presence and online) or online-only mode, depending on the development of the Covid-19 pandemic.

The aim of JELIA 2021 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

JELIA 2021 will be held in Klagenfurt, Austria, from May 17th to May 20th, 2021, circumstances permitting. The conference could also be held in a hybrid (physical presence and online) or online-only mode, depending on the development of the Covid-19 pandemic.

The aim of JELIA 2021 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

JELIA 2021 will be held in Klagenfurt, Austria, from May 17th to May 20th, 2021, circumstances permitting. The conference could also be held in a hybrid (physical presence and online) or online-only mode, depending on the development of the Covid-19 pandemic.

Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020) is the latest edition of a series of workshops that brings together research at the intersection of NLP, Physics, and Cognitive Science. Using the common ground of vector spaces, the workshop offers researchers in these areas an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically.

COVID-19 note: the workshop will take place, either in an online format or in person if the situation allows. Since ESSLLI 2020 (with which the workshop was originally to be co-located) has been cancelled, the dates and location may be subject to slight change.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

We invite participation in the XXIII International Summer School in Philosophy of Physics to be held in Urbino 15th-18th June 2020. The topic of the school is 'Philosophy of Quantum Computation' and it will feature lectures given by Michael Cuffaro (Munich Center for Mathematical Philosophy) and Roberto Giuntini (University of Cagliari), with afternoon seminars given by David Vitali (University of Macerata), Gustavo Martin Bosyk (University of Cagliari), and Rossella Lupacchini (University of Bologna). The School will host a limited number of students, graduate students and early researchers depending on a successful application.

Due to the current COVID-19 pandemic, it will be impossible to host the XXIII International Summer School in Philosophy of Physics in Urbino. For this reason, we have decided to move the school online and make it free of charge.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.

The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.

Due to the COVID-19 pandemic, the ACL2 Workshop 2020 will take place online.

The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Gila Sher and Michael Devitt. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field.

The masterclass immediately follows the Bergen Workshop on Logical Evidence, from the 26th-27th May. Participants of the masterclass are welcome to attend the workshop for no fee.

Due to the covid-19 pandemic, both the workshop and the masterclass are postponed.

The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.

Due to the COVID-19 pandemic, the ACL2 Workshop 2020 will take place online.

The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Gila Sher and Michael Devitt. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field.

The masterclass immediately follows the Bergen Workshop on Logical Evidence, from the 26th-27th May. Participants of the masterclass are welcome to attend the workshop for no fee.

Due to the covid-19 pandemic, both the workshop and the masterclass are postponed.

We are happy to announce the upcoming "Udine Workshop on Singular Cardinals", that will be held in Udine (Italy) on 6-7 July 2020. It will be held at Palazzo di Toppo Wassermann, a prestigious 18th-century palace. Singular cardinals are transversal to set theory and beyond, and this will be an occasion to bring together researchers working on singular cardinals and share the latest developments on this topic.

Talks: James Cummings (Carnegie Mellon University) Péter Komjáth (Eötvös Loránd University) Menachem Magidor (The Hebrew University of Jerusalem) * Itay Neeman (UCLA) * Assaf Rinot (Bar-Ilan University) Jouko Väänänen (University of Helsinki) * To confirm

The international Conference "ULTRAMATH 2020" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
 - Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

Given the current situation and prospects regarding the COVID-19 pandemic disease, the organizers regret to inform that we decided to postpone the UltraMath 2020 Conference to next year.