Dear all,

Next Thursday, June 3rd, we have two events of interest to the LIRa audience. The first is the DIEP talk of Velimir Ilić, from 11:00 to 12:30. The second is our regular LIRa session with Guillermo Menéndez Turata, from 16:30 to 18:00. You can find the details for both events, as well as their zoom links, below. ----------------------------------------------------- Date and time: Thursday, June 3rd 2021, 11:00-12:30, Amsterdam time. Speaker: Velimir Ilić (Mathematical Institute of the Serbian Academy of Sciences and Arts) Title: An overview and characterization of generalized information measures

Abstract: The aim of this talk is to present a comprehensive classification of the main entropic forms introduced in the last fifty years within statistical physics and information theory and to review the fundamental questions about the meaning of information. I will particularly focus on axiomatic approaches to the characterization of various generalizations of the Shannon entropy, such as the Rényi, the Tsallis, the Sharma-Mittal, and the Sharma-Mittal-Taneja entropies, as well as the more general classes of pseudo-additive entropies with a well-defined mathematical and information theoretic structure. Finally, I will point out possible applications of these measures in communication theory, statistical inference and complex systems modeling.

Zoom link: https://uva-live.zoom.us/j/85608909905 -----------------------------------------------------

Speaker: Guillermo Menéndez Turata Date and Time: Thursday, June 3rd 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Uniform interpolation from cyclic proofs: the case of modal mu-calculus.

Abstract. Uniform interpolation was first established for the modal mu-calculus by D’Agostino and Hollenberg via a combination of semantic and syntactic methods. A natural question is whether a purely syntactical proof of this result, in the style of Pitt’s seminal work on uniform interpolation for intuitionistic logic, can be produced. One possible reason Pitt’s method has not been applied to the modal mu-calculus is that it requires a setting where uniform interpolation can be proved by induction on cut-free derivations in a finitary system. While it is feasible to design cut-free calculi for fixpoint modal logics, they are often infinitary, i.e., derivations may have infinite branches. In this talk we apply Pitt’s technique to the modal mu-calculus and show how to construct uniform interpolants from cyclic derivations in an annotated goal-oriented proof system introduced by Jungteerapanich and Stirling.

Recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024)

Hope to see you there!

The LIRa team