====== Vorherige Events ======
[[http://www.se2013.rwth-aachen.de|SE'13 (Aachen)]]\\
[[https://es.fbk.eu/events/ssv2011/index.php|SSV '11 (Nijmegen)]]\\
[[https://es.fbk.eu/events/fmics2010/index.php|FMICS '10 (Antwerpen)]]\\
[[http://ssv09.embedded.rwth-aachen.de/|SSV '09 (Aachen)]]\\
[[http://www.cs.york.ac.uk/etaps09/Conf/conf-frame-tacas.html|TACAS '09 (York)]] \\
[[http://ase08.embedded.rwth-aachen.de/|ASE '08 (München)]]\\
[[http://ase07.embedded.rwth-aachen.de/|ASE '07 (Bremen)]]\\
[[http://ses07.embedded.rwth-aachen.de/|SE-Strategietreffen '07 (Eitorf)]]\\