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.

<< January 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.

9 January 2014, Logic and Interactive Rationality (LIRa), Imme van den Berg

Date & Time: Thursday 9 January 2014, 15:30-17:30
Speaker: Imme van den Berg (CIMA-UE)
Title: A model for orders of magnitude within Nonstandard Analysis
Location: Room F1.15, Science Park 107, Amsterdam

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

14 January 2014, ACG Colloquium, Matteo Cimini

Date & Time: Tuesday 14 January 2014, 14:00
Speaker: Matteo Cimini (école polytechnique)
Title: A formalization of bisimulation-up-to techniques and their meta-theory
Location: Room L.202, CWI, Science Park 123, Amsterdam

15 January 2014, The Significance of Phenomenology, Arianna Betti

Date & Time: 15 January 2014, 16:00-18:00
Speaker: Arianna Betti
Title: The Phenomenological Roots of Truthmaking
Location: Room C0.23, Oudemanhuispoort, Vendelstraat 8, Amsterdam

This talk takes place as part of lecture series and graduate seminar The Significance of Phenomenology. For further information on both contact

16 January 2014, Workshop on (dynamic) modal logics and tableau systems, Brussel, Belgium

Date: Thursday 16 January 2014
Location: Brussel, Belgium

On January 16th, 2014 a workshop on (dynamic) modal logics and tableau systems will take place at the Vrije Universiteit Brussel. Attendence is free.

One day later, on January 17th, Jonas De Vuyst will publicly defend his PhD thesis on tableau systems for dynamic modal logics.

For more information, please contact or see here.

16 January 2014, Logic and Interactive Rationality (LIRa), Shengyang Zhong

Date & Time: Thursday 16 January 2014, 15:30-17:30
Speaker: Shengyang Zhong
Title: Relational Structures in Quantum Logic
Location: Room F1.15, Science Park 107, Amsterdam

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

17 January 2014, DIP Colloquium, Lucas Champollion

Date & Time: Friday 17 January 2014, 16:00-17:30
Speaker: Lucas Champollion (New York)
Title: Man and woman: the last obstacle for boolean coordination
Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam

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

17 January 2014, Cool Logic, Sanne Kosterman and Babette Paping

Date & Time: Friday 17 January 2014, 18:00-19:00
Speaker: Sanne Kosterman and Babette Paping
Title: Secure Multiparty Computation
Location: Room F1.15, Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

For more information, see http://www.illc.uva.nl/coollogic/ or contact .

21 January 2014, Logic Tea, Michael Franke

Date & Time: Tuesday 21 January 2014, 17:00-18:00
Speaker: Michael Franke
Title: The Use of Quantifiers: Set Size & Typicalityhere
Location: Room F1.15, Science Park 107, Amsterdam

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

Or see here.

23 January 2014, [XLSX] Crosslinguistic Semantics, Katja Jasinskaja (ZAS Berlin)

Date & Time: 23 January 2014, 15:00-17:00
Speaker: Katja Jasinskaja (ZAS Berlin)
Title: Negative concord 'even' across Slavic: Decline and fall of the particle 'ni'
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

For more information, contact

23 January 2014, Logic and Interactive Rationality (LIRa), Chenwei Shi

Date & Time: Thursday 23 January 2014, 15:30-17:30
Speaker: Chenwei Shi
Title: Evidence Logic and Culprits for the Failure of Epistemic Closure
Location: Room F1.15, Science Park 107, Amsterdam

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

24 January 2014, CWI Algorithms & Complexity seminar, Bill Fefferman (Caltech)

Date & Time: 24 January 2014, 14:00-15:00
Speaker: Bill Fefferman (Caltech)
Title: The classical power of quantum computation: BQP vs the Polynomial Hierarchy
Location: CWI room L017, Science Park 123, Amsterdam

How powerful are quantum computers? Despite the prevailing belief that quantum computers are more powerful than their classical counterparts, this remains a conjecture backed by little formal evidence. In this talk, the author will address this question from two different perspectives.

Based on joint work with Chris Umans

For more information, see or contact .

For more information, see here .

29 January, PIIA Seminar, Nick Bezhanishvili, Dick de Jongh

Date & Time: Wednesday 29 January, 15:00-17:00
Speaker: Nick Bezhanishvili, Dick de Jongh
Title: Canonical formulas and stable intermediate logics; NNIL and ONNILLI
Location: Room D1.114, Science Park 904, Amsterdam

For more information, see http://phil.uu.nl/piia

29 January 2014, Colloquium on Mathematical Logic, Jouko Vaananen

Date & Time: 29 January 2014, 17:00-18:00
Speaker: Jouko Vaananen
Title: Multiverse set theory and absolutely undecidable propositions
Location: Room D1.114, Science Park 904, Amsterdam
For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg ().

31 January 2014, Symposium "The History of the Humanities: Pattern-Seeking, Pattern-Rejecting or Both?"

Date: Friday 31 January 2014
Location: Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam

Symposium on the occasion of the publication of the English translation of the book "De vergeten wetenschappen. Een geschiedenis van de humaniora" by Rens Bod.

For more information, see https://www.knaw.nl/nl/actueel/agenda/

31 January 2014, Cool Logic, Stefan Pliquett

Date & Time: Friday 31 January 2014, 17:30-18:30
Speaker: Stefan Pliquett
Title: ∀ and ∃: A study of Love, Logic and Disaster
Location: Room F1.15, Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

For more information, see http://www.illc.uva.nl/coollogic/ or contact .