These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
Headlines Calls for Paper
- 10 - 13 July 2023, 16th International Conference on Grammatical Inference (ICGI 2023), Rabat, Morocco (deadline: Saturday 10 June 2023)
- 17 - 19 November 2023, 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI2023), Jakarta, Indonesia (deadline: Monday 12 June 2023)
- 21 - 22 November 2023, 5th Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM 2023), Amsterdam, the Netherlands (deadline: Friday 30 June 2023)
- 26 - 28 October 2023, Workshop on Reasoning with Imperfect Information in Social Settings, Pisa, Italy (deadline: Friday 30 June 2023)
- 18 September 2023, 3rd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2023) (deadline: Friday 30 June 2023)
- CfP Studia Logica special issue on "Information Sharing in Networks" (deadline: Friday 1 September 2023)
- CFP special issue of Review of Analytic Philosophy on "Logics of Communicative Interaction" (deadline: Saturday 30 September 2023)
Headlines Upcoming conferences
- 13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, Georgia
- 15 June 2023, 2nd International Workshop on Automatic Translation for Signed and Spoken Languages, Tampere, Finland
- 16 June 2023, Logic: Norms and Forms, Utrecht (the Netherlands)
- 16 June 2023, Workshop on Topic Modelling
- 18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech Republic
- 20 - 21 June 2023, Algebra, Categories and Logic in Computing (ACLiC), St Erme, France
- 23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the Netherlands
- 23 June 2023, Dutch Logic PhD Day 2023, Groningen
- 23 June 2023, ILLC Midsummer Colloquium 2023 and Current Affairs Meeting
- 28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K.
- 30 June 2023, ABC Day 2023
- 1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, Italy
- 3 - 14 July 2023, Eighth EPICENTER Summer Course in Epistemic Game Theory 2023, Maastricht University, Maastricht, The Netherlands
- 17 - 22 July 2023, CfA: 1st Bayreuth Summer School in Philosophy & Computer Science, Bayreuth (Germany)
- 17 - 21 July 2023, Summer School on Computational Social Choice
- (Updated) 24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society"
- (Updated) 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia
- 31 July - 4 August 2023, Procedural and computational models of semantic and pragmatic processes, University of Ljubljana, Slovenia
- 7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation"
- 7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23)
- 7 - 11 August 2023, ESSLLI 2023 Workshop on First-order Modal and Temporal Logics: State of the art and perspectives
- 21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, Austria
- 30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the Netherlands
- 11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia)
- 15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia
- 18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, Norway
- 18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia
- 21 September 2023, TbiLLC 2023 Workshop on Learning and Logic
- 26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, China
Calls for Paper
10 - 13 July 2023, 16th International Conference on Grammatical Inference (ICGI 2023), Rabat, MoroccoLocation: Rabat, MoroccoDeadline: Saturday 10 June 2023
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.
We welcome three types of papers:
- Formal and/or technical papers describe original contributions (theoretical, methodological, or conceptual) in the field of grammatical inference. A technical paper should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested, and the benefits of the contribution.
- Position papers can describe completely new research positions, approaches, or open problems. Current limits can be discussed. In all cases, rigor in the presentation will be required. Such papers must describe precisely the situation, problem, or challenge addressed, and demonstrate how current methods, tools, or ways of reasoning, may be inadequate.
- Tool papers describing a new tool for grammatical inference. The tool must be publicly available and the paper has to contain several use-case studies describing the use of the tool. In addition, the paper should clearly describe the implemented algorithms, input parameters and syntax, and the produced output.
Deadline for submissions: March 12th, 2023.
Additionally we invite extended abstracts on work in progress that may be of interest to the grammatical inference community. You will get the opportunity to present and discuss your work in progress at ICGI in Rabat, Morocco, July 10-13th. Extended abstracts of work in progress will not appear in the proceedings (as they will not be formally peer reviewed), but will be available on the website. Deadline: June 10th, 2023.For more information, see http://www.fsr.ac.ma/icgi2023/.
17 - 19 November 2023, 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI2023), Jakarta, IndonesiaLocation: Jakarta, IndonesiaDeadline: Monday 12 June 2023
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 Program Committee invites technical papers on substantial, original, and unpublished research in all aspects of Artificial Intelligence. Presenters of the accepted papers are highly recommended to attend the conference physically.
PRICAI-2023 will feature an AI Impact track, and invites researchers, developers, entrepreneurs, emerging startups and organisations that focus on AI solutions for real world products and services, to share experiences and insights with academic experts and other industry focused researchers. Short papers may consist of up to 4 pages of content, plus unlimited references and appendix. Accepted papers will be included in the PRICAI-2023 AI Impact Proceedings. See Call for AI Impact Track for more details.For more information, see https://www.pricai.org/2023/ or contact Fenrong Liu at fenrong at tsinghua.edu.cn.
21 - 22 November 2023, 5th Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM 2023), Amsterdam, the NetherlandsLocation: Amsterdam, the NetherlandsDeadline: Friday 30 June 2023
The Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM) is returning for its 5th edition on 21 and 22 November 2023. This time, the conference will be hosted by the National Research Center for Mathematics and Computer Science (CWI) at Amsterdam Science Park (Netherlands).
MISDOOM values multidisciplinary research and is designed to be inclusive of different academic disciplines and practices.
The symposium provides a platform for researchers, industry professionals, and practitioners from various disciplines such as communication science, computer science, computational social science, political science, psychology, journalism, and media studies to come together and share their knowledge and insights on online disinformation.
Given that we welcome both social scientists and computer scientists, and that the publication strategies of these fields differ, we solicit two types of contributions that, upon acceptance, result in the same opportunity to present at MISDOOM:
- Papers to be published with Springer LNCS proceedings. Up to 15 pages (including references) in Springer Lecture Notes in Computer Science (LNCS) format describing original unpublished and new research. The work should be structured like a research paper, and cover the context of the problem studied, the research question, approach/methodology, and results in 6 to 15 pages.
- Authors can also choose to submit an Extended Abstract. The extended abstract should not exceed 500 words, excluding references, and can pertain to previously published work, ongoing projects, or new research ideas. Submissions are not archival and are not formally published. Additionally, authors must submit a conference program abstract of no more than 150 words.For more information, see https://event.cwi.nl/misdoom-2023 or contact Atefeh Keshavarzi at Atefeh.Keshavarzi.Zafarghandi at cwi.nl.
26 - 28 October 2023, Workshop on Reasoning with Imperfect Information in Social Settings, Pisa, ItalyLocation: Pisa, ItalyCosts: No feeDeadline: Friday 30 June 2023
The workshop “Reasoning with Imperfect Information in Social Settings” at the Scuola Normale Superiore (University of Pisa), aims to bring together researchers in logic, formal and social epistemology, computer science, who are exploring the intricacies of information dynamics in social scenarios. Relevant topics include belief revision and merging, judgment and preference aggregation, multi-agent non-monotonic reasoning, multi-agent epistemic and deontic logic, as well as formal methods for representing social epistemic attitudes.
To submit, please send an anonymized abstract of 800-1000 words (excluding references) to pietro.vigiani at sns.it no later than June 30st. Notification of acceptance will be sent by the end of July.
Session times will be 45 min., divided into 30 min. for the presentation followed by 10 min. of discussion. Individuals belonging to underrepresented groups in the field of logic are strongly encouraged to submit their work.
A peer review process will select papers for publication in a volume of the Edizioni della Normale series.For more information, see here or at https://indico.sns.it/e/riiss or contact Mario Piazza at mario.piazza at sns.it, Matteo Tesi at matteo.tesi at sns.it, or Pietro Vigiani at pietro.vigiani at sns.it.
18 September 2023, 3rd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2023)Location: Antwerp, BelgiumDeadline: Friday 30 June 2023
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.
Note that RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings. Rather than regular paper submissions, authors should submit short talk proposals.For more information, see https://sites.google.com/site/radicalconcur/ or contact Giuseppe Perelli at perelli at di.uniroma1.it.
CfP Studia Logica special issue on "Information Sharing in Networks"Deadline: Friday 1 September 2023
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)For more information, see here or contact Louwe Kuijer at louwe.kuijer at liverpool.ac.uk.
CFP special issue of Review of Analytic Philosophy on "Logics of Communicative Interaction"Deadline: Saturday 30 September 2023
We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. More specifically, this special issue welcomes work on the following topics:
- Dynamic Logics of Communication
- Logics of Speech Acts
- Logics for Belief Change and Knowledge Updates
- Dynamic Epistemic Logics
- Logical analysis of Communication in Social Networks
- Dynamic Deontic Logic
Please follow the instructions for authors as specified in the Call For Papers. Papers accepted for publication in this special issue will be published free of charge. The submission deadline is 30th September 2023.For more information, see here or at https://rap-journal.net/ or contact The Review of Analytic Philosophy at rap at myukk.org .
13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, GeorgiaLocation: Batumi, Georgia
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).For more information, contact mavronic at ucy.ac.cy, or bdundua at gmail.com.
15 June 2023, 2nd International Workshop on Automatic Translation for Signed and Spoken Languages, Tampere, FinlandLocation: Tampere, Finland
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.For more information, see https://sites.google.com/tilburguniversity.edu/at4ssl2023/ or contact Floris Roelofsen at f.roelofsen at uva.nl.
16 June 2023, Logic: Norms and Forms, Utrecht (the Netherlands)Location: Room 005, Drift 21, Utrecht (the Netherlands)
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).For more information, see https://philevents.org/event/show/110637 or contact Colin R. Caret at c.r.caret at uu.nl.
16 June 2023, Workshop on Topic ModellingLocation: P.C. Hoofthuis Room 5.55, Spuistraat 134, AmsterdamTarget audience: Students and staff, accessible to people with humanities backgrounds
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.For more information, see https://forms.office.com/Pages/ResponsePage.aspx?id=zcrxoIxhA0S5RXb7PWh05blsz_Nbk0ZEjH1MOAdn-jpUREJBNjA2UDhTS01IUkNUMTUwOUUzRjBQNC4u or contact Jelke Bloem at j.bloem at uva.nl.
18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech RepublicLocation: Tepla Monastery, Czech RepublicCosts: 500 EUR for participants, 370 EUR for accompanying persons.
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)For more information, see https://logika.flu.cas.cz/en/events/logica/23-dokumenty/588-logica-2026 or contact Vit Puncochar & Igor Sedlar at logica at flu.cas.cz.
20 - 21 June 2023, Algebra, Categories and Logic in Computing (ACLiC), St Erme, FranceLocation: St Erme, France
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.For more information, see here or at https://www.demos-institute.org/aclic or contact Nima Motamed at n.motamed at uu.nl.
23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the NetherlandsLocation: Leiden, the Netherlands
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 23rd, 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.
23 June 2023, Dutch Logic PhD Day 2023, GroningenLocation: GroningenTarget audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).Costs: Free
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.For more information, see here or at https://www.verenigingvoorlogica.nl/en/PhD-Day/ or contact dutch.logic.phd.day at gmail.com.
23 June 2023, ILLC Midsummer Colloquium 2023 and Current Affairs MeetingLocation: ILLC, Science Park 107, Amsterdam
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.For more information, see https://www.illc.uva.nl/ILLCColloquium/.
28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K.Location: Oxford, U.K.Target audience: CS, logic, game theory, philosophy
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.For more information, see https://sites.google.com/view/tark-2023 or contact Rineke Verbrugge (PC chair), Mike Wooldridge (OC chair) at tark.oxford at gmail.com.
30 June 2023, ABC Day 2023Location: De Brakke Grond, Nes 45, Amsterdam
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.For more information, see https://abc.uva.nl/content/events/2023/06/abc-day-2023.html.
1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, ItalyLocation: Rome, Italy
Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.
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.For more information, see here or at https://sites.google.com/view/wil2023/ or contact Tephilla Prince at wil2023 at easychair.org.
3 - 14 July 2023, Eighth EPICENTER Summer Course in Epistemic Game Theory 2023, Maastricht University, Maastricht, The NetherlandsLocation: Maastricht University, Maastricht, The Netherlands
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.For more information, see https://www.epicenter.name/summercourse/ or contact Andrés Perea at course at epicenter.name.
17 - 22 July 2023, CfA: 1st Bayreuth Summer School in Philosophy & Computer Science, Bayreuth (Germany)Location: Bayreuth (Germany)
The focus of this event is on AI and its role in our modern society. We’re bringing together experts from philosophy, computer science and AI research to discuss about topics such as (Artificial) Intelligence, Machine Ethics, Explainability, Algorithmic Bias, Fairness, Privacy & Security, AI in Healthcare, …
Speakers: Aldo Faisal, Sine Fazelpour, Susanne Gaube, Henrik Heuer, Eva Lermer, Dimitri Coelho Mollo, Wojciech Samek, Elizabeth Seger, Tobias Seitz, Mariya Toneva, Kate Vredenburgh, Herbert Zech.
Keynotes: Joe Halpern, Marija Slavkovik, Johanna Thoma.
Attendance: Keynotes are free to attend and open to everyone. To participate in the full summer school program, students (advanced BA-level or higher) must apply through our website. A limited number of travel bursaries is available. Senior researchers interested in attending (some of) the talks can contact us directly at phil+cs at uni-bayreuth.de; we’ll make seats in the lectures available as room capacity permits.For more information, see https://www.eis.science/summer-school or contact Olivier Roy at olivier.roy at uni-bayreuth.de.
17 - 21 July 2023, Summer School on Computational Social ChoiceLocation: LAB42, Science Park 900, AmsterdamCosts: EUR 100
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.For more information, see https://events.illc.uva.nl/comsoc-school-2023/ or contact Ulle Endriss at ulle.endriss at uva.nl.
(Updated) 24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society"Location: Munich (Germany)
Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/causality_ethics_society_2023/index.html or contact Sander Beckers at srekcebrednas at gmail.com.
(Updated) 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, SloveniaLocation: Ljubljana, Slovenia
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.
Registration is now open. Early bird registration deadline: June 14th (extended).For more information, see https://2023.esslli.eu/ or contact Ivano Ciardelli at sobekal at hotmail.com.
31 July - 4 August 2023, Procedural and computational models of semantic and pragmatic processes, University of Ljubljana, SloveniaLocation: University of Ljubljana, Slovenia
Procedural and computational modeling frameworks have been applied successfully to various aspects of semantic and pragmatic processes, yielding not only a good fit to empirical data but also insights of theoretical relevance. On the one hand, computational (e.g., Bayesian or information theoretic) models rationalize speaker behavior and explain how a listener can use given information efficiently to infer the intended meaning from an utterance. However, these models often leave the stepwise processing of linguistic information unspecified. On the other hand, procedural (e.g., automata or ACT-R) models explain step-by-step cognitive processes behind meaning-related computations, e.g., the process of building sentence representations. However, they often lack the means to combine different information types in an interactive fashion. The goal of this workshop is to bring together researchers applying these two modeling methodologies to discuss their strengths and weaknesses and work towards an integrated approach.For more information, see https://prosandcomps.github.io/ or contact Sonia Ramotowska at prosandcomps at gmail.com.
7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation"Location: Ljubljana, SloveniaTarget audience: Logicians, Linguists, Computer ScientistsCosts: ESSLLI Registration Fee
Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.
The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.For more information, see https://2023.esslli.eu/courses-workshops-accepted/course-information.html#2-13 or contact Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.ac.uk.
7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23)Location: Ljubljana, SloveniaTarget audience: Logicians, Linguists, Computer ScientistsCosts: ESSLLI Registration Fee
By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.
The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions on topics including, but not limited to,
Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic LogicFor more information, see https://easychair.org/cfp/AMSLO23 or contact Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.ac.uk.
7 - 11 August 2023, ESSLLI 2023 Workshop on First-order Modal and Temporal Logics: State of the art and perspectivesLocation: LjubljanaTarget audience: researchers and graduate studentsCosts: Registration fee at ESSLLI 2023
The workshop will comprise five 90-min sessions, one per day, with invited and contributed talks. It is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.Topics of interest include, but are not limited to the following for first-order modal and temporal logics:- languages, models, and semantics;- proof theory, deductive systems, and completeness/incompleteness results;- decidability, undecidability, complexity;- problems and applications in philosophy, mathematics, computer science and artificial intelligence.For more information, see https://dshkatov.github.io/fomtl2023/ or contact Dmitry Shkatov at Dmitry.Shkatov at wits.ac.za.
21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, AustriaLocation: Vienna, AustriaTarget audience: Analytic Philosophers
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).For more information, see https://analyticphilosophy.eu/ecap-11/ or contact Nikhil Mahant at ecap11 at ceu.edu.
30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the NetherlandsLocation: Utrecht, the NetherlandsTarget audience: Anybody interested in combining probabilistic and logical tools (including philosophers, computer scientists, economists, mathematicians..)
The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.
Invited Speakers: Didier Dubois (IRIT, France), Joe Halpern (Cornell University), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).For more information, see https://progic2023.sites.uu.nl/ or contact Dominik Klein, Dragan Doder at d.klein at uu.nl d.doder at uu.nl.
11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia)Location: Tbilisi (Georgia)
The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).For more information, see https://sites.google.com/view/latd-2023/.
15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, GeorgiaLocation: Tbilisi, Georgia
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/).For more information, see https://dali2023.compute.dtu.dk/ or contact Nina Gierasimczuk at nigi at dtu.dk.
18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, NorwayLocation: Oslo, Norway
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.For more information, see https://2023.declarativeai.net/events/ruleml-rr or contact Raoul Koudijs at raoulxluoar at gmail.com.
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, GeorgiaLocation: Telavi, Georgia
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:
- Language: Peter Sutton (UPF, Barcelona)
- Logic & Computation: Frank Wolter (University of Liverpool)
- 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"For more information, see https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl.
21 September 2023, TbiLLC 2023 Workshop on Learning and LogicLocation: Telavi, Georgia
This workshop will take place as part of the 14th International Tbilisi Symposium on Language, Logic and Computation (TbILLC 2023). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the epistemology and ethics of machine learning and the logical foundations of learnability, to computational learning theory, and machine learning for knowledge representation and reasoning.
The program of the workshop will consist of 4 presentations by invited speakers: Victor Dalmau (Barcelona), Konstantin Genin (Tübingen), Dick de Jongh (Amsterdam) and Ana Ozaki (Oslo/Bergen).For more information, see https://sites.google.com/view/lealog/home or contact Aybüke Özgün at a.ozgun at uva.nl.
26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, ChinaLocation: Shandong University, China
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.For more information, see http://golori.org/lori2023/.