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.

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

2 May 2014, Theoretical Computer Science Seminar, Rachel Morgan

Date & Time: Friday 2 May 2014, 16:00-17:00
Speaker: Rachel Morgan
Title: The Information Distance between Black-Box Optimization Problems
Location: CWI Room L017, Science Park 123, Amsterdam

For more information, see here or contact .

6 May 2014, AUC Logic Guest Lectures, Floris Roelofsen

Date & Time: Tuesday 6 May 2014, 18:30-19:30
Speaker: Floris Roelofsen
Title: Inquisitive Epistemic Logic
Location: AUC common room, Science Park 113, Amsterdam

Floris Roelofsen (ILLC) will explain `Inquisitive Epistemic Logic' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.

For more information, please contact .

8 May 2014, Logic and Interactive Rationality (LIRa), Zoé Christoff

Date & Time: Thursday 8 May 2014, 15:30-17:00
Speaker: Zoé Christoff
Title: Dynamic Logic for Threshold Models
Location: Room F1.15, Science Park 107, Amsterdam

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

8 May 2014, Spinoza Lecture, Prof. Quentin Skinner

Date & Time: Thursday 8 May 2014, 20:15-22:00
Speaker: Prof. Quentin Skinner
Title: Hobbes and the Person of the State
Location: Oude Lutherse Kerk, Singel 411, Amsterdam

9 May 2014, Theoretical Computer Science Seminar, Maris Ozols

Date & Time: Friday 9 May 2014, 15:00-16:00
Speaker: Maris Ozols (Cambridge)
Title: Quantum information without interference
Location: CWI Room L017, Science Park 123, Amsterdam

For more information, see here or contact .

13 May 2014, Logic Tea, Zhenhao Li

Date & Time: Tuesday 13 May 2014, 17:00-18:00
Speaker: Zhenhao Li
Title: Structures that permit minimal Turing degrees
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.

14 May 2014, Algebra|Coalgebra Seminar, Umberto Rivieccio

Date & Time: Wednesday 14 May 2014, 16:00-17:00
Speaker: Umberto Rivieccio (Delft University of Technology)
Title: Many-valued modal logic over residuated lattices via duality
Location: Room F1.15, ILLC Building, Science Park 107, Amsterdam

For more information, see here or http://www.illc.uva.nl/alg-coalg/

15 May 2014, Coalgebra in the Netherlands (COIN)

Date & Time: Thursday 15 May 2014, 13:30 -
Location: Room HG00.307, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Thursday 15 May 2014, at Radbout University Nijmegen. As usual, everyone who is interested is cordially invited to come.
Speakers:
Sjaak Smetsers: Bialgebraic semantics in PVS
Joost Winter: Brzozowski Bialgebras
Enric Cosme-Llopez & Jan Rutten: The dual equivalence of equations and coequations for automata

For more information, see http://cs.ru.nl/~hbasold/coin/

15 May 2014, LogiCIC/LIRa Seminar, Bryan Renne

Date & Time: Thursday 15 May 2014, 15:30-17:00
Speaker: Bryan Renne (UvA)
Title: Dynamic Justification Logic for Formal Epistemology
Location: Room F1.15, Science Park 107, Amsterdam

16 May 2014, LeGO Seminar, Franz Berto

Date & Time: Friday 16 May 2014, 16:00-17:30
Speaker: Franz Berto
Title: Telling Negations from In-Australia Operators

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

16 May 2014, Cool Logic, Nika Pona

Date & Time: Friday 16 May 2014, 17:30-18:30
Speaker: Nika Pona
Title: What is wrong with Marxist philosophy of mathematics?
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 .

20 May 2014, ACG Colloquium, Jean-Eric Pin

Date & Time: Tuesday 20 May 2014, 13:30
Speaker: Jean-Eric Pin (CNRS-LIAFA)
Title: Quantitative formalisms of regularity, a partial survey
Location: Room L202, CWI, Science Park 123, Amsterdam

21 May 2014, BetaBreak: Reuniting Humanities and Science

Date & Time: Wednesday 21 May 2014, 12:00-13:00
Location: Central Hall, Science Park 904, Amsterdam, The Netherlands

A debate between Rens Bod, Hans Radder and Frank van Vree about reuniting arts and sciences.

For more information (in dutch), see http://www.betabreak.nl/ and http://www.uva.nl/over-de-uva/organisatie/faculteiten/content/.

23 May 2014, SMART Cognitive Science Lecture, Roel Willems

Date & Time: Friday 23 May 2014, 16:00-18:00
Speaker: Roel Willems
Title: Mental simulation during narrative comprehension: Insights from neuroimaging.
Location: Room A008, OMHP, Oudemanhuispoort 4-6, Amsterdam

For more information and an abstract, see http://smartcognitivescience.wordpress.com/2014/02/14/410/

23 May 2014, ILLC - CWI Table Tennis Tournament

Date & Time: Friday 23 May 2014, 17:00
Location: CWI Recreation Room

A friendly sporting collaboration between the ILLC and the CWI. Play some games of table tennis, get to know some of your neighbors at the CWI, and enjoy some free drinks and snacks! All members of the ILLC and the CWI are welcome to participate, but you must register on the webpage.

The deadline for registration is Wednesday, May 21. For more information, see http://doodle.com/vgd4p428dw3tqqf9 or contact Nikhil Maddirala ().

27-28 May 2014, Workshop on Model-Based Cognitive Neurosciences: Theory and Applicationce

Date: 27-28 May 2014
Location: Amsterdam Brain and Cognition (ABC) Nieuwe Prinsengracht 130 (Entrance Building G), Room DS.02
Target audience: For graduate and PhD students in the field of experimental/mathematical Psychology, Neuroscience, AI, Computer Science, Neuroeconomics or similar subject.
Costs: free, but limited to 30 participants

Have you ever wondered how to fit a model to your behavioral data? The Amsterdam Center for Brain & Cognition (ABC) is organizing a 1½ day workshop with the aim to introduce cognitive mathematical models of decision making and their application. International and national speakers will discuss why the model-based approach is useful and attractive in both the cognitive and neuroscientific field. Topics will range from the theoretical background of several sequential sampling models to their application in neuroimaging studies. The course is particularly designed for PhD students, postdoctoral researchers, and anyone how takes an interest in getting more out of their behavioral data.

For more information, see http://abc.uva.nl/events/item/

27 May 2014, Logic Tea, Roosmarijn Goldbach

Date & Time: Tuesday 27 May 2014, 17:00-18:00
Speaker: Roosmarijn Goldbach
Title: Modelling Democratic Deliberation
Location: Room , 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.

27 May 2014, Spinoza Lecture, Prof. Quentin Skinner

Date & Time: Tuesday 27 May 2014, 20:15-22:00
Speaker: Prof. Quentin Skinner
Title: Hobbes and the Iconography of the State
Location: Oude Lutherse Kerk, Singel 411, Amsterdam

27-28 May 2014, Workshop on Model-Based Cognitive Neurosciences: Theory and Applicationce

Date: 27-28 May 2014
Location: Amsterdam Brain and Cognition (ABC) Nieuwe Prinsengracht 130 (Entrance Building G), Room DS.02
Target audience: For graduate and PhD students in the field of experimental/mathematical Psychology, Neuroscience, AI, Computer Science, Neuroeconomics or similar subject.
Costs: free, but limited to 30 participants

Have you ever wondered how to fit a model to your behavioral data? The Amsterdam Center for Brain & Cognition (ABC) is organizing a 1½ day workshop with the aim to introduce cognitive mathematical models of decision making and their application. International and national speakers will discuss why the model-based approach is useful and attractive in both the cognitive and neuroscientific field. Topics will range from the theoretical background of several sequential sampling models to their application in neuroimaging studies. The course is particularly designed for PhD students, postdoctoral researchers, and anyone how takes an interest in getting more out of their behavioral data.

For more information, see http://abc.uva.nl/events/item/

28 May 2014, Joint A|C and PIIA seminar, Paula Henk / Shengyang Zhong

Date & Time: Wednesday 28 May 2014, 15:00-17:00
Speaker: Paula Henk / Shengyang Zhong
Title: Adding the Supremum to Interpretability Logic / Duality for the Logic of Quantum Actions
Location: Room F1.15, Science Park 107