Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
AIB 2015-06: Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"
2 views
Skip to first unread message
Thomas Ströder
Feb 19, 2015, 9:51:55 AM2/19/15
to
The following technical report is available from
http://aib.informatik.rwth-aachen.de:
Proceedings of the Young Researchers' Conference "Frontiers of Formal
Methods"
Thomas Ströder and Wolfgang Thomas (Editors)
AIB 2015-06
The Young Researchers' Conference "Frontiers of Formal Methods" (FFM
2015) is a "singularity" - an event that is not part of a longer
conference series, but organized following a nice coincidence of
interests of several research groups in Germany and Austria.
It all started with a loose promise given in 2010: When the second phase
of the DFG research training group (Graduiertenkolleg) "AlgoSyn" started
in Aachen, we promised to organize a final conference at the end of
altogether nine successful years of work by and with doctoral students.
In discussions between the speakers of closely related research training
groups, it became then clear that all our doctoral students would gain
most by a jointly organized conference. Five partners joined their
forces: the DFG research training groups
AlgoSyn (Algorithmic Synthesis of Reactive and Discrete-Continuous
Systems), Aachen,
PUMA (Program and Model Analysis), Munich,
QuantLA (Quantitative Logics and Automata), Dresden & Leipzig,
SCARE (System Correctness under Adverse Conditons), Oldenburg,
and the Austrian Research Network ARiSE (Rigorous System Engineering).
http://aib.informatik.rwth-aachen.de:
Proceedings of the Young Researchers' Conference "Frontiers of Formal
Methods"
Thomas Ströder and Wolfgang Thomas (Editors)
AIB 2015-06
The Young Researchers' Conference "Frontiers of Formal Methods" (FFM
2015) is a "singularity" - an event that is not part of a longer
conference series, but organized following a nice coincidence of
interests of several research groups in Germany and Austria.
It all started with a loose promise given in 2010: When the second phase
of the DFG research training group (Graduiertenkolleg) "AlgoSyn" started
in Aachen, we promised to organize a final conference at the end of
altogether nine successful years of work by and with doctoral students.
In discussions between the speakers of closely related research training
groups, it became then clear that all our doctoral students would gain
most by a jointly organized conference. Five partners joined their
forces: the DFG research training groups
AlgoSyn (Algorithmic Synthesis of Reactive and Discrete-Continuous
Systems), Aachen,
PUMA (Program and Model Analysis), Munich,
QuantLA (Quantitative Logics and Automata), Dresden & Leipzig,
SCARE (System Correctness under Adverse Conditons), Oldenburg,
and the Austrian Research Network ARiSE (Rigorous System Engineering).
0 new messages