AOSTE stopped on December, 31, 2016.
Perhaps you’re interested in the KAIROS team whose website can be found here: http://team.inria.fr/kairos