Dynamic Software and Distributed Systems

AFADL 2016: A National Workshop About Formal Approches for Software Development

Last 7th and 8th June of 2016, the Dynamid team organized the 15th AFADL workshop. AFADL (standing for Approches Formelles dans l’Assistance au Développement de Logiciels) is a national workshop sponsorized by the GDR-GPL.

The complete program, including slideshows of contributions and proceedings, is available on the AFADL 2016 website.