News and Events: Upcoming Events

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 2014 >>
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
Click on an event to view details.

1 October 2014, Algebra|Coalgebra Seminar, Malvin Gattinger

Date & Time: Wednesday 1 October 2014, 16:30
Speaker: Malvin Gattinger
Title: PDL has Craig Interpolation since 1981
Location: ILLC Room F1.15, Science Park 107, Amsterdam

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh ().

1 October 2014, Drinks at Polder on the occasion of Van Emde Boas' 50 years research activity

Date & Time: Wednesday 1 October 2014, 16:30
Location: Café - Restaurant Polder, Science Park 205, Amsterdam

On the occasion of 50 years of research activity in mathematics, Peter van Emde Boas will organise drinks at Polder. All are cordially invited!

For more information, see http://bronstee.com/invitatie/Invitatie20141001aa.pdf (english) and http://bronstee.com/invitatie/Invitatie20141001nl1.pdf (dutch)

2-3 October 2014, LiRA-Workshop "The Logical Dynamics of Information, Agency and Interaction"

Date: 2-3 October 2014
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.

2 October 2014, DIP Colloquium, Dorit Abusch

Date & Time: Thursday 2 October 2014, 16:00-17:30
Speaker: Dorit Abusch (Cornell University)
Title: Pictorial Discourse Referents, Bridging and Continuous Narrative
Location: Room F1.15, Science Park 107, Amsterdam

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

2-3 October 2014, LiRA-Workshop "The Logical Dynamics of Information, Agency and Interaction"

Date: 2-3 October 2014
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.

10 October 2014, Logic and Interactive Rationality (LIRa), Mathias Madsen

Date & Time: Friday 10 October 2014, 15:00-16:30
Speaker: Mathias Madsen
Location: Room F1.15, Science Park 107, Amsterdam

For more information, see http://www.illc.uva.nl/lgc/seminar

14 October 2014, Logic Tea, Benno van den Berg

Date & Time: Tuesday 14 October 2014, 17:00-18:00
Speaker: Benno van den Berg
Title: How constructive is nonstandard arithmetic?
Location: Room F1.15, Science Park 107, Amsterdam

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (), Johannes Marti (), Masa Mocnik () or Julian Schloder ().

Or see here.

14 October 2014, AUC Guest Lectures, Ulle Endriss (ILLC, University of Amsterdam)

Date & Time: Tuesday 14 October 2014, 18:00 - 19:00
Speaker: Ulle Endriss (ILLC, University of Amsterdam)
Title: Judgment Aggregation
Location: Common room, Amsterdam University College, Science Park 113, Amsterdam

This lecture will be an introduction to the field of judgment aggregation, which deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions into a single such view that appropriately reflects the stance of the group as a whole.

For more information, see http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/

15 October 2014, Algebra|Coalgebra Seminar, Alexandra Silva

Date & Time: Wednesday 15 October 2014, 16:00-17:00
Speaker: Alexandra Silva
Title: Automata learning: a categorical perspective.
Location: ILLC Room F1.15, Science Park 107, Amterdam

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh ().

17 October 2014, DIP Colloquium, Federico Gobbo

Date & Time: Friday 17 October 2014, 16:00-17:30
Speaker: Federico Gobbo (Amsterdam/Torino)
Title: Natural language formalization meets constructive mathematics
Location: Room F1.15, Science Park 107, Amsterdam

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

22 October 2014, PIIA Seminar, Fan Yang

Date: 22 October 2014
Speaker: Fan Yang
Title: Propositional dependence logic
Location: Stijlkamer 0.06, Janskerkhof 13, Utrecht

For more information, see http://jeroengoudsmit.com/piia/.

23 October 2014, Valedictory lecture, Prof. Andy Tanenbaum

Date & Time: Thursday 23 October 2014, 11:45
Speaker: Prof. Andy Tanenbaum
Location: the Aula of the Vrije Universiteit, Amsterdam, The Netherlands

Prof. Andy Tanenbaum is finally retiring. He has been at the Vrije Universiteit for 43 years, but everything must eventually end. To say goodbye to everyone, he will give a final lecture at the VU, to which everyone is invited.

Register for his farewell lecture ("afscheidscollege"). For more information, see http://www.cs.vu.nl/tanenbaum/

24 October 2014, Logic and Interactive Rationality (LIRa), Jan van Eijck

Date & Time: Friday 24 October 2014, 14:30-16:00
Speaker: Jan van Eijck (UvA)
Title: Selected Topics in Communication and Action
Location: Room F1.15, Science Park 107, Amsterdam

For more information, see http://www.illc.uva.nl/lgc/seminar

24 October 2014, SMART Cognitive Science Lecture, William Foley

Date & Time: Friday 24 October 2014, 16:00-18:00
Speaker: William Foley (Sydney)

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

24 October 2014, DIP Colloquium, Mark van Atten

Date & Time: Friday 24 October 2014, 16:00-17:30
Speaker: Mark van Atten (CNRS, Paris)
Title: Dummett vs. Brouwer
Location: Room F1.15, Science Park 107, Amsterdam

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

24 October 2014, Cool Logic, Konstantin Genin (Carnegie Mellon University)

Date & Time: Friday 24 October 2014, 18:00-19:00
Speaker: Konstantin Genin (Carnegie Mellon University)
Title: Learning with Ockham: Simplicity in Inductive Inference
Location: ILLC seminar room (F1.15), Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

Is it possible to give a non-circular justification for the systematic scientific bias in favor of simpler theories? Combining ideas from belief revision, learning theory and topology, we give a justification for Ockham's razor grounded in truth-finding efficiency. Connections are demonstrated between monotonicity principles in belief revision, Popperian falsificationism and simplicity.

For more information, contact

28 October 2014, Logic Tea, Janine Reinert

Date & Time: Tuesday 28 October 2014, 17:00-18:00
Speaker: Janine Reinert
Title: Expressive Limitations in Hybrid Approaches to Possible and Impossible Worlds
Location: Room F1.15, Science Park 107, Amsterdam

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (), Johannes Marti (), Masa Mocnik () or Julian Schloder ().

Or see here.

29 October 2014, Algebra|Coalgebra Seminar, Leonardo Cabrer

Date & Time: Wednesday 29 October 2014, 16:00
Speaker: Leonardo Cabrer (Florence)
Title: Exact Unification Type and Admisible rules
Location: ILLC Room F1.15, Science Park 107, Amsterdam

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh ().

29 October 2014, FNWI Collegetour at SPUI25, Richard Ridderinkhof and Ulle Endriss

Date & Time: Wednesday 29 October 2014, 20:00
Speaker: Richard Ridderinkhof and Ulle Endriss
Title: Difficult Decisions
Location: Spui 25-27, 1012 XM Amsterdam

Life is all about making choices. In this public lecture at SPUI25, the UvA's academic-cultural centre, Richard Ridderinkhof (UvA Psychology) and Ulle Endriss (ILLC) will discuss the ins and outs of taking difficult decisions, be it as an individual or in a group. Please note that this event will be held in Dutch and that registration is required.

For more information, see http://www.spui25.nl/programma/item/29.10.14---fnwi-collegetour.html.

31 October 2014, Logic and Interactive Rationality (LIRa), Enkhbold Nyamsuren

Date & Time: Friday 31 October 2014, 14:30-16:00
Speaker: Enkhbold Nyamsuren (UvA)
Title: Are you smarter than your inner child?
Location: Room F1.15, Science Park 107, Amsterdam

For more information, see http://www.illc.uva.nl/lgc/seminar

31 October 2014, ILLC Current Affairs Meeting

Date & Time: Friday 31 October 2014, 16:00-17.30
Location: F1.21, ILLC Common room, Science Park 107, Amsterdam

As in the previous editions, the purpose of this meeting is to inform you on 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. Drinks will be served afterwards in the ILLC Common Room.

For more information, contact