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.
Read moreEvents
Event announcements (conferences, workshops etc.)
Component-Based Design of Concurrent Software in BIP
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.
Read moreA visit by Sergio Mover

Looking forward to hosting a visit by Sergio Mover, who will give a talk on “