25-27 Feb 2015
Aachen, Germany
=================================================== Young Researchers' Conference "Frontiers of Formal Methods" Aachen, February 25-27, 2015 http://ffm2015.rwth-aachen.de organized by the DFG research training groups AlgoSyn (Aachen), QuantLA (Dresden/Leipzig), PUMA (Munich), SCARE (Oldenburg) and the Austrian research network ARiSE Invited lectures by M. Vardi, J.F. Raskin, J. Ouaknine, B. Finkbeiner, A. Farzan, E. Bodden Deadline for submission of abstracts (2-5 pages) of short presentations: December 31, 2014. ===================================================