Thomas Randriamahazaka
(ILLC)
What do I know? Circumstantialism and logical omniscience

May 31st, 2019 at 18:00, in F1.15

Angelica Hill
(ILLC)
An introduction to Event Calculus as a model for the semantics of tense in natural language

March 1st, 2019 at 18:00, in F1.15

Leo Lobski
(ILLC)
An Introduction to Graphical Linear Algebra (or how to do rigorous mathematics with wires and boxes)

February 15th, 2019 at 18:00, in F1.15

Jack Harding
(ILLC)
Diagnostic Classifiers for Language Models, or something like that.

February 1st, 2019 at 18:00, in F1.15

Sam Vincent Adam-Day
(ILLC)
Non-mathematical Content by Mathematical Means

November 9th, 2018 at 19:00, in F1.15

Davide Quadrellaro
(ILLC)
What is Logic? The Psychologismus-Streit and the Modern Reshaping of the Notion of Logic

October 26th, 2018 at 18:00, in F1.15

Wouter Posdijk
(ILLC)
Compositionality without Cognition

October 5th, 2018 at 18:00, in ILLC Seminar Room (F1.15)

Jelle Don
(ILLC)
Schrödinger's Hacker; the quantum threat explained (and resolved?)

May 25th, 2018 at 18:00, in F.15 ILLC Seminar Room

Sebastiaan Beschoor Plug
(University College Utrecht)
Making Friends through Logic

May 11th, 2018 at 18:00, in F1.15 ILLC seminar room

Anna Bellomo
(ILLC)
Two conceptions of domain expansion in mathematics

May 4th, 2018 at 18:00, in F1.15

Anna Bellomo
(ILLC)
Two conceptions of domain expansion in mathematics" Summary

April 5th, 2018 at 18:00, in F1.15

Anna Bellomo
(ILLC)
Two conceptions of domain expansion in mathematics

April 5th, 2018 at 18:00, in F1.15

Anna Bellomo
(ILLC)
Two conceptions of domain expansion in mathematics" Summary

April 5th, 2018 at 00:18, in F1.15

Ilaria Canavotto
(ILLC)
Where are norms in deontic logic? Here they are!

March 23rd, 2018 at 18:00, in F1.15

Bas Cornelissen
(ILLC)
Words adrift? An excursion into the cultural evolution of language.

February 16th, 2018 at 18:00, in F1.15

Leïla Bussière
(ILLC)
Come to the dark ages, we have logics!

December 15th, 2017 at 18:00, in F1.15, ILLC Seminar Room

Yvette Oortwijn
(ILLC)
Quarrels on Quantification: Revising Set Theory Again?

December 1st, 2017 at 18:00, in F1.15, ILLC Seminar Room

Grzegorz Lisowski and Max Rapp
(ILLC)
Is the Triviality of AGM a Serious Possibility?

November 17th, 2017 at 18:00, in F1.15, ILLC Seminar Room

Hana Möller Kalpak
(ILLC)
Unconcealing concealed questions

October 20th, 2017 at 18:00, in F1.15, ILLC Seminar Room

Weiwei Chen
(Sun Yat-sen University)
What can we expect from consensus decision-making?

September 22nd, 2017 at 18:00, in F1.15

Max van den Broek
(ILLC)
Paradoxes to Change Your Life

March 31st, 2017 at 13:30, in 3.20 Seminar Room

Silvan Hungerbühler and Haukur Páll Jónsson
(ILLC)
Sticks and Stones

March 17th, 2017 at 17:30, in F1.15

Jȩdrek Kołodziejski
(ILLC)
Computing the Uncomputable: hypercomputation in time loops

November 18th, 2016 at 17:30, in F1.15

Melina Mendoza
(ILLC, Amsterdam)
Who is Sherlock Holmes?

September 30th, 2016 at 18:30, in F1.15 seminar room

Natalia Philippova
(ILLC, Amsterdam)
Sex and Syntax (Talking about the effect of language on thought in a post-Sapir-and-Whorf world)

September 16th, 2016 at 18:30, in ILLC, F1.15

Levin Hornischer and Stella Moon
(ILLC)
Hamkins' proof that every function can be computable

May 26th, 2016 at 17:30, in Science Park 107, F1.15

Daniil Frumin and Guillaume Massas
(ILLC)
The one and only diagonal argument.

May 20th, 2016 at 17:30, in Science Park 107, F1.15

Bonan Zhao
(ILLC)
Paradoxes in Chinese Logic: Name, Category, and Argumentation

April 8th, 2016 at 18:00, in F1.15 (ILLC seminar room)

Bastiaan van der Weij
(ILLC)
Musical metre perception and predictive coding

March 11th, 2016 at 17:30, in F1.15 (ILLC Seminar Room)

Jonathan Sippel
(ILLC)
The Impossibility of Scientific Theories (and How we Know Things all the Same)

February 26th, 2016 at 17:30, in F1.15 (ILLC Seminar Room)

Lucy van Oostveen
(ILLC)
Computational models of emotion regulation

February 12th, 2016 at 17:30, in F1.15 (ILLC seminar room)

Bartosz WcisŁo
(University of Warsaw)
Measuring the Content of Truth

January 29th, 2016 at 17:30, in Seminar Room (F1.15)

Robert White
(ILLC/INRIA)
Retrieval and Verification of Higher Order Logic Proofs

December 4th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Omer Korat
(ILLC)
Challenges for a Theory of Plurality

November 27th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Paula Henk
(ILLC)
What We Know but Peano Arithmetic Doesn't - Modal Logics of Nonstandard Notions of Provability

November 13th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Maximilian Huber
(University of Geneva)
Could Pigs Fly?

October 30th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Esteban Landerreche Cardillo
(ILLC)
Almost Perfect Security for an Unconditionally Secure Communication

October 16th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Stella Moon
(ILLC)
Deflationism and Axiomatic Theories of Truth

October 2nd, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Suzanne van Wijk
(ILLC)
Coalition in Epistemic Planning

September 18th, 2015 at 18:00, in F1.15 ILLC seminar room

Asgeir Berg Matthiasson
(University of St Andrews)
Russell's conception of logic

September 4th, 2015 at 18:00, in F1.15 ILLC seminar room

Hugo Nobrega
(ILLC)
Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice

May 22nd, 2015 at 18:00, in F1.15 ILLC seminar room

Ugur Dogan
(Humboldt University of Berlin)
Foundations of Nonstandard Analysis

May 8th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Daniil Frumin
(ILLC)
Introduction to Coq proof assistant

April 24th, 2015 at 18:00, in F1.15 ILLC seminar room

Mathias Madsen
(ILLC)
Fear and Loathing in the History of Rationality

April 10th, 2015 at 18:00, in F1.15 ILLC seminar room

Michał Tomasz Godziszewski
(University of Warsaw)
Computational properties of undecidable sentences and concrete model theory

March 27th, 2015 at 17:30, in F1.15 ILLC seminar room

Richard Iniengo
(ILLC)
Great God in Boots: An Introduction to Gödel's Ontological Proof

March 13th, 2015 at 17:30, in ILLC Seminar Room (F1.15)

Pablo Oldaq
(ILLC)
A clear maze: An introduction to Spinoza's Ethics.

February 20th, 2015 at 17:30, in ILLC seminar room (F1.15)

Eileen Wagner
(ILLC)
What Is This Thing Called Love?

February 13th, 2015 at 18:00, in ILLC Seminar Room (F1.15)

Stephen Pastan
(ILLC)
On the Puzzle of Change

January 30th, 2015 at 17:30, in F1.15 ILLC seminar room

Tingxiang Zou
(ILLC)
An Invitation to Homotopy Type Theory

December 12th, 2014 at 18:00, in F1.15 ILLC seminar room

Aybüke Özgün
(LORIA, CNRS - Université de Lorraine)
Relational vs. Neighbourhood Semantics for Epistemic Logic

November 28th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Thomas Brochhagen
(ILLC)
Nominal Combinations, Compositionality, and Semantic Slack.

November 7th, 2014 at 18:00, in ILLC Seminar Room (F1.15)

Konstantin Genin
(Carnegie Mellon University)
Learning with Ockham: Simplicity in Inductive Inference

October 24th, 2014 at 18:00, in ILLC Seminar Room (F1.15)

Ana Lucia Vargas Sandoval
(ILLC)
Has Vaught’s Conjecture been solved?

September 25th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Pietro Pasotti
(ILLC)
Quantum Quacks: fraud and nonsense in healthcare culture(s)

September 12th, 2014 at 18:00, in ILLC Seminar Room (F1.15)

Nika Pona
(ILLC)
What is wrong with Marxist philosophy of mathematics?

May 16th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Julian Schlöder
(ILLC)
The Language of Mathematics

May 9th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Eileen Wagner
(ILLC)
Anything Goes? On the Normativity of Logic

April 11th, 2014 at 17:30, in ILLC Seminar room

Malvin Gattinger
(ILLC)
PDL probably has Craig Interpolation since 1981. Or: If Rumsfeld would have been a logician.

March 28th, 2014 at 18:00, in ILLC Seminar room

Vlasta Sikimic
(University of Belgrade)
On Purpose and Variations of Cut Elimination

March 14th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Ronald de Haan
(Vienna University of Technology)
Parameterized Complexity and Hard Logic Problems

February 28th, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Gijs Wijnholds
(ILLC)
Conversions between D and MCFG_wn: Logical characterizations of the Mildly Context-Sensitive Languages

February 21st, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Stefan Pliquett
(ILLC)
∀ and ∃: A study of Love, Logic and Desaster

January 31st, 2014 at 17:30, in ILLC Seminar Room (F1.15)

Sanne Kosterman and Babette Paping
(ILLC)
Secure Multiparty Computation

January 17th, 2014 at 18:00, in ILLC Seminar Room (F1.15)

Yuning Feng
(ILLC)
Delicacies without a recipe - Hilbert's Tenth Problem is unsolvable!

December 6th, 2013 at 17:30, in ILLC Seminar Room (F1.15)

Chris Mierzewski
(ILLC)
Bridging Bayesian Probability and AGM Revision via Stability Principles

November 22nd, 2013 at 17:30, in ILLC Seminar Room (F1.15)

Paula Chocron
(University of Buenos Aires)
Dealing with Multiple Theories: the Combination Problem in SMT Solving

November 8th, 2013 at 17:30, in ILLC Seminar Room (F1.15)

Johannes Emerich and Nikhil Maddirala
(ILLC)
Of Steel Mills and Ivory Towers: Thinking About the Future of Higher Education

October 25th, 2013 at 18:00, in ILLC Seminar Room (F1.15)

Mathias Winther Madsen
(ILLC)
Kelly Gambling and the Relevance of Information

October 11th, 2013 at 17:30, in ILLC Seminar Room (F1.15)

Ásgeir Berg Matthíasson
(ILLC / St. Andrews)
Are there true contradictions?: Paraconsistent logic and dialetheism

October 4th, 2013 at 17:30, in ILLC Seminar Room (F1.15)

Heleen Booy
(ILLC)
Philosophy in Primary Schools: Designing Teaching Materials

June 20th, 2013 at 17:30, in Science Park 904, Room B0.203

Alexander Block
(ILLC)
Kripke Models for First-Order Intuitionistic Logic

May 31st, 2013 at 17:30, in Science Park 107 F1.15

Sam van Gool
(RU Nijmegen and LIAFA Paris)
A Topological Proof of Gödel's Completeness Theorem for First-Order Logic

May 17th, 2013 at 17:30, in Science Park 107 F1.15

Hans Grathwohl
(ILLC)
The Computational Content of Classical Proofs

April 19th, 2013 at 17:30, in Science Park 107 F1.15

Giovanni Cinà
(ILLC)
Proof Theory in the Light of Categories

April 5th, 2013 at 17:30, in Science Park 107 F1.15

Riccardo Pinosio
(ILLC)
Some remarks on Boethius' Consolations of Philosophy

March 22nd, 2013 at 17:30, in Science Park 107 F1.15

Stefan Pliquett
(ILLC)
What’s Cool about Frege’s Logic?

March 8th, 2013 at 17:30, in Science Park 107 F1.15

Fatemeh Seifan
(ILLC)
Compactness Theorem: A Topological View

February 8th, 2013 at 17:30, in Science Park D1.113

Fleur Bouwer
(ILLC)
How Basic is Hearing a Beat?

January 25th, 2013 at 17:30, in Science Park D1.113

Nikhil Maddirala
(ILLC)
Reading Wittgenstein's Tractatus

November 30th, 2012 at 17:30, in Science Park D1.113

Martin Aher
(Uni Osnabrück)
Some Funny Cases of Implication

November 16th, 2012 at 17:30, in Science Park D1.113

Hugo Nobrega
(ILLC)
Characterizations by Nice Forbidding Sets

November 2nd, 2012 at 17:30, in Science Park D1.113

Tanmay Inamdar
(ILLC)
Horrors with and without the Axiom of Choice: With Particular Emphasis on a Proof of the Banach-Tarski Theorem

October 19th, 2012 at 17:30, in Science Park D1.113

Maja Jaakson
(ILLC)
What's a Theory to Do? On Classicality with the Purpose of Capturing

October 5th, 2012 at 17:30, in Science Park D1.113

Fenner Tanswell
(ILLC)
Second Philosophy, Pluralism and the Multiverse

September 21st, 2012 at 17:30, in Science Park D1.113