Activities per year
Activities
- 6 results
Search results
-
Podcast - The SCM Agenda: Cybersecurity Awareness
Stentoft, J. (Guest lecturer), Kjær, T. H. (Co-author), Peressotti, M. (Panel member) & Mayer, P. (Panel member)
11. Jan 2024Activity: Talks and presentations › Talks and presentations in private or public companies
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Guest lecturer)
17. Sept 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Choreographies as objects: programming multiparty protocols with Choral
Peressotti, M. (Guest lecturer)
17. Sept 2020Activity: Talks and presentations › Conference presentations
-
Introduction to Formal Methods
Peressotti, M. (Guest lecturer)
26. Aug 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Guest lecturer)
25. Feb 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
University of Glasgow
Peressotti, M. (Visiting researcher)
23. Feb 2020 → 29. Feb 2020Activity: Visiting another research institution