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.

The calender view is not available on the mobile version of the website. You can view this information as a list.

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

<< November 2021 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Click on an event to view details.

2 November 2021, EXPRESS / PhilMath Seminar, Corine Besson

Date & Time: Tuesday 2 November 2021, 16:00-18:00
Speaker: Corine Besson
Title: Carroll’s Regress, Guidance and Explicit Representation
Location: Online via Zoom

Abstract: What is the nature of one’s justification to use a logical principle such as Modus Ponens in reasoning? It is widely agreed amongst epistemologists of logic that such justification cannot be internalist. One key reason offered for this view is that internalist accounts of justification are susceptible to Carroll-style regresses. In this talk, I examine this claim and argue that internalist accounts of justification are not open to such regresses. I further argue that the sorts of externalist accounts of the justification of logical principles typically put forward as alternatives are inadequate.

For more information, see https://inferentialexpressivism.com/seminar/ or contact Leïla Bussière at .

3 November 2021, STiHAC Joint Meeting, Raiean Banerjee

Date & Time: Wednesday 3 November 2021, 11:00-13:00
Speaker: Raiean Banerjee (Hamburg)
Title: Laver forcing does not add Silver reals, Part 1: the one-step case.
Location: Online via Zoom

3 November 2021, Algebra|Coalgebra Seminar, Revantha Ramanayake

Date & Time: Wednesday 3 November 2021, 16:00-17:00
Speaker: Revantha Ramanayake (University of Groningen)
Title: Decidability and complexity for substructural logics with weakening or contraction
Location: Online (Zoom Meeting ID 844-1353-6364)
For more information, see https://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

3 November 2021, Proof Theory Virtual Seminar, Wilfried Sieg

Date & Time: Wednesday 3 November 2021, 18:00-19:00
Speaker: Wilfried Sieg (Carnegie Mellon)
Location: Online via Zoom

4 November 2021, Logic and Interactive Rationality (LIRa), Giuseppe Primiero

Date & Time: Thursday 4 November 2021, 16:30-18:00
Speaker: Giuseppe Primiero
Title: A Typed Natural Deduction System to verify Trustworthiness of Probabilistic Computations
Location: Online

(joint work with Fabio Aurelio D’Asaro)

5 November 2021, Meaning, Logic, and Cognition (MLC) Seminar, Dean McHugh

Date & Time: Friday 5 November 2021, 16:00-17:30
Speaker: Dean McHugh
Title: Exhaustification in the semantics of cause and because
Location: Online, via Zoom

9 November 2021, The Utrecht Logic in Progress Series (TULIPS), Zoé Christoff

Date & Time: Tuesday 9 November 2021, 16:00-17:15
Speaker: Zoé Christoff (Groningen)
Title: Priority Merge and Intersection: from group attitudes to collective truth-tracking
Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06, Utrecht University)

This talk will also be broadcast on Microsoft Teams. Contact the organizer for details.

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

11 November 2021, Joint LIRa-A|C Session, Yanjing Wang

Date & Time: Thursday 11 November 2021, 15:30-17:00
Speaker: Yanjing Wang (Peking University)
Title: Intuitionistic logic as an epistemic logic of knowing how
Location: Online

11 November 2021, Science communication workshop

Date & Time: Thursday 11 November 2021, 15:30-17:00
Location: Science Park, Amsterdam
Target audience: Scientific staff of all levels
Costs: Free

Do you want to communicate about your research to non-scientists, but are you unaware of the options to reach out to a broader audience? What type of help does the UvA offer, and what can you do yourself? These are the topics we’ll explore in this workshop on the basics of science communication.

12 November 2021, Cross-Alps Logic Seminar, Sandra Müller

Date & Time: Friday 12 November 2021, 16:00-17:00
Speaker: Sandra Müller (Vienna)
Title: Large Cardinals and Determinacy
Location: Virtual

We are happy to announce the 'Cross-Alps Logic Seminars', a series of talks jointly organized by the logic groups of Genoa, Lausanne, Turin and Udine. We are going to meet every Friday at 16.00 from November 5th to December 17th. The seminars are going to be varied, with topics from all areas of logic, and will be held by international guests and members of our groups. All seminars can be followed remotely on the WebEx platform.

12 November 2021, Cool Logic, Tibo Rushbrooke

Date & Time: Friday 12 November 2021, 18:00-20:00
Speaker: Tibo Rushbrooke
Title: A Meaning-Relative Logical Consequence Relation
Location: Room D1.111, Science Park 904, Amsterdam

In his seminal 1936 paper "On the Concept of Logical Consequence", Tarski provides a notion of logical consequence which has become standard in analytic philosophy today. Tarski argues that logical consequence is independent of the meanings of non-logical terms, on the grounds that a logical inference cannot rely on any empirical knowledge of the objects referred to. Accordingly, he defines a logical consequence relation which is insensitive to the meanings of the non-logical vocabulary. In this talk, I will closely scrutinise Tarski’s original reasoning. I will then give an alternative notion of logical consequence in natural language, which is entirely sensitive to the meanings of the terms involved. I argue that the alternative notion is both interesting and fruitful, in that it captures certain inferences not reckoned as ‘logical’ by the traditional notion, thus broadening the scope of logic.

For more information, see http://events.illc.uva.nl/coollogic or contact Tibo Rushbrooke, Vasily Romanovsky at .

17 November 2021, Proof Theory Virtual Seminar, Alexis Saurin

Date & Time: Wednesday 17 November 2021, 10:00-11:00
Speaker: Alexis Saurin
Location: Online via Zoom

17 November 2021, STiHAC Joint Meeting, Raiean Banerjee

Date & Time: Wednesday 17 November 2021, 11:00-13:00
Speaker: Raiean Banerjee (Hamburg)
Title: Laver forcing does not add Silver reals, Part 2: the iteration case.
Location: Online via Zoom
Big_Meetup_Q.A_How_to_build_the_Future_Quantum_Work.png

18 November 2021, the Big Meetup, Start Up Village, Amsterdam Science Park

Date & Time: Thursday 18 November 2021, 15:00-17:00
Title: How To Build The Future Quantum Workforce?
Location: Start Up Village, Amsterdam Science Park

Two times a year Quantum.Amsterdam organises the Big Meetup. This time

four speakers will give special attention to Quantum Education. Each

speaker with his or her own expertise, varying from high school education,

towards MSc programs and courses for business, will give answer to the

question: "How to build the Future Quantum Workforce?"

Speakers:
- Jacob Sherson, Professor (Aarhus University / EU Quantum Flagship)
- Miriam Blaauboer, Associate Professor (Delft University of Technology)
- Koen Groenland, Quantum Innovation Officer (QuSoft / Quantum.Amsterdam)
- Henk Buisman, High school liaison Physics & Astronomy (Leiden University)

18 November 2021, Logic and Interactive Rationality (LIRa), Sebastian De Haro

Date & Time: Thursday 18 November 2021, 17:00-18:30
Speaker: Sebastian De Haro
Title: Visualization and Understanding in Physics
Location: Online

19 November 2021, STiHAC Joint Meeting, Robert Paßmann

Date & Time: Friday 19 November 2021, 11:00-13:00
Speaker: Robert Paßmann (Amsterdam)
Title: On the logic of CZF
Location: Online via Zoom

19 November 2021, Meaning, Logic, and Cognition (MLC) Seminar, Tom Roberts

Date & Time: Friday 19 November 2021, 16:00-17:30
Speaker: Tom Roberts
Title: Parentheticality and the justification of speech acts
Location: https://uva-live.zoom.us/j/81225439983

22 November 2021, Nordic Online Logic Seminar, Sara L. Uckelman

Date & Time: Monday 22 November 2021, 17:00-18:30
Speaker: Sara L. Uckelman
Title: John Eliot’s Logick Primer: A bilingual English-Wôpanâaak logic textbook
Location: Zoom

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

23 November 2021, The Utrecht Logic in Progress Series (TULIPS), Natasha Alechina

Date & Time: Tuesday 23 November 2021, 16:00-17:00
Speaker: Natasha Alechina (Utrecht)
Title: Responsibility in multi agent teams
Location: Online

This talk is on MS Teams, please contact the organizer for details.

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

24 November 2021, Algebra|Coalgebra Seminar, Rajeev Gore

Date & Time: Wednesday 24 November 2021, 10:00-11:00
Speaker: Rajeev Gore (Australian National University, Australia)
Title: Modular Synthesis of Certifying STV Counting Programs
Location: Online (Zoom)
For more information, see https://events.illc.uva.nl/alg-coalg/ or contact Tobias Kappé at .

25 November 2021, Workshop on Social Choice

Date & Time: Thursday 25 November 2021, 14:00-17:45
Location: Belle van Zuylenzaal, Singel 425

To mark the occasion of Sirin Botan's PhD defense, we are organising a one-day workshop in the centre of Amsterdam.

For more information, see https://staff.science.uva.nl/u.endriss/workshop-2021/ or contact Sirin Botan at .

25 November 2021, Logic and Interactive Rationality (LIRa), Catholijn Jonker

Date & Time: Thursday 25 November 2021, 16:30-18:00
Speaker: Catholijn Jonker
Title: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework
Location: Online

26 November 2021, Cool Logic, Vasily Romanovskiy

Date & Time: Friday 26 November 2021, 17:00-18:30
Speaker: Vasily Romanovskiy
Title: Ramsey's Representation Theorem for degrees of belief
Location: Room D1.116, Science Park 904, Amsterdam

In his pioneering ‘Truth and Probability’ (1931), Frank Ramsey sets out an influential account of the nature, measurement, and norms of partial belief. The centrepiece of this work is a representation theorem that allows Ramsey to construct a unique probability function representing an agent’s subjective degrees of confidence. In many ways, this marks the birth of decision theory as a field and the birth of the subjective interpretation of probability. In this expository talk we will examine the philosophical background underlying Ramsey’s goals in this work, we will re-construct the main formal moves Ramsey makes in proving his representation theorem and finally, we will criticise some of the philosophically contentious assumptions that permeate throughout ‘Truth and Probability’ (1931). Taking a broader perspective, representation theorems are the underbelly of much work in theoretical economics, the underbelly behind claims like ‘humans are rational’. This talk will give a first-hand look at (just) one such representation theorem, but the illustrative purposes this will serve will hopefully be felt by anyone who is a slave of some defunct economist. Which, if some are to believed, includes all of us.

For more information, see http://events.illc.uva.nl/coollogic/ or contact Vasily Romanovskiy, Tibo Rushbrooke at .