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 2012 | ||||||
|---|---|---|---|---|---|---|
| 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 April 2012, Logic Tea, Fenner Tanswell
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).
5 April 2012, DIP Colloquium, Greg Restall
For abstracts and more information, see http://sites.google.com/site/illcdip/.
5 April 2012, Spinoza lectures, Michael Friedman
Abstract:
The Second Lecture applies the historical approach I have been
developing to issues of interest within contemporary
philosophy involving naturalism, mathematics, and the place of
normativity in a scientific world-view. I do this by briefly
sketching a new look at the history of philosophical
rationalism and its involvement with mathematical science from
Plato, through the scientific revolution of the seventeenth
century (Galileo, Descartes, Newton, Leibniz), to Kant. And I
aim thereby to indicate how we might fruitfully go on from
this rationalist tradition today.
For more information, contact Y.T.M.Verbeek at uva.nl.
10 April 2012, Logic and Interactive Rationality (LIRa), Sunil Simon (CWI)
For more information, see https://www.illc.uva.nl/lgc/seminar
13 April 2012, Keerpunten in de Geesteswetenschappen
Deze dag met colleges geeft een inspirerende en toegankelijke inleiding tot de belangrijkste keerpunten binnen de humaniora. Het is een veelomvattend overzicht van waar de geesteswetenschappen ons gebracht hebben, opgehangen aan de belangrijkste centrale inzichten en de ontdekkingen die daartoe geleid hebben. De samenhang tussen de verschillende wetenschapsgebieden als historische wetenschappen, taalkunde, muziekwetenschap, literatuurwetenschap en mediastudies, komt uitgebreid aan de orde. Kortom, wat is de betekenis van de geesteswetenschappen voor de wereld?
Deze middag wordt afgesloten met een forumdiscussie over de waarde van Geesteswetenschappen nu en in het verleden en hoe deze zich verhouden tot bijvoorbeeld de natuur- en gedragswetenschappen. Het publiek is van harte uitgenodigd hierover mee te praten.
For more information, see http://www.uva.nl/actueel/agenda.cfm/5A6AB394-876A-4617-9FFF3CF7CF14AC04.
13 April 2012, DIP Colloquium, Katja Jasinskaja
For abstracts and more information, see http://sites.google.com/site/illcdip/.
17 April 2012, Logic Tea, Sumit Sourabh
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).
20 April 2012, SMART Cognitive Science Lecture, Tecumseh Fitch
For abstracts and more information, see http://smartcognitivescience.wordpress.com/
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
24 April 2012, Logic and Interactive Rationality (LIRa), Jens Ulrik Hansen (ILLC)
For more information, see https://www.illc.uva.nl/lgc/seminar
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
27 April 2012, Computational Social Choice Seminar, Michael Franke
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
27 April 2012, DIP Colloquium, Edgar Onea
For abstracts and more information, see http://sites.google.com/site/illcdip/.
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
24 April - 28 June 2012, Course on models of computation
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.