Dominik Wehr
(ILLC)
Type Theory as the Foundation of Mathematics

November 8th, 2019 at 18:30, in ILLC Seminar Room F1.15, Science Park 107, Amsterdam

Simon Vonlanthen
(ILLC)
Is there something wrong with Frege's theory of assertion? On Wittgenstein's criticism of Frege in the Tractatus

October 11th, 2019 at 19:30, in ILLC Seminar Room F1.15, Science Park 107, Amsterdam

Leo Lobski
(ILLC)
Spiders and flows in quantum computation

September 20th, 2019 at 18:30, in ILLC Seminar Room F1.15, Science Park 107, Amsterdam

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