Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25-27 February 2015, Young Researchers' Conference "Frontiers of Formal Methods", Aachen, Germany

Date: 25-27 February 2015
Location: Aachen, Germany
Deadline: 31 December 2014

This conference is a forum of young researchers (typically PhD students) 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.

The conference consists of invited lectures by Moshe Vardi (Houston), Jean-Francois Raskin (Brussels), Joel Ouaknine (Oxford), Bernd Finkbeiner (Saarbrücken), Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt), and short presentations (talks of 12 minutes duration).

For more information, see http://ffm2015.rwth-aachen.de/

Submissions are welcome via the submission page for short presentations given by young researchers (up to two years after completion of PhD), with an 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. Deadline for submission of abstracts: December 31, 2014.

Please note that this newsitem has been archived, and may contain outdated information or links.