Cool Logic

Past Talks

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

Levin Hornischer (ILLC) Ideas in Algorithmic Randomness

October 6th, 2017 at 18:00, in F1.15

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

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

Jonathan Pesetsky (ILLC) The present tense is fake

September 8th, 2017 at 18:00, in F1.15

Victor Delage (ILLC) The Dark Side of the Foundations

May 12th, 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

Dean McHugh (ILLC) Paradoxical Predicates

December 2nd, 2016 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

Robert Paßmann (ILLC) One Axiom to Rule Them All

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

Robert White (ILLC) Automated Reasoning in the Wild

October 14th, 2016 at 18: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

Philip Schulz (ILLC) A Naïve View on Language

May 3rd, 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

Sumit Sourabh (ILLC) Duality Theory in Logic

December 14th, 2012 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