ILLC-LIRa November 2024

illc-lira@list.uva.nl

1 participants
9 discussions

LIRa session: Balder ten Cate (Thursday, 5 December 16:30)
by LIRa Seminar 29 Nov '24

29 Nov '24

Dear all, We will have our next LIRa session on Thursday, 5 December 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Balder ten Cate Date and Time: Thursday, December 5th 2024, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Preservation theorems for algebras of binary relations Abstract. Several areas of computer science (databases, knowledge representation, program verification, reasoning about knowledge and actions) feature logical languages in which one can construct complex binary relations from basic ones, through a certain set of operations (e.g., composition, intersection, inverse, ...). Examples include Kleene algebra with tests, propositional dynamic logics, Boolean modal logics, various query languages for graph databases, Tarksi's relation algebra. Underlying each of these is a "binary relation algebra" , i.e., an algebraic signature consisting of finitely many operations on binary relations. The specific set of operators, in each of the aforementioned languages, is typically chosen as a compromise between computational complexity and expressive power and/or may be based on a requirement to respect certain natural structural invariances (e.g., bisimulation). Preservation theorems link semantics properties of formulas to their syntactic shape. The most famous example is the Łoś-Tarski theorem, which states that a first-order formula is preserved under induced substructures (i.e., remains true if one passes from a structure to an induced substructure) if and only if it can be written without using any existential quantifiers (assuming negation normal form). Another famous example is the Van Benthem characterization theorem, which states that a first-order formula φ(x) is preserved by bisimulations if and only if it can be written as a modal formula. In this talk, we will review some recent results (both positive and negative) about the existence of preservation theorems for algebras of binary relations. (Algebraically, the results I will present can be equivalently viewed as addressing the question whether certain clones admit a finite set of generators). Specifically, I will discuss results from a joint paper with Bart Bogaerts, Brett McLean, and Jan van den Bussche (LMCS 2024) as well as from a joint paper with Tobias Kappé (POPL 2025). Hope to see you there! The LIRa team

1 0

Related event: Annual VvL Seminar 2024 (on 13 December, in Eindhoven)
by LIRa Seminar 29 Nov '24

29 Nov '24

Dear all, On 13 December the VvL will hold an in-person joint seminar organized by Eindhoven University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. Time and date: Friday, December 13th 2024, 13:30-18:00 For all information, please refer to the VvL website: https://verenigingvoorlogica.nl/en/Activities/VvL-Joint-Seminar Hope to see you there! The LIRa team

1 0

LIRa session: Fernando Raymundo Velázquez-Quesada (tomorrow, Thursday, 28 November 16:30)
by LIRa Seminar 27 Nov '24

27 Nov '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 28 November 16:30. To attend, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Fernando Raymundo Velázquez-Quesada (University of Bergen) Date and Time: Thursday, November 28th 2024, 16:30-18:00 Venue: Online only. Title: On distributed beliefs Abstract. Within Epistemic Logic, the distributed knowledge of a group is typically defined as what is the case in all the worlds reachable by the intersection of the group's members' indistinguishability relations. Although this definition does not match the original intuitive idea (the logical consequences of the union of the individual member's knowledge), it still has a 'nice' behaviour. In particular, since intersection preserves the standard relational properties for knowledge (reflexivity, transitivity, Euclidicity), distributed knowledge is truthful and introspective (when the agents' individual knowledge is), and so will be the knowledge of the agents after a 'matching' communication action. Still, this strategy does not work properly when one switches to a KD45 (serial, transitive, Euclidean) notion of belief. Intersections do not preserve seriality, so the distributed beliefs of consistent agents might not be consistent, and consistent agents might become inconsistent after sharing their beliefs. The talk discusses an approach that uses maximally consistent sets of agents to deal with this issue. This is used, first, to define two forms of distributed belief that 'behave better' w.r.t inconsistencies, and then, to define a form of communication that preserves the properties of beliefs. The talk is based on ongoing work with John Lindqvist and Thomas Ågotnes. Hope to see you there! The LIRa team

1 0

Two events next week: PhD defense Daira Pinto Prieto with workshop (Monday, 25 November) + LIra session with Fernando Raymundo Velázquez-Quesada (Thursday, 28 November)
by LIRa Seminar 22 Nov '24

22 Nov '24

Dear all, We will have two events next week. (1) Monday: PhD defense and workshop In celebration of Daira Pinto Prieto's PhD defense, there is a workshop focused on aggregation methods, uncertainty, and learning. The workshop will begin at 9 AM at the Amsterdam University Library and will be followed by Daira's defense of her thesis, Combining Uncertain Evidence: Logic and Complexity, at 2 PM in the Agnietenkapel. Date: Monday, November 25th 2024, 9:00-16:00 More information about the workshop and registration: https://sites.google.com/view/dpp-phd-defense-workshop More information about the defense: https://www.uva.nl/en/content/events/2024/11/combining-uncertain-evidence-l… (2) Thursday: LIRa session To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Fernando Raymundo Velázquez-Quesada (University of Bergen) Date and Time: Thursday, November 28th 2024, 16:30-18:00 Venue: Online only. Title: On distributed beliefs Abstract. Within Epistemic Logic, the distributed knowledge of a group is typically defined as what is the case in all the worlds reachable by the intersection of the group's members' indistinguishability relations. Although this definition does not match the original intuitive idea (the logical consequences of the union of the individual member's knowledge), it still has a 'nice' behaviour. In particular, since intersection preserves the standard relational properties for knowledge (reflexivity, transitivity, Euclidicity), distributed knowledge is truthful and introspective (when the agents' individual knowledge is), and so will be the knowledge of the agents after a 'matching' communication action. Still, this strategy does not work properly when one switches to a KD45 (serial, transitive, Euclidean) notion of belief. Intersections do not preserve seriality, so the distributed beliefs of consistent agents might not be consistent, and consistent agents might become inconsistent after sharing their beliefs. The talk discusses an approach that uses maximally consistent sets of agents to deal with this issue. This is used, first, to define two forms of distributed belief that 'behave better' w.r.t inconsistencies, and then, to define a form of communication that preserves the properties of beliefs. The talk is based on ongoing work with John Lindqvist and Thomas Ågotnes. Hope to see you there! The LIRa team

1 0

Please delete and ignore the earlier spam email (Undelivered Mail Returned to Sender)
by LIRa Seminar 20 Nov '24

20 Nov '24

Dear all, Unfortunately a spam email slipped through and was accidentally distributed via the LIRa mailing list just now. Its subject contained "Undelivered Mail Returned to Sender" and its date is last Friday, even though it was only distributed just now. Please DELETE and ignore the message. Our mailing list is manually moderated and this should not have happened. I made a mistake and let it through when sending out the announcement for the talk tomorrow. Apologies for any irritation this may have caused. I will do my best to not repeat this mistake in the future. best wishes, Malvin from the LIRa team

1 0

LIRa session: Johan van Benthem (tomorrow, Thursday, 21 November 16:30)
by LIRa Seminar 20 Nov '24

20 Nov '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 21 November 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Johan van Benthem (ILLC, University of Amsterdam & Department of Philosophy, Stanford University) Date and Time: Thursday, November 21st 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Connecting Different Logics: Translation, Reduction, Tracking Abstract. This talk is not about proposing new logical systems, but about connecting or even 'identifying' existing logical systems. Members of the cornucopia of modern logical systems look very different qua syntax and semantics, but how much unity do we find when we look ‘under the hood’ of their engines? I discuss this general issue in a variety of aspects: telling examples and their uses, general theory of translations, open problems, and philosophical repercussions. Hope to see you there! The LIRa team

1 0

{Spam?} Undelivered Mail Returned to Sender
by LIRa Seminar 15 Nov '24

15 Nov '24

This is the mail system at host mx1.center.tottori-u.ac.jp. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to postmaster. If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system <kinnik.baster(a)gmail.com> (expanded from <matsumotokazuya(a)tottori-u.ac.jp>): host gmail-smtp-in.l.google.com[74.125.203.26] said: 550-5.7.26 Unauthenticated email from uva.nl is not accepted due to domain's 550-5.7.26 DMARC policy. Please contact the administrator of uva.nl domain if 550-5.7.26 this was a legitimate mail. To learn about the DMARC initiative, go 550-5.7.26 to 550 5.7.26 https://support.google.com/mail/?p=DmarcRejection d2e1a72fcca58-7247712e420si2023576b3a.83 - gsmtp (in reply to end of DATA command)

1 0

LIRa session: Johan van Benthem (Thursday, 21 November 16:30)
by LIRa Seminar 15 Nov '24

15 Nov '24

Dear all, We will have our next LIRa session on Thursday, 21 November 16:30. To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Johan van Benthem (ILLC, University of Amsterdam & Department of Philosophy, Stanford University) Date and Time: Thursday, November 21st 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Connecting Different Logics: Translation, Reduction, Tracking Abstract. This talk is not about proposing new logical systems, but about connecting or even 'identifying' existing logical systems. Members of the cornucopia of modern logical systems look very different qua syntax and semantics, but how much unity do we find when we look ‘under the hood’ of their engines? I discuss this general issue in a variety of aspects: telling examples and their uses, general theory of translations, open problems, and philosophical repercussions. Hope to see you there! The LIRa team

1 0

LIRa-related vacancy: Two Postdoctoral Research Positions in Human(e) AI
by LIRa Seminar 11 Nov '24

11 Nov '24

Dear all, We would like to draw your attention to the vacancy below. best wishes, The LIRa team Two Postdoctoral Research Positions in Human(e) AI The Research Priority Area in Human(e) AI at the University of Amsterdam currently has two vacant Postdoctoral Researcher positions. The ideal candidates are active in any relevant area that can complement our current strengths within any of the areas in a) AI and Philosophy, b) AI and Law and c) AI and Communication Science, d) AI and Logic. Within AI and Philosophy, or AI and Logic, we encourage applications from candidates interested in developing advanced computational methods for studying culture and society. We welcome research on surveying and analysing the application of these methods, its limits and ethical issues. We similarly welcome work on the design of new formal tools e.g. in relation to social network analysis, opinion-formation, bias-detection, fairness, trust or research that can bridge methods used in symbolic and sub-symbolic AI. Within AI and Law, we are particularly interested in work on the emerging European digital framework, including the AI Act, the Digital Services Act, Digital Markets Act or the European Media Freedom Act, and invite critical legal research on the operationalisation of these frameworks, and the extent to which they tackle the growing proliferation of (generative) AI in the broader media sector. The ability to work conceptually and in an interdisciplinary cross-faculty team will be essential. Within AI and Communication Science we are interested in any work on how citizens interact with AI systems in the realms of media and politics. This can focus, for example, on effects of AI in journalism, effects of AI in disinformation strategies or the effects of AI in political campaigns. Interest in and ability to work with computational social science and communication methods as part of an inter-disciplinary team is essential. We accept online applications via the link below until 13 December 2024: https://vacatures.uva.nl/UvA/job/Two-Postdoctoral-Research-Positions-in-Hum…

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa November 2024