ILLC-LIRa November 2021

illc-lira@list.uva.nl

2 participants
8 discussions

LIRa-related event: Humane Conversations with Iyad Rahwan
by LIRa Seminar 29 Nov '21

29 Nov '21

Dear all, The following virtual event might be of interest to the LIRa audience: This Thursday, Dec 2, 14.00-15.00 (Amsterdam time), Anthia Solaki and Chris Starke will be discussing "How to tame an evil AI" with Iyad Rahwan, the director of the Center for Humans and Machines of the Max Planck Institute for Human Development. If you are interested in attending the zoom meeting, please, register here: https://humane-ai.nl/events_report/9-humane-conversations-how-to-tame-an-ev… The LIRa team

1 0

LIRa Session: Catholijn Jonker (tomorrow, Thursday, 25 November 16:30)
by LIRa Seminar 24 Nov '21

24 Nov '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 25 November 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Catholijn Jonker (Delft University of Technology) Date and Time: Thursday, November 25th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework Abstract. I will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning. I don’t know if I can get the old DESIRE system running again for you, but I will give it a try. Otherwise I will explain the concept to you in detail. Showing how you can use meta-level reasoning for Diagnostic Reasoning and for reasoning about the Closed World Assumption in a different way. I will reflect on this to show how this reasoning could help in modern day I to have systems realise what it is that they don’t know about. Hope to see you there! The LIRa team

1 0

LIRa Session: Sebastian De Haro (tomorrow, Thursday, 18 November 17:00)
by LIRa Seminar 17 Nov '21

17 Nov '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 18 November 17:00. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 17:00-18:30, Amsterdam time. (Please NOTE that we start half an hour later than usual!) Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

Correction: LIRa Session with Sebastian De Haro on Thursday at 17:00 (half an hour later than usual)
by LIRa Seminar 16 Nov '21

16 Nov '21

Dear all, Please note that the time mentioned in our previous announcement is no longer correct. We will have our next LIRa session on Thursday, 18 November 17:00. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 17:00-18:30, (half an hour later than usual!) Amsterdam time. Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

LIRa Session: Sebastian De Haro (Thursday, 18 November 16:30)
by LIRa Seminar 12 Nov '21

12 Nov '21

Dear all, We will have our next LIRa session on Thursday, 18 November 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

Joint LIRa—A|C Session: Yanjing Wang (tomorrow, Thursday, 11 November 15:30 - NOTE: one hour earlier than usual!)
by LIRa Seminar 10 Nov '21

10 Nov '21

Dear all, We will have a joint LIRa—A|C session tomorrow, on Thursday, 11 November 15:30. NOTE that we start one hour earlier than usual! Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Yanjing Wang (Peking University) Date and Time: Thursday, November 11th 2021, 15:30-17:00, Amsterdam time. Venue: online. Title: Intuitionistic logic as an epistemic logic of knowing how Abstract. In this talk, we propose a general method to "decode" (propositional) intuitionistic logic and various intermediate logics as (dynamic) epistemic logics of knowing how. Our approach is inspired by some scattered ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic in the past 100 years, which echoed Heyting's initial (but forgotten?) conception about intuitionistic truth as "knowing how to prove". The core technical idea is to use a bundled know-how modality to unify the formalized Brouwer–Heyting–Kolmogorov interpretation and the Kripke semantics of intuitionistic logic. As we will see, this approach can reveal the hidden complicated dynamic-epistemic information behind the innocent-looking connectives but makes intuitionistic logic intuitive. With the natural but precise epistemic readings of intuitionistic formulas, various technical results about intuitionistic logic and intermediate logics become transparent, if not trivial. If time permits, we show how to decode inquisitive logic and some version of dependence logic as epistemic logics in order to demonstrate the power of this general approach, which could also be a meeting point of various research themes at ILLC. (The talk is partly based on the joint work with Haoyu Wang and Yunsong Wang) Hope to see you there! The LIRa team

1 0

Joint LIRa—A|C Session: Yanjing Wang (Thursday, 11 November 15:30 - NOTE the unusual time one hour earlier!)
by LIRa Seminar 05 Nov '21

05 Nov '21

Dear all, We will have our next LIRa session together with the A|C seminar on Thursday, 11 November 15:30. NOTE: Instead of our usual time slot we will start one hour earlier! Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Yanjing Wang (Peking University) Date and Time: Thursday, November 11th 2021, 15:30-17:00, Amsterdam time. Venue: online. Title: Intuitionistic logic as an epistemic logic of knowing how Abstract. In this talk, we propose a general method to "decode" (propositional) intuitionistic logic and various intermediate logics as (dynamic) epistemic logics of knowing how. Our approach is inspired by some scattered ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic in the past 100 years, which echoed Heyting's initial (but forgotten?) conception about intuitionistic truth as "knowing how to prove". The core technical idea is to use a bundled know-how modality to unify the formalized Brouwer–Heyting–Kolmogorov interpretation and the Kripke semantics of intuitionistic logic. As we will see, this approach can reveal the hidden complicated dynamic-epistemic information behind the innocent-looking connectives but makes intuitionistic logic intuitive. With the natural but precise epistemic readings of intuitionistic formulas, various technical results about intuitionistic logic and intermediate logics become transparent, if not trivial. If time permits, we show how to decode inquisitive logic and some version of dependence logic as epistemic logics in order to demonstrate the power of this general approach, which could also be a meeting point of various research themes at ILLC. (The talk is partly based on the joint work with Haoyu Wang and Yunsong Wang) Hope to see you there! The LIRa team

1 0

LIRa Session: Giuseppe Primiero (tomorrow, Thursday, 4 November 16:30)
by LIRa Seminar 03 Nov '21

03 Nov '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 4 November 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Giuseppe Primiero Date and Time: Thursday, November 4th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: A Typed Natural Deduction System to verify Trustworthiness of Probabilistic Computations (joint work with Fabio Aurelio D'Asaro) Abstract. We present TPTND, a typed natural deduction calculus to verify trustworthiness of probabilistic programs as a safety property. To set the stage, we provide a simple case-study in a machine-learning setting to illustrate the need for such a system and its foreseeable use. For the formal presentation, we start with constructing distributions of aleatoric variables through formation rules, provide typing rules for deterministic programs under such distributions, and generalize to sampling under multiple instances of such programs to evaluate output frequency. We then formulate introduction and elimination rules for an operator to verify the trustworthiness of a program as an evaluation of its possibly unknown or opaque distribution against its fair and transparent counterpart. To conclude, we illustrate how standard meta-theoretical results of output preservation and progress for this calculus are interpreted to formulate a safety property. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa November 2021