FormaliSE 2016
Submitted by Nico Plat on Sat, 04/23/2016 - 23:50Next month (15 May to be precise) I will be attending a workshop in Austin, Texas. It is a workshop I organise myself together with my colleague and (by now) friend Stefania Gnesi. The workshop is organised under auspices of Formal Methods Europe. It is sponsored by my employer West IT, ISTI-CNR (the institution Stefania works for), and also by myself i.e. my company Thanos. The name of the workshop is FormaliSE: FME Workshop on Formal Methods in Software Engineering. It is co-located with the mainstream international conference on Software Engineering ICSE.