-
BehAPI GSSI is almost in :)
-
IT-Matters PRIN project about Methods and Tools for Trustworthy Smart Systems
-
ChorGram One of my favourtie hobbies
-
CIRC Clément Aubert new project on concurrency in reversible computing
-
Formal Methods Europe Site about FM in Europe
-
GSSI seminars I’m organising the seminars at GSSI: contact me if you are interested to give a talk
|
-
ISoLA 2022
Presentation at ISoLA 2022. October 26, 2022
-
NOVA
Presentation at LINCS NOVA. July 27, 2022
-
ECOOP 2022
Presentation at ECOOP 2022. June 09, 2022
-
ISoLA 2021
Presentation at ISoLA 2021. October 27, 2021
|
We are recruiting at all levels, if interested send us your expression of interest!
10 (ten!) PhD Scholarships in Computer Science + benefits! Details here
|