PIDE, Science Second workshop on Formal-IDE in Oslo Thu 18-Dec-2014 Makarius The second workshop on Formal-IDE will take place on 22-Jun-2015 in Oslo, as a satellite event of the FM 2015 symposium.