Events – Simon Bliudze

The FormaliSE 2021 programme

08/05/202108/05/2021sbliudze

The FormaliSE 2021 programme is ready and published! It includes two keynotes

“Program Verification: a 70-Year History” by Moshe Vardi (Rice University, Houston, Texas, USA)

“Towards Formalising Sustainable Security” by Liliana Pasquale (University College Dublin & Lero, Ireland)

and 13 paper presentations that you can discover here.

2nd meeting of the Yoda working group

08/05/202110/05/2021sbliudze

With Hélène Coullon and Rabéa Ameur-Boulifa, we are responsible for the activities of “trustworthY and Optimal Dynamic Adaptation” (Yoda) working group of GDR GPL (the site is in French). On Wednesday, the 12th of May, 2021 14:00-16:00 CET, Yoda will hold its 2nd meeting.

IMBSA 2019 Tutorial

18/10/201931/10/2019sbliudze

I have just given a 40-minute tutorial on the Rigorous Component-based Design in BIP at IMBSA 2019 in the beautiful city of Thessaloniki.

Component-Based Design  of Concurrent Software  in BIP

16/10/201922/03/2021sbliudze

This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.

A visit by Sergio Mover

27/08/201927/08/2019sbliudze

Looking forward to hosting a visit by Sergio Mover, who will give a talk on “Lifestate: Event-Driven Protocols and Callback Control Flow” at 10:30 on Thursday, 5th of September, in the Inria Lille Building B seminar room.