EVENT

Talk on "On Interaction, Efficiency, and Reversibility" by Ugo Dal Lago (University of Bologna)

We are pleased to inform you about the upcoming seminar by Ugo Dal Lago (University of Bologna) titled:"On Interaction, Efficiency, and Reversibility" Everyone interested is cordially invited to attend!

Title:

On Interaction, Efficiency, and Reversibility

Abstract:

We give an overview of some results we obtained in the last four years about the so-called Interaction Abstract Machine (IAM in the following) and its efficiency in time and space. More specifically, we are interested in checking whether any invariance result in the style of Slot and van Emde Boas is possible for the IAM. Unfortunately, the answer is going to be negative. Still, while the time inefficiency of the IAM is expected, its space inefficiency could be seen as surprising, given, e.g., the well-known results of Schöpp and coauthors on the characterization of logarithmic space computable functions through a construction very closely related to the IAM. We proceed by giving an hint of how much of the aforementioned results hold for the PAM. We conclude the talk by giving some observations about the IAM's reversibility properties, which can be seen as partially justifying the results above.

Speaker Bio:

Ugo Dal Lago (University of Bologna)
https://udallago.github.io/

Time/Date:

15:00 - February 13 (Thursday), 2025

Place:

Room 1310A , NII and Online

Online:

zoom

Contact:

If you would like to join, please contact by email.
Email :sekiyama[at]nii.ac.jp