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.
<< April 2017 | ||||||
---|---|---|---|---|---|---|
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
|
6 April 2017, DIP Colloquium, Lisa Bylinina
6 April 2017, Workshop on the foundations of mathematics and physics, in occasion of Riccardo Pinosio's PhD defense
This workshop is a chance to discuss the problem of the continuum (broadly construed) in the foundations of mathematics and physics, and how logical tools from the foundations of mathematics can be applied to illuminate issues in contemporary physics. This workshop is associated to Riccardo Pinosio's PhD defense.
6 April 2017, *MoL thesis presentation* Event I
During these events, second year MoL students will present their ongoing thesis projects to the ILLC community. For the students it is an opportunity to receive feedback on their research from experts outside of their supervisory team. For the ILLC community it is an opportunity to get an overview of the variety of research questions our students are currently working on.
12 April 2017, Logic of Conceivability Seminar, Peter Hawke
Peter will discuss both Van Inwagen's article on Modal Epistemology and his own reply (Hawke) on Van Inwagen's Modal Skepticism.
12 April 2017, ILLC Current Affairs Meeting
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.
13 April 2017, *MoL thesis presentation* Event II
During these events, second year MoL students will present their ongoing thesis projects to the ILLC community. For the students it is an opportunity to receive feedback on their research from experts outside of their supervisory team. For the ILLC community it is an opportunity to get an overview of the variety of research questions our students are currently working on.
13 April 2017, Logic and Interactive Rationality (LIRa), Ilaria Canavotto
13 April 2017, AUC Logic Lectures, Yurii Khomskii
21 April 2017, Dutch Social Choice Colloquium
This will be a special session in honour of Kenneth J. Arrow (1921-2017). Speakers are Salvador Barberà (Barcelona), Herrade Igersheim (Strasbourg), and Hans Peters (Maastricht). Participation is free and open to everyone, but advance registration is requested.
21 April 2017, DIP Colloquium, Vít Punčochář
21 - 23 April 2017, Network maintenance UvA & HvA
From Friday evening until Sunday afternoon ICTS is planning major maintenance on many ICT systems. Details will be made available later.
21 - 23 April 2017, Network maintenance UvA & HvA
From Friday evening until Sunday afternoon ICTS is planning major maintenance on many ICT systems. Details will be made available later.
22-23 April 2017, ICT maintenance weekend
Dear colleagues.
The following weekend has now officially been appointed for major ICT maintenance:
- 22 & 23 april 2017
Further information will follow later on, but be aware all central systems and the network may be unavailable during this weekend.
Best wishes,
ILLC Office
For more information, contact illc at uva.nl
21 - 23 April 2017, Network maintenance UvA & HvA
From Friday evening until Sunday afternoon ICTS is planning major maintenance on many ICT systems. Details will be made available later.
22-23 April 2017, ICT maintenance weekend
Dear colleagues.
The following weekend has now officially been appointed for major ICT maintenance:
- 22 & 23 april 2017
Further information will follow later on, but be aware all central systems and the network may be unavailable during this weekend.
Best wishes,
ILLC Office
For more information, contact illc at uva.nl
24 April 2017, CoSaQ seminar, Fabian Schlotterbeck
25 April 2017, CoSaQ seminar, Fabian Schlotterbeck
26 April 2017, Algebra|Coalgebra Seminar, George Metcalfe
Ordering conditions for groups provide useful tools for the study of various relationships between group theory, universal algebra, topology, and logic. In this talk, I will describe a new “algorithmic” ordering condition for extending partial orders on groups to total orders. I will then show how this condition can be used to show that extending a finite subset of a free group to a total order corresponds to checking validity of a certain inequation in the class of totally ordered groups. As a direct consequence, we obtain a new proof that free groups are orderable.