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.

<< November 2004 >>
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.

2 November 2004, Logic Tea, Tine Wilde

Date & Time: Tuesday 2 November 2004, 17:00-18:00
Speaker: Tine Wilde
Title: When Art Meets Science
Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster () or Hartmut Fitz ().

8 November 2004,
KNAW Themamiddag "Communicatie als Cognitief Proces"

Date & Time: Monday 8 November 2004, 13:30-17:30
Location: KNAW, Kloveniersburgwal 29, Amsterdam

(Dutch only)
Themamiddag met als onderwerp 'Communicatie als cognitief proces'. De sprekers belichten een aantal interdisciplinaire aspecten van het onderzoek, waarbij zij aandacht besteden aan vier onderwerpen:

  • de evolutie en ontwikkeling van communicatief gedrag bij mens en dier
  • communicatie vanuit neurocognitief perspectief
  • gestoorde communicatie, in het bijzonder autisme
  • communicatie tussen en met kunstmatige systemen.

Aanmelding is open tot 22 Oktober 2004. Voor meer informatie en het programma kunt u kijken op http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=514.

9 November 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Georgi Jojgov

Date & Time: Tuesday 9 November 2004, 14:15-16:00
Speaker: Georgi Jojgov
Title: A stepwise approach to formalizing mathematics
Location: TU Eindhoven, MA 1.44

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov ().

9 November 2004, Logic Tea, Marie Duzi, Tu Ostrava

Date & Time: Tuesday 9 November 2004, 17:15-18:15
Speaker: Marie Duzi, Tu Ostrava
Title: Epistemic Closure and Inferable Knowledge
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster () or Hartmut Fitz ().

10 November 2004, CSCA Lecture, Prof. dr. W.T.A.M. Everaerd

Date & Time: Wednesday 10 November 2004, 16:00
Speaker: Prof. dr. W.T.A.M. Everaerd (UvA)
Title: Accessibility of emotional memories: autobiographical memories and
emotional experience
Location: University Library, Doelenzaal, Singel 425, Amsterdam
'Eternal sunshine of the spotless mind', a recent movie, presents a romantic and futuristic neuroscience approach to deleting autobiographical memories. Although the idea of inducing amnesia may be intriguing it seems to be mere speculation in the light of the state of the art in neuroscience. In this lecture I will review the role of autobiographical memories in emotional experience; how do these memories contribute to what is experienced? After that I will discuss an approach to the modulation of emotional memories, which may eventually result in the modulation of emotional experience. I propose that retrieval of past emotional experiences needs hippocampal and amygdaloid transmission as long as this retrieval generates emotional responses. Memories that generate emotions are 'hot', in contrast to cold memories that are not accompanied by arousing emotional reactions. I hypothesize that these hot memories are better consolidated than cold memories. Modulation of emotional memories occurs through the action of stress hormones, which may influence encoding, consolidation as well as retrieval. Let's see where we are at this point in time.

For more information see the CSCA website at http://www.csca.uva.nl/.

12 November 2004, VvL symposium "Logica in de Lage Landen", Room 414, Jaarbeurs, Utrecht

Date: Friday 12 November 2004
Location: Room 414, Jaarbeurs, Utrecht

(dutch only)
De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor een VvL symposium "Logica in de Lage Landen". Deze gebeurtenis vindt plaats op vrijdag 12 november 2004 in zaal 414 van de de Jaarbeurs in Utrecht. Het programma begint om 12.45 met een broodjeslunch, u aangeboden door de VvL, tijdens de jaarlijkse Algemene Ledenvergadering.

Alle belangstellenden zijn van harte welkom. De toegang is gratis. Voor het programma en abstracts van de lezingen, zie here.

16 November 2004, MPI Colloquium Series, Ingo Plag

Date & Time: Tuesday 16 November 2004, 15:45
Speaker: Ingo Plag (Siegen, Germany)
Title: What constrains possible suffix combinations?
The role of grammatical and processing restrictions
in derivational morphology
Location: Room 1.63, Max Planck Institute for Psycholinguistics, Wundtlaan 1,
Nijmegen

There is a long-standing debate about the principles and mechanisms that constrain the combinatorial properties of affixes, in particular of English suffixes. Most recently, Hay has proposed a psycholinguistic model of morphological complexity, according to which an affix which can be easily parsed out in processing should not occur inside an affix which cannot. This model has been called 'complexity based ordering'. The general claim is that affixes can be approximately ordered along a hierarchy of complexity, with more separable affixes at one end, and less separable affixes at the other end. More separable affixes can attach outside less separable affixes, but not vice-versa.

In this talk, Ingo Plag presents research that tested the predictions of complexity based ordering through an investigation of 30 English suffixes and their potential combinations.

For abstracts and more information, see http://www.mpi.nl/world/colloquia/col-program.html.

19 November 2004, Colloquium on Mathematical Logic, Rineke Verbrugge

Date & Time: Friday 19 November 2004, 16:00-17:00
Speaker: Rineke Verbrugge (Groningen)
Title: Strong completeness for non-compact hybrid logics
Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

19 November 2004, DIP Colloquium, Fred Keijzer

Date & Time: Friday 19 November 2004, 16:00-17:30
Speaker: Fred Keijzer (Groningen)
Title: Embodied cognition: Opportunities and problems
Location: Room C105, Oudemanhuispoort 4, Amsterdam

For abstracts and more information, see https://www.illc.uva.nl/dip/.

22-23 November 2004, SIKS Advanced Course

Date: 22-23 November 2004
Title: The Semantic Web
Location: Conference center Woudschoten, Zeist

The idea of a "Semantic Web" has rapidly gained visibility on both the academic and the industrial agenda in recent years. Currently, some cornerstone technologies are in place, some applications are beginning to emerge, and many new research challenges have emerged. In this two day course, all these aspects will be highlighted.

Deadline for registration for SIKS-Ph.D students (who can participate at no charge): 1 November 2004. For more information, including an online registration form, see http://www.siks.nl/sem-web2.html

22 November 2004, Afscheidscollege, "Volledigheid en Onvolledigheid"
, Dick de Jongh

Date & Time: Monday 22 November 2004, 14:00
Speaker: Dick de Jongh
Location: Aula van de Universiteit, ingang Singel 411, Hoek Spui, Amsterdam

Het afscheidscollege begint om *14 uur precies*. Na afloop van het college vindt een receptie plaats.

Dick de Jongh heeft aangegeven graag in toga te gaan, en hierbij het verzoek aan alle collega-hoogleraren hem desgewenst daarin te volgen. In dat geval wordt u verwacht een kwartiertje eerder aanwezig te zijn.

22-23 November 2004, SIKS Advanced Course

Date: 22-23 November 2004
Title: The Semantic Web
Location: Conference center Woudschoten, Zeist

The idea of a "Semantic Web" has rapidly gained visibility on both the academic and the industrial agenda in recent years. Currently, some cornerstone technologies are in place, some applications are beginning to emerge, and many new research challenges have emerged. In this two day course, all these aspects will be highlighted.

Deadline for registration for SIKS-Ph.D students (who can participate at no charge): 1 November 2004. For more information, including an online registration form, see http://www.siks.nl/sem-web2.html

23 November 2004, Lectures on occasion of Dick de Jongh's 65th birthday

Date & Time: 23 November 2004, 13:00-18:00
Location: Herengracht 182, room 0.07

Preliminary program:

13.00-13.30 Welcome with tea or coffee.
13.30-14.00 Albert Visser:
Dick de Jongh and provability
14.10-14.40 Rosalie Iemhoff:
Dick and rules
14.50-15.05 Ingrid van Loon:
Dick de Jongh, a master of logic
15.05-15.20 Tea break
15.20-15.50 Yoav Seginer:
A topic from learning theory
16.00-16.30 Jaap van Oosten:
Proving maximality results by realizability
16.40-17.40 Drinks

For more information mail to .

25 November 2004, Semantics in the Netherlands day, Radboud University Nijmegen

Date: Thursday 25 November 2004
Location: Radboud University Nijmegen
Costs: 0,-
Deadline: 1 October 2004

The Nijmegen Centre for Semantics (NCS) presents the third Semantics in the Netherlands day. SiN provides a platform for graduate students working on natural language semantics in the Netherlands. This year's edition is hosted by the NCS and will take place Thursday, November 25 at the Radboud University Nijmegen (deadline for submission of 1p PDF abstracts: October 1). The SiNday is the opportunity for graduate students to present their research in any area of natural language semantics and its interfaces with pragmatics, syntax, morphology, logic, computational linguistics, and the like. SiN III will be concluded with an invited lecture by Prof. dr Henriëtte de Swart (Utrecht University).

Deadline for submissions is October 1st, 2004. For more information, see here or point a browser at http://www.ru.nl/ncs/sin

26-29 November 2004, Foundations of the Formal Sciences V: Infinite Games, Mathematisches Institut, RhFWU Bonn

Date: 26-29 November 2004
Location: Mathematisches Institut, RhFWU Bonn
Deadline: 15 September 2004

Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

For more information, see http://www.math.uni-bonn.de/people/fotfs/V/

26-29 November 2004, Foundations of the Formal Sciences V: Infinite Games, Mathematisches Institut, RhFWU Bonn

Date: 26-29 November 2004
Location: Mathematisches Institut, RhFWU Bonn
Deadline: 15 September 2004

Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

For more information, see http://www.math.uni-bonn.de/people/fotfs/V/

26-29 November 2004, Foundations of the Formal Sciences V: Infinite Games, Mathematisches Institut, RhFWU Bonn

Date: 26-29 November 2004
Location: Mathematisches Institut, RhFWU Bonn
Deadline: 15 September 2004

Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

For more information, see http://www.math.uni-bonn.de/people/fotfs/V/

26-29 November 2004, Foundations of the Formal Sciences V: Infinite Games, Mathematisches Institut, RhFWU Bonn

Date: 26-29 November 2004
Location: Mathematisches Institut, RhFWU Bonn
Deadline: 15 September 2004

Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

For more information, see http://www.math.uni-bonn.de/people/fotfs/V/

29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

Date: 29 November - 3 December 2004
Location: Hotel Dennenhoeve, Nunspeet

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

  • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
  • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

29 November 2004, Maagdenhuis op maandag, Johan van Benthem

Date & Time: Monday 29 November 2004, 17:30-18:00
Speaker: Johan van Benthem
Title: Natuurlijke en kunstmatige talen: therapie of huwelijk?
Location: Maagdenhuis, Spui 21, Amsterdam
Costs: Free

(dutch only)
Onder de titel Maagdenhuis op Maandag buigen topwetenschappers van de UvA en hun gasten zich over wat onlangs ontdekt, bedacht of uitgevonden is. Universiteitshoogleraar Johan van Benthem houdt in zijn verhandeling de verhouding tussen natuurlijke talen en kunsstalen nog eens tegen het licht.

Voor meer informatie, zie http://www.uva.nl/actueel/object.cfm/

29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

Date: 29 November - 3 December 2004
Location: Hotel Dennenhoeve, Nunspeet

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

  • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
  • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

30 November 2004, IKAT-SIKS Symposium Games and AI, Universiteit Maastricht, Feestzaal, Bouillonstraat 3, Maastricht

Date: Tuesday 30 November 2004
Location: Universiteit Maastricht, Feestzaal, Bouillonstraat 3, Maastricht

Programme: 14:00 - 14:10: Opening
14:10 - 14:45: Hiroyuki Iida, Games and Ranking
14:45 - 15:15: Erik van der Werf, Full Board Evaluation in the Game of Go
15:15 - 15:30: Break
15:30 - 16:00: Levente Kocsis, Omaha Hi-Lo Poker
16:00 - 16:30: Mark Winands, Building a World Champion LOA Program

For more information, see http://www.cs.unimaas.nl/ikat/symposiumwinands/

30 November 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Ana Sokolova

Date & Time: Tuesday 30 November 2004, 14:15-16:00
Speaker: Ana Sokolova
Title: Week bisimulation for action-type coalgebras
Location: TU Eindhoven, HG 6.96

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov ().