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.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
<< September 2023 | ||||||
---|---|---|---|---|---|---|
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
1
|
2
|
|||||
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
![what_is_important_event_picture.png](/thumbnail/newsitem/what_is_important_event_picture.png.jpg?size=newsitem_list)
7 September 2023, Logical pluralism discussion
Some MoL students and the Utrecht philosophical society (know as 'What is Important?') are organising a philosophical discussion event on the question whether there is 'one true' logic, i.e. logical pluralism. We are expecting about 25 people with 10-25% professional philosophers/logicians.
![](/images/illc/newsitem-lira.jpg)
7 September 2023, Logic and Interactive Rationality (LIRa), Daniil Khaitovich
12 September 2023, JRC Joint PhD Celebration Event
On 12 September 2023, the joint research center for Logic at both Tsinghua University and the University of Amsterdam (UvA) will organize a small workshop to celebrate the completion of three new joint PhD theses. The work reported on in these new PhD thesis projects is perfectly aligned with the main mission of the JRC centre to further broaden the interdisciplinary view of logic. We will take the opportunity in the afternoon of 12 September to celebrate these new achievements and warmly invite all interested researchers and students to attend the event.
![](/images/illc/newsitem-lira.jpg)
14 September 2023, Logic and Interactive Rationality (LIRa), Avijeet Ghosh
15 September 2023, STiHAC Joint Meeting, Philipp Dreibrodt
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), 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:
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"
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), 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:
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"
19 September 2023, NihiL Seminar, Siyuan Cao
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), 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:
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"
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), 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:
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"
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), 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:
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"
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
22 September 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Ulle Endriss
Abstract:
The research area of computational social choice deals with the application of techniques from computer science and AI to the design and analysis of economic mechanisms for collective decision making. In this talk, I will report on one of the most exciting recent developments in the field, namely the use of automated reasoning tools, and notably SAT solvers, to support economic theorists in their quest to gain a deeper understanding of what is and what is not possible when it comes to designing fair and efficient mechanisms for decision making. I will exemplify this approach with recent work on the design of matching markets, where the goal is to match, for instance, job seekers and companies on the basis of their preferences. No specialised technical background will be required to follow the exposition.
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
25 September 2023, Nordic Online Logic Seminar, Thomas Bolander
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open both for professional and for aspiring logicians and logic aficionados worldwide. This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
![](/images/illc/newsitem-lira.jpg)
26 September 2023, Joint NihiL and LIRa session, Yanjing Wang & Zilu Wang
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
21 - 28 September 2023, Career workshop for international spouses
International academic staff members are often joined by a partner who is also interested in continuing a professional career. This career workshop is designed for newly-arrived international partners in the Netherlands. The workshop is a co-production of the University of Amsterdam and the Vrije Universiteit Amsterdam.
This workshop consists of two sessions (on the 21st and 28th of September, from 10:00 - 14:00), which both need to be attended. The workshop also includes a lunch which can be used to informally network with the other attendees.
![](/images/illc/newsitem-lira.jpg)
28 September 2023, Logic and Interactive Rationality (LIRa), Gillman Payette
![4illc_no_text_logo.jpg](/thumbnail/newsitem/4illc_no_text_logo.jpg.jpg?size=newsitem_list)
29 September 2023, ILLC Autumn Colloquium 2023 & Current Affaris Meeting
The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of two or three talks by representatives from different units, sometimes followed by Wild Idea Talks.
The ILLC colloquium is preceded by the Current Affairs Meeting.
The purpose of the Current Affairs 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.