uva.nl

Institute for Logic, Language and Computation

News and Events: Upcoming Events

These pages provide information about recent developments at or relevant to the ILLC. 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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Headlines Upcoming Events

Upcoming Events

  • (New) 26 January 2021, BIAS project meeting, Prachi Solanki

    Date & Time: Tuesday 26 January 2021, 14:00-15:00
    Speaker: Prachi Solanki
    Title: Judgements of Social Groups
    Location: Zoom (contact Katrin for the link)

    Abstract:
    A stereotype is a generalization about a class of people but does not necessarily represent every individual with the group (McCauley, Stitt, & Segal, 1980). Category information (i.e., stereotype information) is often used to make probabilistic predictions about people within a particular group. For instance, a probabilistic judgement about Germans would be that, “Germans are more likely than other people to be efficient.” Here we are making a prediction about an individual’s personality (i.e., efficiency) based on their group membership (i.e., German). McCauley and Stitt (1978) suggest that people are accurately Bayesian in their judgements and tend to make probabilistic judgements about people’s personality based on stereotype information. The current project aims to replicate the original McCauley and Stitt (1978) work to test whether stereotype prediction from category information to personality adheres to Bayes’ rule.

    For more information, see https://bias-barometer.github.io/seminars_posts/judgement-of-social-groups/ or contact Katrin Schulz at .

  • 26 January 2021, The Utrecht Logic in Progress Series (TULIPS), Francesca Poggiolesi

    Date & Time: Tuesday 26 January 2021, 16:00-17:00
    Speaker: Francesca Poggiolesi (Paris 1, CNRS, IHPST)
    Title: Explanatory proofs (or grounding proofs): philosophical framework, core ideas and results
    Location: Online

    This talk will take place online in MS Teams, please contact the organizers for more information.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .

  • (Updated) 28 January 2021, Logic and Interactive Rationality (LIRa), Claudia Fernández-Fernández

    Date & Time: Thursday 28 January 2021, 16:30-18:30
    Speaker: Claudia Fernández-Fernández
    Title: Awareness in Logic and Epistemology
    Location: Online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-claudia-fernandez-fernandez/.

  • 28 January 2021, STiHAC Joint Meeting, Robert Paßmann

    Date & Time: Thursday 28 January 2021, 18:00
    Speaker: Robert Paßmann (Cambridge & Amsterdam)
    Title: A categorical model for Heyting arithmetic
    Location: Online via Zoom
    For more information, see http://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • 29 January 2021, Master of Logic defense, Daniël Louwrink

    Date & Time: Friday 29 January 2021, 13:00
    Title: A Separation Logic for Stacked Borrows
    Location: Online (Closed Session)
    Supervisor: Alban Ponse
    Mentor: Ronald de Wolf

  • (New) 29 January 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Dean McHugh

    Date & Time: Friday 29 January 2021, 18:00-19:30
    Speaker: Dean McHugh
    Title: Φ-Tea: Newcomb's Paradox
    Location: Online via Zoom
    For more information, see https://sites.google.com/view/phi-math/meetings.

  • 3 February 2021, Algebra|Coalgebra Seminar, Alexandra Silva

    Date & Time: Wednesday 3 February 2021, 16:00
    Speaker: Alexandra Silva (University College London)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • (New) 3 February 2021, Proof Theory Virtual Seminar, Sara Negri

    Date & Time: Wednesday 3 February 2021, 18:00-19:00
    Speaker: Sara Negri (Genova)
    Title: A proof-theoretic approach to formal epistemology
    Location: Online via Zoom
    For more information, see https://www.proofsociety.org/proof-theory-seminar/.

  • 4 February 2021, NWO Synergy '21

    Date & Time: Thursday 4 February 2021, 14:30-17:00
    Location: Online

    What is your position on Future Societies? At Synergy ’21 we will explore Future Societies from the perspective of the individual and the collective, moving through the development of new interactions and communities, to perspectives on the future of humanity in a posthuman society. Synergy ’21 will underscore the significance and relevance of scientific research and knowledge development that will affect our shared future.

    For more information, see https://www.nwo.nl/en/meetings/synergy-21 or contact Dr. R.P.W. Heinsbroek at .

  • (New) 4 February 2021, Logic and Interactive Rationality (LIRa), Sophia Knight

    Date & Time: Thursday 4 February 2021, 16:30-18:30
    Speaker: Sophia Knight
    Location: online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-sophia-knight/.

  • (New) 4 February 2021, STiHAC Joint Meeting, Luke Gardiner

    Date & Time: Thursday 4 February 2021, 18:00
    Speaker: Luke Gardiner (Cambridge)
    Title: Infinite exponent partition relations on the reals
    Location: Online via Zoom
    For more information, see http://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • (New) 5 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Robert van Rooij

    Date & Time: Friday 5 February 2021, 16:00-17:30
    Speaker: Robert van Rooij
    Location: Online, via Zoom
    For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35170/Robert-van-Rooij.

  • (New) 5 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group

    Date & Time: Friday 5 February 2021, 18:00-19:30
    Title: Gödel's Incompleteness Theorems, Free Will and Mathematical Thought, by Solomon Feferman
    Location: Online via Zoom
    For more information, see https://sites.google.com/view/phi-math/meetings.
  • CWI_75_jaar_logo_DEF_s.png

    (Updated) 11 February 2021, Celebration of CWI's 75th birthday

    Date & Time: Thursday 11 February 2021, 14:00-17:00
    Location: Zoom

    CWI is counting down to its 75th anniversary and kindly requests you to save the date: on 11 February 2021 we will celebrate our jubilee with a special online event.

    Preliminary programme:
    14.00 Opening
    14.10 Breakout sessions round 1: Daniel Dadush, Marten van Dijk, Benjamin Sanderse, Irene Viola
    14.40 Ton de Kok
    15.00 Break
    15.10 Breakout sessions round 2: Peter Bosman, Stacey Jeffery, Lisa Kohl, Hannes Muhleisen
    15.40 Jos Baeten
    16.00 Comedian Adam Fields
    16.35 Closing
    Chair of the day is Ans Hekkenberg.

    For more information, see https://www.cwi.nl/events/2021/online-celebration-of-cwis-diamond-jubilee or contact Danielle Kollerie at .

  • (New) 11 February 2021, Logic and Interactive Rationality (LIRa), Elise Perrotin

    Date & Time: Thursday 11 February 2021, 16:30-18:30
    Speaker: Elise Perrotin
    Location: Online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-elise-perrotin/.

  • (New) 11 February 2021, STiHAC Joint Meeting, Raiean Banerjee

    Date & Time: Thursday 11 February 2021, 18:00
    Speaker: Raiean Banerjee (Hamburg)
    Title: Regularity properties in iterations of length ℵ1
    Location: Online via Zoom
    For more information, see http://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • (New) 12 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Pieter Adriaans

    Date & Time: Friday 12 February 2021, 18:00-19:30
    Speaker: Pieter Adriaans
    Title: Φ-Tea IV: An Information Theoretical Perspective on the Separation of the classes P and NP
    Location: Online via Zoom
    For more information, see https://sites.google.com/view/phi-math/meetings.

  • 16 February 2021, EXPRESS/PhilMath Seminar, Greg Restall

    Date & Time: Tuesday 16 February 2021, 16:00-18:00
    Speaker: Greg Restall (Melbourne)
    Location: Online
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

  • (New) 17 February 2021, Proof Theory Virtual Seminar, Keita Yokoyama

    Date & Time: Wednesday 17 February 2021, 10:00-11:00
    Speaker: Keita Yokoyama (JAIST)
    Title: Forcing interpretation, conservation and proof size
    Location: Online via Zoom
    For more information, see https://www.proofsociety.org/proof-theory-seminar/.

  • 17 February 2021, Algebra|Coalgebra Seminar, Philip Kremer

    Date & Time: Wednesday 17 February 2021, 16:00-17:00
    Speaker: Philip Kremer (University of Toronto)
    Title: Strong Completeness in Topological Semantics
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see https://events.illc.uva.nl/alg-coalg or contact Jan Rooduijn at .

  • (New) 18 February 2021, Logic and Interactive Rationality (LIRa), Marija Slavkovik

    Date & Time: Thursday 18 February 2021, 16:30-18:30
    Speaker: Marija Slavkovik
    Location: Online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-marija-slavkovik/.

  • (New) 18 February 2021, STiHAC Joint Meeting, Robert Schütz

    Date & Time: Thursday 18 February 2021, 18:00
    Speaker: Robert Schütz (Amsterdam)
    Title: Multiverses with more than two modal logics of forcing
    Location: Online via Zoom
    For more information, see http://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • 25 February 2021, Logic and Interactive Rationality (LIRa), Sven Rosenkranz

    Date & Time: Thursday 25 February 2021, 16:30-18:30
    Speaker: Sven Rosenkranz
    Location: Online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-sven-rosenkranz/.

  • (New) 26 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Ciyang Qing

    Date & Time: Friday 26 February 2021, 16:00-17:30
    Speaker: Ciyang Qing
    Location: Online, via Zoom
    For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35172/Ciyang-Qing.

  • (New) 26 February 2021, PhD defense, Hadi Hashemi

    Date & Time: Friday 26 February 2021, 16:00
    Title: Modeling Users Interacting with Smart Devices
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Jaap Kamps and Wim Hupperetz

  • 3 March 2021, Algebra|Coalgebra Seminar, Daniyar Shamkanov

    Date & Time: Wednesday 3 March 2021, 16:00
    Speaker: Daniyar Shamkanov (Steklov Mathematical Institute)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • 16 March 2021, EXPRESS/PhilMath Seminar, Justin Clarke-Doane

    Date & Time: Tuesday 16 March 2021, 12:00-14:00
    Speaker: Justin Clarke-Doane (Columbia)
    Title: Russell’s Regressive Method in Mathematics and Philosophy
    Location: Online
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

  • (New) 17 March 2021, Proof Theory Virtual Seminar, Andreas Weiermann

    Date & Time: Wednesday 17 March 2021, 10:00-11:00
    Speaker: Andreas Weiermann (Ghent)
    Title: Notation systems for natural numbers and Goodstein sequences
    Location: Online via Zoom
    For more information, see https://www.proofsociety.org/proof-theory-seminar/.

  • 30 March 2021, EXPRESS/PhilMath Seminar, Lavinia Picollo

    Date & Time: Tuesday 30 March 2021, 10:00-12:00
    Speaker: Lavinia Picollo (Singapore)
    Location: Online
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

  • 31 March 2021, Algebra|Coalgebra Seminar, Corina Cirstea

    Date & Time: Wednesday 31 March 2021, 16:00
    Speaker: Corina Cirstea (University of Southampton)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • (New) 9 April 2021, DIP Colloquium, Cailin O'Connor

    Date & Time: Friday 9 April 2021, 16:00-17:30
    Speaker: Cailin O'Connor (UC Irvine)
    Location: Online, via Zoom
    For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35173/Cailin-O-Connor-UC-Irvine.

  • 14 April 2021, Algebra|Coalgebra Seminar, Matteo Mio

    Date & Time: Wednesday 14 April 2021, 16:00
    Speaker: Matteo Mio (ENS-Lyon)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • 20 April 2021, EXPRESS/PhilMath Seminar, Rosalie Iemhoff

    Date & Time: Tuesday 20 April 2021, 16:00-18:00
    Speaker: Rosalie Iemhoff (Utrecht)
    Title: Proof-Theoretic Formalization
    Location: Online
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

  • 28 April 2021, Algebra|Coalgebra Seminar, Jurriaan Rot

    Date & Time: Wednesday 28 April 2021, 16:00
    Speaker: Jurriaan Rot (Radboud University)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • 18 May 2021, EXPRESS/PhilMath Seminar, Seth Yalcin

    Date & Time: Tuesday 18 May 2021, 18:00-20:00
    Speaker: Seth Yalcin (California)
    Location: Online
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

  • (New) 21 May 2021, DIP Colloquium, Simon Kirby

    Date & Time: Friday 21 May 2021, 16:00-17:30
    Speaker: Simon Kirby (Edinburgh)
    Location: Online, via Zoom
    For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35171/Simon-Kirby-Edinburgh.

  • 26 May 2021, Algebra|Coalgebra Seminar, Luigi Santocanale

    Date & Time: Wednesday 26 May 2021, 16:00
    Speaker: Luigi Santocanale (Aix-Marseille Université)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    For more information, see http://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

  • 14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

    Date: 14 - 24 June 2021

    From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

    For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-summer-school-2021.html.

  • 2 - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), Utrecht, The Netherlands

    Date: 2 - 13 August 2021
    Location: Utrecht, The Netherlands
    Deadline: Saturday 1 June 2019

    Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.

    The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.

    The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 2-13 august 2021.

    For more information, see https://www.esslli.eu or contact .