News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 14 April 2014). 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.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Regular Events
Date and time: irregular, tuesdays, 17:00-18:00Location: Room A1.04, Science Park 904, Amsterdam
The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.
Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.
Date and time: biweekly on fridays, 16:00-17:30Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.
The DIP homepage can be found at http://www.illc.uva.nl/LoLa/DIP-Colloquium/
Date and time: weekly on wednesdays, 16:00Location: Room A1.04, Science Park 904, Amsterdam
Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
Date: irregularlyLocation: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht
Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.
For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html
Date: irregularLocation: Science Park 904, Amsterdam
The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).
Date and time: weekly (usually Thursdays, exceptionally on Wednesdays in February and March), 16:30-18:00Location: Room F1.15, Science Park 107, Amsterdam
The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.
Note that the day on which LIRa lectures are held may vary between terms.
Date: irregularLocation: Room TBA, Science Park 904, Amsterdam
A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.
The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.
The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
For more information, see http://www.illc.uva.nl/ILLCColloquium/
Date and time: monthly, 15:00-18:00Location: UvA (building varies), Amsterdam
The SMART (Speech & language, Music, Art, Reasoning & Thought) Cognitive Science initiative is part of the 'zwaartepunt' Brain & Cognitive Science of the Faculty. The main activity in SMART CS will be a new lecture series with internationally renowned cognitive scientists; additionally, we will support existing activities and initiate new ones, both online and offline, to bring together cognitive scientists at the ILLC, ACLC and other research institutes of the Faculty and to highlight the contributions of the humanities to the cognitive sciences. Our activitities are organized in close collaboration with the Cognitive Science Center Amsterdam.
For more information, see http://smartcognitivescience.wordpress.com/.
Date: monthly on WednesdaysLocation: Room F1.15, Science Park 107, Amsterdam
The monthly LogiCIC seminar series is organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.
For more information and abstracts, see http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.
Date and time: biweekly on Fridays, 16:00-17:30Location: Room varies, Science Park 904, Amsterdam
LeGO is an internal seminar where members of the LLA group (capacity group Logic and Language) keep each other updated about recent, current and ongoing work. Interested ILLC scholars and students are welcome and they can receive the announcements by subscribing to p.j.e.dekkeruva.nl or m.i.crespouva.nl.
The LEGO homepage can be found at http://www.illc.uva.nl/LoLa/LeGO-Seminar/
Date and time: biweekly on Fridays, 17:30-18:30Location: Room varies, Science Park 904, Amsterdam
Cool Logic is an internal seminar, where MScLogic and PhD students (only) of the ILLC can meet and keep each other updated about recent, current and ongoing work. It will be more informal than the Logic Tea, and students will be free to present not only finished results, but also e.g. ideas that are not yet fully worked out, or just any logic related topics that they find interesting.
For more information, contact coollogic.uvagmail.com.
Date: Irregular, monthlyLocation: Room varies, Science Park 904, Amsterdam
This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.
For more information, see http://jeroengoudsmit.com/piia/.
Date and time: biweekly on Thursdays, 16:00-17:30Location: Room F1.15, Science Park 107, Amsterdam
The purpose of the meeting is to discuss results and insights about and around algebraic and coalgebraic methods in logic. The atmosphere is very informal, talks usually last one hour and the rest of the time is devoted to discussion.
The A|C homepage can be found at http://www.illc.uva.nl/alg-coalg/