Call for Abstracts FFM 2015

RWTH Aachen hosts the Young Researchers’ Conference “Frontiers in Formal Methods”, February 25-27 2015. ¬†Young researchers (up to two years after completing their PhD thesis) are encouraged to submit a 2-5 page abstract by January 12, 2015 (extended firm deadline).¬†More information can be found here.