Young Researchers Conference “Frontiers of Formal Methods”
Aachen, Germany
February 25 – 27, 2015

organized by the DFG Research Training Groups
AlgoSyn (Algorithmic Synthesis of Reactive and Discrete-Continuous Systems), Aachen
PUMA (Program and Model Analysis), München
QuantLA (Quantitative Logics and Automata), Dresden & Leipzig
SCARE (System Correctness under Adverse Conditons), Oldenburg
and the Austrian Research Network ARiSE (Rigorous System Engineering)

This conference is a forum of young researchers (typically PhD students, but also master students and postdocs) for exchanging current research results and broadening their academic network. The scope of the conference ranges over formal and algorithmic methods in computer science in a broad sense. Typical topics are connected with the research areas of the participating research training groups as indicated above. The conference consists of invited lectures (1 hour) and short presentations (talks of 12 minutes duration). Submissions are open for short presentations given by young researchers (up to two years after completion of PhD). A short presentation is submitted via the submission webpage with an extended abstract of 2-5 pages written by a single author. The results may have been accepted or even published elsewhere. Each author is free to submit his/her “best result” (possibly obtained jointly with others). Multiple submissions by one author are not permitted. The language of the conference is English. Proceedings will be published as a technical report of RWTH Aachen University, containing extended abstracts of accepted short presentations as well as material from invited lectures. The program committee and the list of invited speakers will be announced during the summer.

Important Dates: