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.