The 8th edition of the Workshop on Algebraic Complexity Theory will be held on March 31-April 4, 2025 at Ruhr University Bochum, Germany. This workshop will bring together experts and junior researchers in the vibrant field of algebraic complexity theory and related topics. Attendance is free of charge, but registration is required.

The 8th edition of the Workshop on Algebraic Complexity Theory will be held on March 31-April 4, 2025 at Ruhr University Bochum, Germany. This workshop will bring together experts and junior researchers in the vibrant field of algebraic complexity theory and related topics. Attendance is free of charge, but registration is required.

The 8th edition of the Workshop on Algebraic Complexity Theory will be held on March 31-April 4, 2025 at Ruhr University Bochum, Germany. This workshop will bring together experts and junior researchers in the vibrant field of algebraic complexity theory and related topics. Attendance is free of charge, but registration is required.

Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.

IWLP-4 is devoted to the logical and philosophical investigation of social norms.

Invited speakers are Xiaofei LIU (Wuhan University), Olivier Roy (Bayreuth University), Liping TANG (Sun Yat-Sen University) and Frank Veltman (University of Amsterdam).

The 8th edition of the Workshop on Algebraic Complexity Theory will be held on March 31-April 4, 2025 at Ruhr University Bochum, Germany. This workshop will bring together experts and junior researchers in the vibrant field of algebraic complexity theory and related topics. Attendance is free of charge, but registration is required.

Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

Uncertainty is a central phenomenon that touches all subfields of artificial intelligence. As many have observed, dealing with uncertainty remains one of the central challenges and limits the capabilities of AI approaches. For instance, many problems in AI (in reasoning, planning, learning, perception, and robotics) require the agent to operate with incomplete or uncertain information.

This special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) focuses on all aspects of uncertainty that concern reasoning and is devoted to the Uncertain Reasoning Special Track in 2023 and in 2024, which was located at the respective International Florida Artificial Intelligence Research Society Conference (FLAIRS).

Submissions should be prepared following the guidelines of AMAI. The submissions themselves are made via the submission page provided at https://submission.springernature.com/new-submission/10472/3. When submitting, please select "S806: Uncertainty and Reasoning in AI" in the submission system to ensure that the submission is connected with the special issue.

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

We will be pleased to welcome you at the Cognitive Models and Artificial Intelligence Conference, which will be held in person and virtual on 13-14 June 2025 in Prague-Czech Republic.. The Cognitive Models and Artificial Intelligence Conference aims to share and discuss theoretical and practical knowledge in a scientific framework by bringing together scientists, experts, educators, non-governmental organizations, and private sector representatives. AICCONF aimed to serve as a multidisciplinary platform where current issues in the fields of engineering are discussed, as well as recent research paper presentations in the field of artificial intelligence.

The technical program of AICCONF 2025 will include the presentation of invited speakers, posters, and regular sessions. AICCONF 2025 is an international conference organized for universities, research groups, companies, and technology groups from many countries to present their research results and innovative applications. The technical sponsor of AICCONF 2025 is IEEE SMC.

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

Over twee weken is het zover: AI020! We kijken ernaar uit om samen met onze partners een inspirerende dag vol AI-innovatie te beleven. Dit jaar hebben we een ijzersterk programma met toonaangevende bedrijven, keynotes, workshops en startup pitches. We sluiten af met een exclusieve AI Salon, waar AI-startups hun nieuwste ontwikkelingen presenteren.

Sprekers: Onno Zoeter (Booking.com), Ashley Burgoyne (Muziek & Machine Learning), Bart Veldhuis (Rapid Circle).
Workshops & stands: TechPros, Naice, Q42, Snowflake, Databricks, Gemeente Amsterdam, Prosus, Booking.com, Digital Bricks, Autoriteit Persoonsgegevens en meer.

N.B. Leden van het ILLC kunnen bij aanmelden aanvinken "Official partner of AI" om gratis toegang te krijgen.

FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.

Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.

After the success of our first workshop Polar Question Meaning[s] Across Languages, we are launching a second POQAL meeting, this time focusing on form. How are polar questions expressed in syntax, morphology, intonation? How do components of the grammar of each language constrain and determine these ways, e.g. in the inventory of functional categories, the expression of negation, focus, polarity, intonational characteristics, pragmatic division of labor among forms? How do fine grammatical components correlate with fine components of meaning? What crosslinguistic generalizations can be made in this new level of granularity?

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

After the success of our first workshop Polar Question Meaning[s] Across Languages, we are launching a second POQAL meeting, this time focusing on form. How are polar questions expressed in syntax, morphology, intonation? How do components of the grammar of each language constrain and determine these ways, e.g. in the inventory of functional categories, the expression of negation, focus, polarity, intonational characteristics, pragmatic division of labor among forms? How do fine grammatical components correlate with fine components of meaning? What crosslinguistic generalizations can be made in this new level of granularity?