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.

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

4 March 2014, Logic Tea, Julian Kiverstein

Date & Time: Tuesday 4 March 2014, 17:00-18:00
Speaker: Julian Kiverstein
Title: Coordination and Common Ground
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.

6 March 2014, KNAW Master Class, Arnaud Durand, Lauri Hella, Phokion Kolaitis

Date & Time: Thursday 6 March 2014, 9:00-16:00
Speaker: Arnaud Durand, Lauri Hella, Phokion Kolaitis
Title: Master Class on Dependence Logic
Location: KNAW, Kloveniersburgwal 29, Amsterdam

The Royal Netherlands Academy of Arts and Sciences will organise a master class for young researchers, PhD-students and research master students in dependence logic.

Lecturers:
Arnaud Durand (Paris): Computational aspects of dependence logic.
Phokion Kolaitis (Santa Cruz): Database dependencies.
Lauri Hella (Tampere): Modal Dependence Logic.

For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic-masterclass

6 March 2014, Theoretical Computer Science Seminar, Andrew Drucker (IAS Princeton)

Date & Time: Thursday 6 March 2014, 16:00-17:00
Speaker: Andrew Drucker (IAS Princeton)
Title: On the Success Probability of Polynomial-Time SAT Solvers
Location: CWI room L017, Science Park 123, Amsterdam

For abstract and more information, see here or contact

12 March 2014, Live-streamed event on "Global Humanities?"

Date: Wednesday 12 March 2014

4Humanities.org will host a live-streamed event on "Global Humanities?" on March 12, 2014, noon-1:30 pm Pacific Standard Time. The featured participant will be Rens Bod, professor of humanities and digital humanities at University of Amsterdam, who will engage online with Alan Liu, David Marshall (Dean of Humanities & Fine Arts, University of California, Santa Barbara ), and others at UC Santa Barbara on the question of the humanities and global humanities.

The questions are:
How can we think comparatively about what the humanities mean in multiple areas of the world with educational and funding systems not necessarily commensurable with U.S.-style "liberal arts"?
For example, how are the humanities and arts talked about elsewhere?
How are their histories and traditions different?
How are they positioned relative to other disciplines, institutions, and social sectors?
How are their different functions interrelated--memorial, educational, critical, research-oriented, etc.?
In both the past and the contemporary moment, how are humanities and arts differently valued or challenged around the world?

The event will be livestreamed on YouTube from the event page at http://4humanities.org/2014/02/. Suggested readings from Rens Bod's book and Geoffrey Galt Harpham's *The Humanities and the Dream of America* are available from the event page (request a login to download the readings from Lindsay Thomas: ). For more information, contact .

12 March 2014, Computational Linguistics Seminar, Barend Beekhuizen / Jelke Bloem

Date & Time: Wednesday 12 March 2014, 15:00-16:15
Speaker: Barend Beekhuizen / Jelke Bloem
Title: Learning Meaning without Primitives: Typology Predicts Developmental Patterns / Large-scale analysis of order variation in Dutch verbal clusters
Location: Room F1.15, Science Park 107, Amsterdam

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

12 March 2014, Logic and Interactive Rationality (LIRa), Benjamin Bewersdorf

Date & Time: Wednesday 12 March 2014, 16:30-18:00
Speaker: Benjamin Bewersdorf (Universitat Konstanz)
Title: Experience and Rational Belief Change
Location: Room F1.15, Science Park 107, Amsterdam

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

13 March 2014, Theoretical Computer Science Seminar, Tommaso Gagliardoni (TU Darmstadt, Germany)

Date & Time: Thursday 13 March 2014, 15:00-16:00
Speaker: Tommaso Gagliardoni (TU Darmstadt, Germany)
Title: Proofs of security for digital signatures in the Quantum Random Oracle Model
Location: ILLC Meeting Room F1.15, Science Park 107, Amsterdam
For more information, see here or contact

14 March 2014, Cool Logic, Vlasta Sikimic

Date & Time: Friday 14 March 2014, 17:30-18:30
Speaker: Vlasta Sikimic
Title: On Purpose and Variations of Cut Elimination
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 .

19 March 2014, Logic and Interactive Rationality (LIRa), Joshua Sack

Date & Time: Wednesday 19 March 2014, 16:30-18:00
Speaker: Joshua Sack (UvA)
Title: Modal Logic for Mixed Strategies in Games
Location: Room F1.15, Science Park 107, Amsterdam

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

20 March 2014, Algebra|Coalgebra Seminar, Nick Bezhanishvili

Date & Time: Thursday 20 March 2014, 16:00-17:30
Speaker: Nick Bezhanishvili
Title: Canonical rules for modal logic
Location: Room F 1.15, Science park 107

Abstract: In this talk I will discuss how to transform the method of implication-free canonical formulas for intuitionistic logic into the setting of modal logic.

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

21 March 2014, DIP Colloquium, Catarina Dutilh Novaes

Date & Time: Friday 21 March 2014, 16:00-17:30
Speaker: Catarina Dutilh Novaes (Groningen)
Title: A dialogical analysis of structural rules
Location: Room F1.15, Science Park 107, Amsterdam

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

26 March 2014, LogiCIC/LIRa Seminar, Francesca Poggiolesi and Brian Hill

Date & Time: Wednesday 26 March 2014, 16:30-18:00
Speaker: Francesca Poggiolesi (CNRS-CEPERC) and Brian Hill (CNRS-GREGHEC)
Title: An alternative proof-theoretical approach to standard conditional logics / Confidence in Beliefs and Decision Making
Location: Room F1.15, Science Park 107, Amsterdam

27 March 2014, Colloquium on Mathematical Logic, Lev Beklemishev (Moscow)

Date & Time: Thursday 27 March 2014, 16:00-17:00
Speaker: Lev Beklemishev (Moscow)
Title: Positive Provability Logic - for Uniform Reflection Principles
Location: Room 0.06, Janskerkhof 13, Utrecht

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

28 March 2014, Logic Tea, Paolo Mancosu

Date & Time: Friday 28 March 2014, 14:30-16:00
Speaker: Paolo Mancosu
Title: In good company? On Hume's principle and the assignment of numbers to infinite concepts
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.

28 March 2014, DIP Colloquium, Thomas Ede Zimmermann

Date & Time: Friday 28 March 2014, 16:00-17:30
Speaker: Thomas Ede Zimmermann
Title: On the ontological status of semantic values
Location: Room F1.15, Science Park 107, Amsterdam

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

28 March 2014, Cool Logic, Malvin Gattinger

Date & Time: Friday 28 March 2014, 17:30-18:30
Speaker: Malvin Gattinger
Title: PDL probably has Craig Interpolation since 1981. Or: If Rumsfeld would have been a logician.
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 .

31 March - 2 April 2014, Amsterdam Quantum Logic Workshop

Date: 31 March - 2 April 2014
Location: Oost-Indisch Huis, Room E0.02

This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.

For more information, see http://www.joshuasack.info/events/workshop2014/.