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.

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

1 April 2011, Computational Social Choice Seminar, Amy Greenwald

Date & Time: Friday 1 April 2011, 16:00
Speaker: Amy Greenwald (Brown)
Title: A Recursive Ranking Algorithm
Location: Room A1.04, Science Park 904, Amsterdam

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

1 April 2011, DIP Colloquium, Anamaria Falaus

Date & Time: Friday 1 April 2011, 16:00-17:30
Speaker: Anamaria Falaus (Basque Country)
Title: Modal indefinites and modal distinctions
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

For abstracts and more information, see http://sites.google.com/site/illcdip/.

4 April 2011, Logic Tea, Johannes Marti

Date & Time: Monday 4 April 2011, 17:00-18:00
Speaker: Johannes Marti
Title: Relation Liftings in Coalgebraic Modal Logic
Location: Room A1.04, Science Park 904, Amsterdam

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (), Umberto Grandi (), or Yurii Khomskii ().

5 April 2011, ACG Colloquium, Marcello Bonsangue

Date & Time: Tuesday 5 April 2011, 13:30
Speaker: Marcello Bonsangue (LIACS)
Title: On the axiomatization of (weighted) language equivalence
Location: Room L120, CWI, Kruislaan 413, Amsterdam

5 April 2011, A base-matrix lemma for sets of rationals modulo nowhere dense sets, Joerg Brendle

Date & Time: Tuesday 5 April 2011, 15:00-16:00
Speaker: Joerg Brendle
Location: Room C0.110, Science Park 904, Amsterdam

For more information, see http://kurt.scitec.kobe-u.ac.jp/~brendle/

7 April 2011, Computational Social Choice Seminar, Jan van Eijck (CWI)

Date & Time: Thursday 7 April 2011, 16:00
Speaker: Jan van Eijck (CWI)
Title: The Geometry of Manipulation
Location: Room C1.112, Science Park 904, Amsterdam

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

8 April 2011, VVL Symposium Logic and Culture, Hoog Brabant, Utrecht

Date: Friday 8 April 2011
Speaker: Dov Gabbay, Sara Uckelman, Michiel Leezenberg, Henk Barendregt
Location: Hoog Brabant, Utrecht
Costs: free

We are happy to invite you for the Symposium Logic and Culture organized by the Nederlandse Vereniging voor Logica and Wijsbegeerte der Exacte Wetenschappen (VVL), on Friday April 8, 2011, 11.00--17.00, in Hoog Brabant, Utrecht.

The programme consists of talks by Dov Gabbay, Sara Uckelman, Michiel Leezenberg, Henk Barendregt, and the general meeting of the VVL.

For more information, see http://www.cs.vu.nl/~femke/lc2011.html.

8 April 2011, Leve de Wiskunde!

Date & Time: Friday 8 April 2011, 09:45-16:30
Location: Science Park 904, Amsterdam

(Dutch only)
Vrijdag 8 april is het weer zo ver: Leve de Wiskunde! 2011. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. van financiële wiskunde tot symmetriepatronen en van forensische statistiek tot de filosofie achter getallen.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/levedewiskunde

8 April 2011, DIP Colloquium, Stewart Shapiro

Date & Time: Friday 8 April 2011, 16:00-17:30
Speaker: Stewart Shapiro (Ohio State University)
Title: The semantics of indiscernibles
Location: Room 001, Department of Philosophy, Vendelstraat 8, Amsterdam

For abstracts and more information, see http://sites.google.com/site/illcdip/

11, 13 & 15 April 2011, the Annual Alfred Tarski Lectures, Johan van Benthem

Date & Time: 11, 13 & 15 April 2011, 16:10
Speaker: Johan van Benthem
Title: Exploring Logical Dynamics / Logic and Computation: Fine-structure and Invariance / Logic in Games
Location: 60 Evans Hall, UC Berkeley, CA, USA

For more information, see http://math.berkeley.edu/.

11, 13 & 15 April 2011, the Annual Alfred Tarski Lectures, Johan van Benthem

Date & Time: 11, 13 & 15 April 2011, 16:10
Speaker: Johan van Benthem
Title: Exploring Logical Dynamics / Logic and Computation: Fine-structure and Invariance / Logic in Games
Location: 60 Evans Hall, UC Berkeley, CA, USA

For more information, see http://math.berkeley.edu/.

11, 13 & 15 April 2011, the Annual Alfred Tarski Lectures, Johan van Benthem

Date & Time: 11, 13 & 15 April 2011, 16:10
Speaker: Johan van Benthem
Title: Exploring Logical Dynamics / Logic and Computation: Fine-structure and Invariance / Logic in Games
Location: 60 Evans Hall, UC Berkeley, CA, USA

For more information, see http://math.berkeley.edu/.

11, 13 & 15 April 2011, the Annual Alfred Tarski Lectures, Johan van Benthem

Date & Time: 11, 13 & 15 April 2011, 16:10
Speaker: Johan van Benthem
Title: Exploring Logical Dynamics / Logic and Computation: Fine-structure and Invariance / Logic in Games
Location: 60 Evans Hall, UC Berkeley, CA, USA

For more information, see http://math.berkeley.edu/.

14 April 2011, Logic and Interactive Rationality Seminar, Jan van Eijck, Thomas Agotnes, Mehdi Dastani

Date & Time: Thursday 14 April 2011, 15:15-18:15
Speaker: Jan van Eijck, Thomas Agotnes, Mehdi Dastani
Title: Special Session on Messages, Information and Norms
Location: Buys Ballot Laboratorium, Princetonplein 5, Utrecht

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=944

11, 13 & 15 April 2011, the Annual Alfred Tarski Lectures, Johan van Benthem

Date & Time: 11, 13 & 15 April 2011, 16:10
Speaker: Johan van Benthem
Title: Exploring Logical Dynamics / Logic and Computation: Fine-structure and Invariance / Logic in Games
Location: 60 Evans Hall, UC Berkeley, CA, USA

For more information, see http://math.berkeley.edu/.

15 April 2011, DIP Colloquium, Petra Hendriks

Date & Time: Friday 15 April 2011, 16:00-17:30
Speaker: Petra Hendriks (University of Groningen)
Title: Perspective taking and the use of referring expressions
Location: Room 001, Department of Philosophy, Vendelstraat 8, Amsterdam

For abstracts and more information, see http://sites.google.com/site/illcdip/

18 April 2011, Logic Tea, Peter Fritz

Date & Time: Monday 18 April 2011, 17:00-18:00
Speaker: Peter Fritz
Title: A Logic for Two-Dimensional Semantics
Location: Room A1.04, Science Park 904, Amsterdam

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (), Umberto Grandi (), or Yurii Khomskii ()

19 April 2011, Broodje Kennis Lunchlezingen, Rens Bod

Date & Time: Tuesday 19 April 2011, 12:20 - 12:40
Speaker: Rens Bod
Title: Grootse Alfaontdekkingen
Location: Spui 25-27, 1012 WX, Amsterdam

Alfawetenschappen; een luxe tijdverdrijf? Een nauwkeurige analyse van hun geschiedenis laat zien dat alfawetenschappelijke kennis de wereld ingrijpend heeft veranderd. In deze lunchlezing zet Rens Bod uiteen waaruit "alfaontdekkingen" bestaan, en op welke wijze deze de bètawetenschappen hebben beïnvloed.

For more information, see http://www.spui25.nl/spui25/object.cfm/131015EA-0CD2-4E33-8E93C080D9BCD165

20 April 2011, General Mathematics Colloquium, Mai Gehrke (Radboud Universiteit)

Date & Time: Wednesday 20 April 2011, 11:15-12:15
Speaker: Mai Gehrke (Radboud Universiteit)
Title: Profinite algebras as dual spaces
Location: Room D1.113, Science Park 904, Amsterdam

Profinite algebras, such as profinite rings, groups, and monoids are often used in algebra and have, more recently, also found applications in computer science. Duality theory on the other hand plays a central role in the study of logics where it serves as the main mechanism in relating syntactic and semantic approaches. In recent work with Grigorieff and Pin we have shown that the category of profinite abstract algebras in any signature may be seen as a subcategory of all topo-relational dual spaces of a corresponding type. This technical result has allowed us to generalise a powerful method in automata theory. The talk will provide an introduction to the concepts involved and a glimpse at the automata and complexity theoretic applications

For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

20 April 2011, Computational Social Choice Seminar, Ilan Frank

Date & Time: Wednesday 20 April 2011, 16:00
Speaker: Ilan Frank
Title: Information as a Descriptive Tool in Computational Social Choice
Location: Room D1.113, Science Park 904, Amsterdam

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

29 April 2011, DIP Colloquium, Gianluca Giorgolo

Date & Time: Friday 29 April 2011, 16:00-17:30
Speaker: Gianluca Giorgolo (Utrecht University)
Location: Room 001, Department of Philosophy, Vendelstraat 8, Amsterdam

For abstracts and more information, see http://sites.google.com/site/illcdip/