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.
<< December 2018 | ||||||
---|---|---|---|---|---|---|
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
|
5 December 2018, Algebra|Coalgebra Seminar, Jörg Endrullis
6 December 2018, 'The Algorithmic Mind (Thomas Icard)' reading group
This is the third of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.
6 December 2018, Logic and Interactive Rationality (LIRa), Krzysztof Apt
10 December 2018, AUC Logic Lectures Series, Johan van Benthem
Our walk starts with quantifier expressions like "all", "some" which underlie both ordinary language and the mathematical language of science. We look at the history of logical systems for quantifiers, flagging some issues very much alive today, such as the interplay of formal and natural languages, fast practical quantifier inference versus slow conscious deductive proof, compositionality and recursion, and interfaces with probability. These topics show logic as a design lab, but also as a cross-roads where many academic disciplines meet and interact.
12 December 2018, ILLC Current Affairs Meeting & Christmas Drinks
As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.
The meeting will be followed by Christmas drinks until 21:00. As usual, we would appreciate it if people would bring along some traditional food to accompany the Christmas drinks. The ILLC Office will hang up a form in the Common Room on which you can indicate what you intend to make. We look forward to some delicious international Christmas food!
13 December 2018, Logic and Interactive Rationality (LIRa), Jeroen de Ridder
17 December 2018, CWI Machine Learning Seminar, Glenn Shafer
Glenn Shafer is one of the founders of Game-Theoretic Probability, an alternative to Kolmogorov's measure-theoretic foundations for probability. In this lecture he will talk about new game-theoretic underpinnings for statistics.