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.

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

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.

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.

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.

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/FF16E798-1321-B0BE-A4E1D4CD458897AD

For more information, see https://www.illc.uva.nl/lgc/seminar

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.

This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.

For more information, see http://axiom.vu.nl/Tarski_Workshop/ or contact the organizer of the workshop: Iris Loeb, at i.loeb at vu.nl.

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.

This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.

For more information, see http://axiom.vu.nl/Tarski_Workshop/ or contact the organizer of the workshop: Iris Loeb, at i.loeb at vu.nl.

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.

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.

For more information, see here or write to inescrespo at uva.nl or P.J.E.Dekker at uva.nl.

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

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.

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.

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.

For more information, see https://www.illc.uva.nl/LoLa/LOGICiC-Seminar/ and https://www.illc.uva.nl/lgc/seminar.

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

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.

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.

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.

This is the annual Symposium of Utrecht's student association of Artificial Intelligence. We will try to discuss several questions on Logical Reasoning by means of cognitive psychology, non-monotone logics, intuitionistic logics, human-agent networks and decision theories.

Chairman: prof. dr. Michael Moortgat. Speakers: Henry Prakken, Wim Veldman and Johan Bos. The talks and discussion are all in English.

For more information and a programme, see http://symposium.uscki.nl/.

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.

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.

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The theme of ICE 2012 is Distributed coordination, execution models, and resilient interaction.

Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members.

For more information, see http://www.artist-embedded.org/artist/-ICE-2012-.html

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.

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.

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.

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.

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.

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.

Abstract:
Herakleitos' sparse remarks on a "logos" have been deemed dark, but 2500 years later we can see that they are not as dark as Wittgenstein's TLP. I will use modern findings to show that they naturally fit in Wittgenstein's program, and that they help us to transform Aristotle's square of opposition into an obvious cube of opposition. If time permits I will argue that Herakleitos' logic of distinction is also appropriately conceived of as dynamic in nature, and that it naturally fits his own, even more sparse, remarks on ethical matters.

For more information, write to inescrespo at uva.nl or P.J.E.Dekker at uva.nl.

For more information, see http://smartcognitivescience.wordpress.com/

What, beyond proof, makes mathematics a powerful form of understanding? We approach this question by attending to the way mathematics modularizes, by shaping special-purpose contents by the expressions it deploys (and avoids) in special contexts.

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

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

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.

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.

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.

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.

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.

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.

The ILLC Midsummernight Colloquium 2012 will have three invited (30 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Raquel Fernández (LoLa), Jaap Kamps (LaCo) and Anne Troelstra (LoCo) have accepted to give presentations.

For more information, see https://www.illc.uva.nl/ILLCColloquium/Midsummernight2012/ or contact rens.bod at uva.com.