Amsterdam Philosophy Encounters Science & Society (APES)Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam
APES is the place where Amsterdam-based philosophers of science based discuss about their specialised work in progress, about their experience in communicating to the public or to policy makers, run meta-philosophical reflections about their discipline, academia, society, and much more. Anyone interested in hearing and contributing to discussion about science, society, philosophy of science — or any combination of these — is most welcome to our meetings.
For more information please contact Federica Russo (f.russo at uva.nl) or Lukas Verburgt (L.M.Verburgt at uva.nl>) or see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/.
The Logic TeaLocation: 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/.
The DIP (Discourse and Philosophy) ColloquiumLocation: ILLC Seminar Room F1.15, Science Park 107, 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/
Computational Linguistics SeminarLocation: usually room F1.15, Science Park 107, Amsterdam
Talks by external and occasionally internal speakers on Computational Linguistics and Natural Language Processing -- that is, on using computers or computational models to process and analyse natural language data.
For more information, see http://www.illc.uva.nl/LaCo/CLS/
The Colloquium on Mathematical LogicLocation: 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
Computational Social Choice SeminarLocation: 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).
Logic and Interactive RAtionality (LIRa)Location: Room F1.15, ILLC, 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. The current time slot is Thursdays 16:30 – 18:00.
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/
SMART Cognitive Science LecturesLocation: 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://smartcs.humanities.uva.nl/.
LogiCIC SeminarLocation: Room F1.15, ILLC, 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/.
The LeGO (Leerstoel Groepen Overleg) SeminarLocation: 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.dekker at uva.nl or m.i.crespo at uva.nl.
The LEGO homepage can be found at http://www.illc.uva.nl/LoLa/LeGO-Seminar/
COOL seminar for Logic StudentsLocation: Room varies, Science Park 904, Amsterdam
Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)Location: 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/.
Algebra|Coalgebra SeminarLocation: Room F1.15, ILLC, 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/
Cognition@ILLCLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. If you have some questions/suggestions please contact Jakub Szymanik at jakub.szymanik at gmail.com.
Theoretical Computer Science SeminarLocation: Science Park 904, Amsterdam
The Theoretical Computer Science seminar is a series of talks about theoretical computer science, focusing on topics related to algorithms, complexity, cryptography and quantum computing. Talks are organized in cooperation with the Algorithms and Complexity group at CWI. Events usually take place at CWI or at the ILLC.
For more information, contact Christian Schaffner (c.schaffner at uva.nl).
Music Cognition Reading GroupLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
The Music Cognition Reading Group is a monthly meeting where we discuss recent papers in the field of music cognition and occasionally have a guest speaker over. The meetings are open to anyone interested in music cognition.
For more information, see https://musicreadinggroup.wordpress.com/
Dutch Social Choice Colloquium
The Dutch Social Choice Colloquium will organise regular half-day meetings in Amsterdam, Maastricht, and Rotterdam on a wide variety of topics related to social choice theory, with local and international speakers from, amongst others, Philosophy, Political Science, Economics, Mathematics, Artificial Intelligence, and Computer Science. Everyone is welcome to attend. Please subscribe to the DSCC mailing list for announcements of individual metings.
For more information on the programme and the mailing list, please visit http://www.illc.uva.nl/DSCC/.
Cognitive Semantics and Quantities Reading Group
As part of the new project "Cognitive Semantics and Quantities", we will commence a bi-weekly reading group to discuss papers of interest. Topics include, but are not limited to, the semantics of quantifiers, numerical cognition, and the psychology of decision-making.
Our first meeting will be on 23 May 2017 @ 16:00, where we will discuss Katsos et al (2016) "Cross-linguistic patterns in the acquisition of quantifiers" (http://www.pnas.org/content/113/33/9244).
This will be our only ILLC-wide announcement; for future notices, see the information below.
Set Theory SeminarLocation: ILLC, Science Park 107, Amsterdam
The Set Theory Seminar is a series of talks on topics in set theory and related areas.
MLC (Meaning, Language and Cognition) seminarLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
The Meaning, Logic, and Cognition seminar is a lecture series by ILLC researchers, showcasing research relevant to the ILLC's Logic and Language group: formal semantics and pragmatics, philosophy of logic and language, and logical modeling of language-related human cognition.For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/.
Proof Theory Virtual SeminarLocation: Virtual
We are pleased to announce the Proof Theory Virtual Seminar, an online seminar series that presents talks by leading researchers from all areas of proof theory.For more information, see here or at https://www.proofsociety.org/proof-theory-seminar/.