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.
| << November 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
|
|||
3 November 2011, ACLC-ILLC Cross-Linguistics Semantics Group, Hedde Zeijlstra
For abstracts and more information, see http://www.hum.uva.nl/aclc-news/events.cfm
3 November 2011, Logic and Interactive Rationality (LIRa), Tomoyuki Yamada (Hokkaido University)
For more information, see https://www.illc.uva.nl/lgc/seminar/
3 November 2011, ILLC Current Affairs Meeting
The first ILLC Current Affairs meeting will be held on Thursday 3rd November next, from 15:30 - 17:00 h in room C0.110, Science Park 904, Amsterdam. All ILLC staff and PhD students are invited to attend. Drinks will be served afterwards in the ILLC Common Room, C3.113, from 17:00 - 19:00 h.
8 November 2011, De wetenschap in debat, Jan van Eijck, Pieter Adriaans
(dutch only)
Informatietechnologie heeft onze wereld binnen enkele decennia
onherkenbaar veranderd op technisch en sociaal gebied. Het is
niet uitgesloten dat hiermee gaandeweg zelfs de manier waarop
wij zelf als mensen functioneren zal veranderen.
Maar informatie is tegelijkertijd een fundamenteel zuiver wetenschappelijk thema dat door de hele universiteit speelt. Daarbij ontstaan telkens nieuwe onderzoekslijnen, vanaf bèta disciplines als informatica, wiskunde, en natuurkunde tot de verste einders van alfa en gamma. Wat bij al deze ontwikkelingen echter nog steeds niet is gelukt is de ontwikkeling van een algemeen aanvaarde integrerende visie op wat de essentie van informatie nu eigenlijk is.
Voornamelijk twee visies zijn in strijd met elkaar: informatie als een berekenbare grootheid, en kwalitatieve betekenisvolle informatie zoals wij die bijvoorbeeld overdragen in conversatie. Twee prominente vertegenwoordigers van beide visies zullen proberen scherp te krijgen wat de belangrijkste vragen zijn, welke verschillende antwoorden er zijn, en of er misschien toch een modus vivendi bestaat die meer is dan een beleefd compromis.
Een debat met medewerking van Jan van Eijck en Pieter Adriaans onder leiding van Johan van Benthem.
Voor meer informatie, zie http://www.spui25.nl/spui25/programma.cfm/43660CEB-08DA-442D-9437D3D9CD410B02
8 November 2011, Logic Tea, David Lanius
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).
11 November 2011, Computational Social Choice Seminar, Francesca Rossi
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
11 November 2011, DIP Colloquium, Reinhard Muskens , Noor van Leusen
For abstracts and more information, see http://sites.google.com/site/illcdip/.
17-18 November 2011, 21st workshop on Games, Logic, Language and Computation (GLLC-21): Modalities, Coalgebras, Complexity and Interaction
On occasion of the PhD defenses of Raul A. Leal and Lena Kurzen, the 21st GLLC workshop will address issues concerning modalities, coalgebras, complexity and interaction.
Speakers include Jiri Adamek (TU Braunschweig), Clemens Kupke (University of Oxford), Alexander Kurz (University of Leicester), Alexandru Baltag (UvA), Christof Löding (RWTH Aachen), Pieter Adriaans (UvA), Krzysztof Apt (UvA, CWI), Maartje Raijmakers (UvA), Jos Uiterwijk (Maastricht University), Lena Kurzen (UvA) and Raul Leal (UvA)
.For more information, program and abstracts, please visit the webpage http://staff.science.uva.nl/~rlealrod/Mocoin/MoCoInindex.html .
17-18 November 2011, 21st workshop on Games, Logic, Language and Computation (GLLC-21): Modalities, Coalgebras, Complexity and Interaction
On occasion of the PhD defenses of Raul A. Leal and Lena Kurzen, the 21st GLLC workshop will address issues concerning modalities, coalgebras, complexity and interaction.
Speakers include Jiri Adamek (TU Braunschweig), Clemens Kupke (University of Oxford), Alexander Kurz (University of Leicester), Alexandru Baltag (UvA), Christof Löding (RWTH Aachen), Pieter Adriaans (UvA), Krzysztof Apt (UvA, CWI), Maartje Raijmakers (UvA), Jos Uiterwijk (Maastricht University), Lena Kurzen (UvA) and Raul Leal (UvA)
.For more information, program and abstracts, please visit the webpage http://staff.science.uva.nl/~rlealrod/Mocoin/MoCoInindex.html .
21 November 2011, Coalgebra in the Netherlands (COIN)
COIN, or Coalgebra in the Netherlands, is a newly organized seminar planned to take 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 first COIN meeting is scheduled for Monday, 21 November 2011, at
CWI, in room L120. The schedule is as follows:
14:30 - 15:15 Dimitri Hendriks (VU) and Jörg Endrullis (VU),
Equational Reasoning and Bisimulation in Coq
15:15 - 16:00 Jan Rutten (CWI/RU),
On the Final Coalgebra of Automatic Sequences
16:15 - 17:00 Marcello Bonsangue (Leiden/CWI),
Coalgebraic Characterizations of Regular and Context-Free
Languages
For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html
21 November 2011, Colloquium on Mathematical Logic, John Mumma
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
24 November 2011, Logic and Interactive Rationality (LIRa), Jan van Eijck and Floor Sietsma
For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1076.
25 November 2011, DIP Colloquium, James Woodbridge
For abstracts and more information, see http://sites.google.com/site/illcdip/.
25 November 2011, Computational Social Choice Seminar, Irem Bozbay
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
26 November 2011, Life after ILLC
The purpose of this event is to bring together PhD students currently employed at the institute, students from the Master of Logic, and ILLC postdocs, with alumni that either stayed or left academia after having completed a PhD or a Master in Logic at our Institute. Three MoL alumni and four PhD alumni will talk about their current occupation and about the difficulties/differences they found when looking for a job inside or outside the academic world. The ILLC will invite all participants for drinks.
For more information, contact phdcouncil.illc at gmail.com
28 November 2011, DIP Colloquium, Wilfrid Hodges
For abstracts and more information, see http://sites.google.com/site/illcdip/
29 November 2011, Logic Tea, Giovanni Cinà
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).