Speaker

Marco Peressotti

Marco Peressotti is speaking at International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026) (Malta, Malta, 24 Nov 2026) in the session “A Reusable Formalisation of Hennessy–Milner Logic for Arbitrary Transition Systems in Lean”.

Conferences: 1
Keynotes: 0
Upcoming: 1

Upcoming appearances

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026)
24 Nov 2026Malta, Malta
- SpeakerA Reusable Formalisation of Hennessy–Milner Logic for Arbitrary Transition Systems in LeanWith Alexandre Rademaker, Fabrizio Montesi

More speakers at International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026)

Manuel A. Martins
University of Aveiro (Portugal)
Claudia Chirita
Joshua Dourado
Suene Duarte
Mariana Ferreira
Daniel Figueiredo

See all 14 speakers on the event page

This profile is built from conference programmes published on kongre.net. It has not been claimed or confirmed by Marco Peressotti, and it lists only the talks, sessions and presentations named in those programmes.

Is this you? Claim this profile — every request is read by a person before anything is linked.

To ask for a correction or for this profile to be removed, email [email protected].