Activities per year
Activities
- 5 results
Search results
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (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
Marco Peressotti (Guest lecturer)
17. Sept 2020Activity: Talks and presentations › Conference presentations
-
Introduction to Formal Methods
Marco Peressotti (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
Marco Peressotti (Guest lecturer)
25. Feb 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
University of Glasgow
Marco Peressotti (Visiting researcher)
23. Feb 2020 → 29. Feb 2020Activity: Visiting another research institution