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.
<< October 2020 | ||||||
---|---|---|---|---|---|---|
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
|
31
|
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
1 October 2020, Symposium retirement Jos Baeten cancelled
The Centrum Wiskunde & Informatica (CWI) of the NWO Institute Organisation and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam were organizing a symposium on the occasion of the retirement of Jos Baeten as general director of CWI and professor of theory of computing of ILLC on Thursday 1 October 2020.
The symposium had to be cancelled because of tighter coronavirus restrictions in the Netherlands.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
7 October 2020, Algebra|Coalgebra Seminar, Tobias Kappé
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
8 October 2020, Logic and Interactive Rationality (LIRa) cancelled
This talk has been cancelled.
8 October 2020, CoSaQ seminar, Nima Motamed
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), Online
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Invited Speakers: Natasha Alechina and Johan van Benthem.
Given the worsening epidemiological situation, the organizers have decided to hold DaLi as an online workshop via Zoom.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), Online
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Invited Speakers: Natasha Alechina and Johan van Benthem.
Given the worsening epidemiological situation, the organizers have decided to hold DaLi as an online workshop via Zoom.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
12 October 2020, Causal Inference Lab reading group
The Causal Inference Lab will meet to discuss Michael Tessler & Noah Goodman, Learning from Generic Language [doi:10.31234/osf.io/hnm8p].
To join the meeting, click https://uva-live.zoom.us/j/85927230872. All those interested in discussing the paper are welcome to join.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
15 October 2020, IvI Career Lunch
This event is organised by Career Service together with individual research institutes. All PhD candidates and postdocs are invited. For each Career Lunch we invite 3-4 guest to share their career story: How did they take decisions about their future after their PhD or postdoc, what do they currently do and how are their PhD skills being valued? After a brief introduction, you will have the opportunity to ask your questions or get inspired by questions asked by your fellow participants.
Guests 15 october:
1. Rianne van den Berg, Research scientist at Google Brain
2. Jakub Zavrel, founder of Zeta Alpha
15 October 2020, Logic and Interactive Rationality (LIRa), Eric Pacuit
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
16 October 2020, DIP Colloquium, Connie de Vos
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
21 October 2020, Algebra|Coalgebra Seminar, Colin Riba
21 October 2020, Logic of Conceivability seminar, Hans Rott
LoC online seminar session on Wednesday, October 21: Hans Rott (University of Regensburg)
on Difference-making conditionals and the Relevant Ramsey Test
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
22 October 2020, Logic and Interactive Rationality (LIRa), Roberto Giuntini
22 October 2020, CoSaQ seminar, Iris van de Pol
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
26 October 2020, Causal Inference Lab Reading Group
The Causal Inference Lab will meet on Monday 26 October at 15:00 to read Kirfel & Lagnado (2018), 'Statistical norm effects in causal cognition' [pdf].
All those interested in discussing the paper are welcome to join.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
28 October 2020, MoL thesis presentations
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
29 - 30 October 2020, Logic and Interactive Rationality (LIRa), Erich Grädel
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
29 - 30 October 2020, Logic and Interactive Rationality (LIRa), Erich Grädel
30 October 2020, Meaning, Logic, and Cognition (MLC) Seminar, Thom van Gessel
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.