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.
| << February 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
|
||||||
3 February 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Georgi Jojgov
(Eindhoven)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
5-7 February 2004, Philosophical Logic Meets Mathematical Logic: From Classical to Quantum
Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research.
Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.
Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004
5-7 February 2004, Philosophical Logic Meets Mathematical Logic: From Classical to Quantum
Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research.
Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.
Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004
6 February 2004, Symposium 'Philosophy of Constructive Type Theory', Room 148, WSD-Building 1175, Leiden University
11.00-12.30: Per Martin-Löf (Stockholm), 'Sets, Types and Categories'
14.00-15.00: B. G. Sundholm( Leiden), 'Three Key Features of
Martin-Löf's Philosophy of Logic: Content, Judgement, First-Person
Perspective?
15.00-16.00: A. Ranta (Gothenburg), 'Language: A Type-Theoretical View'
16.30-17.30: M. Bourdeau (MSH, Paris), 'Categories, Types, and
Constructive Reference'
17.30-18.30: Guido Löhrer (Bern), 'On Ends and Means - Constructive
Type Theory as a Guide for Historical and Systematical Interpretation'.
6 February 2004, Cognitie Publieksdag "De Toekomst van het Leren", RAI Congrescentrum, Amsterdam
Leren in je slaap. Hersentransplantaties. Een leerpil. Geheugenchips waarmee we informatie direct naar de hersenen kunnen downloaden. Toekomstmuziek? Of binnenkort realiteit? Op de Publieksdag "De Toekomst van het Leren" laten vooraanstaande wetenschappers hun licht schijnen op de mogelijkheden én de grenzen van hun vakgebied. Daarnaast kunt u op de Demonstratiemarkt aan de hand van experimenten, video's, proeven en simulaties zelf ervaren welke verrassende dingen er soms gebeuren als we iets leren, onthouden of zien. Een spetterende dag voor iedereen die geïnteresseerd is in hoe wij leren. Ook voor studenten zeer de moeite waard!
Er zijn slechts een beperkt aantal kaarten beschikbaar. Vol = vol! Voor meer informatie, zie http://www.hersenenenleren.nl/
5-7 February 2004, Philosophical Logic Meets Mathematical Logic: From Classical to Quantum
Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research.
Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.
Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004
9 February 2004, CWI Talk, Chih-Jen Lin, National Taiwan University
Support vector machine (SVM) is a promising technique for data classification and regression. In this talk the speaker will 1) introduce its basic concepts, 2) discuss its current status, and 3) present an example using real-world data sets. Finally, the speaker would like to discuss common mistakes made by users when applying SVM.
For more information, contact Rudi Cilibrasi (020-5924232, Rudi.Cilibrasi at cwi.nl) or Paul Vitanyi (Paul.Vitanyi at cwi.nl).
13-14 February 2004, Questions Workshop in preparation of the Crispi volume
Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl.
For more information, see here.
13 February 2004, Computing with LLI Seminar, Börkur Sigurbjörnsson
(LIT, Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Feb13.
13 February 2004, Colloquium on Mathematical Logic, Klaas Pieter Hart
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
13 February 2004, DIP Colloquium, Jonathan Ginzburg
On Friday February 13, Jonathan Ginzburg will give a DIP talk at a workshop on Amsterdam research into questions which is held February 13/14. Please notice the unusual time and location.
Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl. For abstracts and more information, see https://www.illc.uva.nl/dip/.
13-14 February 2004, Questions Workshop in preparation of the Crispi volume
Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl.
For more information, see here.
19 February 2004, Logic Tea, Paul Harrenstein
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).
20 February 2004, Language and Inference Technology (LIT) Seminar, Bart Jacobs
(Nijmegen)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Feb20.
26 February 2004, Logic Tea, Fabio Paglieri
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).
27 February 2004, DIP Colloquium, Henriette de Swart ()
For abstracts and more information, see https://www.illc.uva.nl/dip/.
27-29 February 2004, 28th Penn Linguistics Colloquium (PLC28), University of Pennsylvania, Philadelphia, PA
The Penn Linguistics Colloquium is an annual conference organized by graduate students in the Department of Linguistics at the University of Pennsylvania. Papers on any topic in linguistics and associated fields are welcome.
Invited speaker is Juliette Blevins, who will speak on "Structure-preserving sound change: How and why?"
Deadline for submissions is December 8, 2003. For more information and an online submission form, see http://www.ling.upenn.edu/Events/PLC/ or e-mail plc28 at ling.upenn.edu.
27 February 2004, Computing with LLI Seminar, David Ahn
(Rochester and Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Feb27.
27-29 February 2004, 28th Penn Linguistics Colloquium (PLC28), University of Pennsylvania, Philadelphia, PA
The Penn Linguistics Colloquium is an annual conference organized by graduate students in the Department of Linguistics at the University of Pennsylvania. Papers on any topic in linguistics and associated fields are welcome.
Invited speaker is Juliette Blevins, who will speak on "Structure-preserving sound change: How and why?"
Deadline for submissions is December 8, 2003. For more information and an online submission form, see http://www.ling.upenn.edu/Events/PLC/ or e-mail plc28 at ling.upenn.edu.
27-29 February 2004, 28th Penn Linguistics Colloquium (PLC28), University of Pennsylvania, Philadelphia, PA
The Penn Linguistics Colloquium is an annual conference organized by graduate students in the Department of Linguistics at the University of Pennsylvania. Papers on any topic in linguistics and associated fields are welcome.
Invited speaker is Juliette Blevins, who will speak on "Structure-preserving sound change: How and why?"
Deadline for submissions is December 8, 2003. For more information and an online submission form, see http://www.ling.upenn.edu/Events/PLC/ or e-mail plc28 at ling.upenn.edu.
29 February - 5 March 2004, 9th Estonian Winter School in Computer Science, EWSCS'04, Palmse, Estonia
This is the 9th edition of a regional-scope international winter school for (theoretical) computer science. Lecturers include S. Artemov (CUNY), R. Freivalds (U. Latvia), A. Jung (Birmingham), M. Naor (Weizmann) and M. Sudan (MIT / Radcliffe)
The deadline for registration and submission of abstracts for student talks/posters is 16 Jan. 2004. For more information, a program and an online registration form, see http://www.cs.ioc.ee/yik/schools/win2004/.