Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

List of RS3 Events

Regular Meetings

2016, February 22–24:   Staff Meeting 2016 in Königsfeld
2015, October 5–8:   Annual Meeting 2015 in Bremen
  • October 5–6: Annual Meeting for PIs, PostDocs and PhD students
  • October 7–8: Semestral Meeting for funded and associated PostDocs and PhD students
2015, February 23–25:   Staff Meeting 2015 in Freudenstadt-Lauterbad
2014, October 7–10:   Annual Meeting 2014 in Trier
  • October 7–8: Annual Meeting for PIs, PostDocs and PhD students
  • October 9–10: Semestral Meeting for funded and associated PostDocs and PhD students
2014, January 13–15:   Staff Meeting 2014 in Bad Münster am Stein Ebernburg
2013, October 7–10:   Annual Meeting 2013 in Saarbrücken
  • October 7–8: Annual Meeting for PIs, PostDocs and PhD students
  • October 9–10: Semestral Meeting for funded and associated PostDocs and PhD students
2013, February 25–27:   Staff Meeting 2013 in Annweiler
2012, October 9–12:   Annual Meeting 2012 in München (Garching)
  • October 9–10: Annual Meeting for PIs, PostDocs and PhD students
  • October 11–12: Semestral Meeting for funded and associated PostDocs and PhD students
2012, January 16–18:   Staff Meeting 2012 in Höchst im Odenwald
2011, September 26–29:   Annual Meeting 2011 in Karlsruhe
  • September 26–27: Annual Meeting for PIs, PostDocs and PhD students
  • September 28–29: Semestral Meeting for funded and associated PostDocs and PhD students


Special Meetings

2017, September 4–6:   Final Event in Darmstadt
2016, June 7–8:   Practitioner Event in Darmstadt
2011, February 21–24:   Kick-Off Meeting in Darmstadt:
  • February 21–22: Kick-Off Meeting for PIs, PostDocs and PhD students
  • February 23–24: Semestral Meeting for funded and associated PostDocs and PhD students
2009, October 1–2:   Preparation Workshop in Darmstadt


Tutorials

2013, September 3–6:   Tutorial on Usage Control, Authorization, and Software Engineering for Security
2012, September 3–6:   Tutorial on Program Analysis and Verification
2011, October 10–13:   Tutorial on Information Flow Security and Verification Tools