The FormaliSE 2021 programme

The FormaliSE 2021 programme

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.

Register on the ICSE 2021 website. Looking forward to seeing you among the participants!

BRiCoS: Building Blocks for Rigorous Design of Concurrent Software

This project will address two fundamental challenges for the implementation of the Rigorous System Design approach to general-purpose software: 1) obtaining behavioural models of the coordinated software entities and 2) detecting the deviations between these models and the corresponding executable code in the face of software evolution.

Larisa Safina is working on this project


Read more
Vers un réseau social pour des émigrés antiques

Vers un réseau social pour des émigrés antiques

Dans le cadre du projet « EX-PATRIA : Dissidence ane Emigration in Late Antique Rome, Persia, and Neighbouring Lands » qui vient de débuter ce mois, nous vous proposons de devenir l’architecte d’une base de données — et de l’application web qui servira à l’alimenter — rassemblant les informations disponibles sur les parcours et les interactions entre des personnalités historiques (3ème-6ème siècles de notre ère) ayant choisi ou subi l’émigration.

Read more