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.

The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an annual international event which concentrates on AI theories, technologies and their applications in the areas of scientific, social, and economic importance for countries in the Pacific Rim. The 20th PRICAI (2023) will be held as a hybrid conference with both physical and online options in Jakarta, Indonesia. PRICAI-2023 aims to bring together researchers, practitioners, educators and users in AI and related communities for in-depth intellectual exchanges, research cooperation and professional development.

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 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 1st Conference of the European Society for the Philosophy of Mathematics will take place at King’s College London from the 5th to the 7th of September 2023.

Invited speakers: Andrew Arana (University of Lorraine), Volker Halbach (University of Oxford), Rosalie Iemhoff (Utrecht University), Daniel Isaacson (University of Oxford), Øystein Linnebo (University of Oslo), Mary Leng (University of York) and Philip Welch (University of Bristol).

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

Machine Translation (MT) is a core technique for reducing language barriers for spoken languages. Although MT has come a long way since its inception in the 1950s, it still has a long way to go to successfully cater to all communication needs and users. When it comes to the deaf and hard of hearing communities, MT is in its infancy. The complexity of the task to automatically translate between SLs or sign and spoken languages, requires a multidisciplinary approach.

The rapid technological and methodological advances in deep learning, and in AI in general, that we see in the last decade, have not only improved MT, recognition of image, video and audio signals, the understanding of language, the synthesis of life-like 3D avatars, etc., but have also led to the fusion of interdisciplinary research innovations that lays the foundation of automated translation services between sign and spoken languages.

The AT4SSL workshop aims to open a (guided) discussion between participants about current challenges, innovations and future developments related to the automatic translation between sign and spoken languages. To this extent, AT4SSL will host a moderated round table around the following three topics: (i) quality of recognition and synthesis models and user-expectations; (ii) co-creation - deaf, hearing and hard-of-hearing people joining forces towards a common goal and (iii) sign-to-spoken and spoken-to-sign translation technology in media.

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

New work on the philosophy of logic, formality, proofs, normativity, and pluralism.

Speakers: Rachel Boddy (Utrecht), Leon Commandeur (Bergen), Robin Martinot (Utrecht), Evelina Lissoni (ILLC), Sabina Domínguez Parrado (ILLC), Sebastian Speitel (Bonn), Pilar Terrés (UCLouvain).

Keynote Address: Catarina Dutilh Novaes (VU Amsterdam).

Topic modelling is one of the most popular methods for explorative research in large collections of documents, and topic models can also be foundational to various other language technology such as search engines. Recently, it has found many applications in the humanities as well, for example for exploring collections of reviews of media, trends in social media posts or by correlating topics to sociolinguistic variables in text corpora. In this workshop, we will cover some basics of topic modelling and we will do some hands-on practice, both with easy-to-use tools and with Python for those who have programming experience (but programming experience is not required to participate in the workshop).

The workshop is led by Jelke Bloem and Viktorija Kostadinova. There will be coffee, tea, and sandwiches, kindly sponsored by the ACLC. If you're interested in participating, please register by June 9th.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

Algebra, category theory and logic have traditionally played an important role in our understanding of computing. Recently, there has been a surge in new ways of understanding how these disciplines can help in tackling challenges in the theory and applications of computing. Examples are: combining machine learning and proof-theoretic approaches to natural language; reasoning about multi-agent systems; developing programming languages and compositional models; and specifying and analyzing systems and protocols.

The aim of this workshop is to bring together both leading and upcoming researchers who use such approaches, with the goal of promoting collaborations across the different disciplines.

This workshop is the first event in a program aimed at offering Farsi-speaking mathematicians — as well as any mathematician interested in building cross-cultural connections — opportunities to build a network and receive mentoring from leading Farsi-speaking mathematicians. The workshop will be held in a bilingual Farsi-English setting, and participants do not need to be fluent in both languages to attend.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

Algebra, category theory and logic have traditionally played an important role in our understanding of computing. Recently, there has been a surge in new ways of understanding how these disciplines can help in tackling challenges in the theory and applications of computing. Examples are: combining machine learning and proof-theoretic approaches to natural language; reasoning about multi-agent systems; developing programming languages and compositional models; and specifying and analyzing systems and protocols.

The aim of this workshop is to bring together both leading and upcoming researchers who use such approaches, with the goal of promoting collaborations across the different disciplines.

This workshop is the first event in a program aimed at offering Farsi-speaking mathematicians — as well as any mathematician interested in building cross-cultural connections — opportunities to build a network and receive mentoring from leading Farsi-speaking mathematicians. The workshop will be held in a bilingual Farsi-English setting, and participants do not need to be fluent in both languages to attend.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

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 Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.

The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.

The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of three talks by representatives from different units, sometimes followed by Wild Idea Talks.

From this time onwards the ILLC colloquium will be preceded by the Current Affairs Meeting.

As in previous editions, the Current Affairs Meeting, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

Artificial intelligence applications play an increasingly important role in our daily life. But these technological advances come with serious societal risks. In this workshop we bring together researchers from various disciplines who work on the societal impact of AI applications.

On Monday we organize a scientific panel discussion on the role of researchers in the debate on algorithmic fairness. Confirmed speakers include Prof. Dr. SennayGhebreab (Civic AI Lab, University of Amsterdam); Jenneke Evers (eLaw, Leiden University); Agathe Balayn (Computer Science, TU Delft) and Dr. Winnie Ma (Philosophy, Kings College London).

We close the workshop with a public event on Algorithmic Injustice at Spui25 on Tuesday 27th at 20.00.Our speakers are:Su Lin Blodgett, who has been working on AI and fairness, Erin Beeghly, who studies the wrong of stereotypes, legal scholar Naomi Appelman who sued the VU University for its online proctoring softwareand documentary maker Nirit Peled, who documentedpeople who suffered the consequences of unfair police algorithms. Together, they will explore pressing matters around algorithmic injustice.

Artificial intelligence applications play an increasingly important role in our daily life. But these technological advances come with serious societal risks. In this workshop we bring together researchers from various disciplines who work on the societal impact of AI applications.

On Monday we organize a scientific panel discussion on the role of researchers in the debate on algorithmic fairness. Confirmed speakers include Prof. Dr. SennayGhebreab (Civic AI Lab, University of Amsterdam); Jenneke Evers (eLaw, Leiden University); Agathe Balayn (Computer Science, TU Delft) and Dr. Winnie Ma (Philosophy, Kings College London).

We close the workshop with a public event on Algorithmic Injustice at Spui25 on Tuesday 27th at 20.00.Our speakers are:Su Lin Blodgett, who has been working on AI and fairness, Erin Beeghly, who studies the wrong of stereotypes, legal scholar Naomi Appelman who sued the VU University for its online proctoring softwareand documentary maker Nirit Peled, who documentedpeople who suffered the consequences of unfair police algorithms. Together, they will explore pressing matters around algorithmic injustice.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org

Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org

Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.

RADICAL is a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an intersection has been explored from very diverse angles for many years now. More recently, the interplay of concurrency and logic with applications such as, for instance verification, synthesis and multi-agent systems has received much attention.

These areas have become increasingly consolidated, and start to have profound impact in neighboring communities such as programming languages, AI and knowledge representation. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill that gap.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org

Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.

Join us for a unique and exciting event that will explore the past, present, and future of Amsterdam Brain and Cognition and brain research at the UvA:
- The Past: Highlights from ABC success stories
- The Present: Ongoing projects, cutting edge science
- The Future: Young ABC members, poster session (and best poster prize!)
and lots of Networking.