We invite submissions for a Special Issue on Logics for the new AI Spring, to be published with the International Journal of Approximate Reasoning.

The development of logics capable of representing human-like reasoning has always been one of the central objectives of logic-based Artificial Intelligence. In addition to providing very successful tools for knowledge representation and reasoning, logic-based AI is now facing the new and pressing challenge related to the integration of symbolic and sub-symbolic AI. In pursuing it, logic can once again shape significantly the future developments of AI. The primary goal of this special issue is to gather cutting-edge contributions which will jointly provide a comprehensive state-of-the-art in the subject.

To achieve this, the scope of the special issue focuses on, but is not limited to, the following topics: (1) Logical methods in symbolic AI; (2) Logical methods in machine learning; (3) Machine learning in a logical setting; (4) Reasoning and (interactive) decision making under uncertainty.

Grammatical Inference is the research area at the intersection of Machine Learning and Formal Language Theory. Since 1993, the International Conference on Grammatical Inference (ICGI) is the meeting place for presenting, discovering, and discussing the latest research results on the foundations of learning languages, from theoretical and algorithmic perspectives to their applications (natural language or document processing, bioinformatics, model checking and software verification, program synthesis, robotic planning and control, intrusion detection...).

This 16th edition of ICGI will be held in-person in Rabat, the modern capital with deep-rooted history of Morocco located on the Atlantic Coast. To celebrate the 30th anniversary of the ICGI conference, the program will include a distinguished lecture by Dana Angluin. The program will also include two invited talks, on recent advances of Grammatical Inference for Natural Language Processing and Bioinformatics by Cyril Allauzen (Google NY) and Ahmed Elnaggar (TU München), a half-day tutorial at the beginning of the conference on formal languages and neural models for learning on sequences by Will Merrill, as well as oral presentations of accepted papers.

In higher education, curricula and courses are often not cast in stone. They need adaptations regularly, for instance because another course in the curriculum changes. In secondary education, changes are less common. However, in the Netherlands, a curriculum reform is planned to be implemented in the next years, also concerning foreign languages. A question that arises in this context is how reforms are best effectuated, and how courses in existing curricula can be changed?

On June 23^rd, 2023, LLRC will organize a one-day conference on precisely this topic. We are very happy to announce that Dr. Marjon Tammenga-Helmantel (SLO) has agreed to give the keynote lecture. She is a specialist in foreign language teaching and currently involved in facilitating the process of curriculum reform in secondary education. Her keynote will start the day with a brief overview about curriculum development at national, school and classroom levels. Concrete tools to facilitate curriculum changes or adaptations in foreign language education will be discussed.

The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
  - Language: Peter Sutton (UPF, Barcelona)
  - Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
  - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
  - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
 - "The Semantics of Hidden Meanings"
 - "Learning and Logic"

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

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

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

Topics of interest are:
- combinatorial and computational aspects of gossip and broadcasting
- epistemic gossip protocols,
- social epistemology,
- logics for social networks.

The guest editors for the special issue will be:
Louwe Kuijer (University of Liverpool)
Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
Wiebe van der Hoek (University of Liverpool)

After having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.

The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.

The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.

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

CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).

The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.

Conference Scope:
 A. Pre-Avicennan Logic
 B. Avicenna’s Logic
 C. Post-Avicennan Logic
 D. Comparative logic

We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.

Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

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 an annual 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. The focus of this 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.

The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.

Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

The course is primarily meant for advanced bachelor students, master students and PhD students all over the world, but researchers are also very welcome.

During the week of 17-21 July 2023, the ILLC will be hosting a Summer School on Computational Social Choice. The school is specifically intended for individuals pursuing a PhD in or related to social choice (not only of the computational variety). But others—from different fields or at different career stages—are also very welcome. The international team of lecturers is composed of leading figures in the field. They will be covering axiomatic, algorithmic, and behavioural aspects of social choice, discussing both foundations and applications. Besides a rich set of lectures, the programme will include a poster session and a number of social activities.

Please note that registration is required by 31 March 2023.

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

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

The European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna.  The current president of the ESAP is Prof. Katalin Farkas (CEU).