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

Topic Workshops

2017, March 27–29:   "A Machine-Readable Library of Information-Flow Case Studies" in Darmstadt
2016, August 1–3:   "Developing a Consolidated Example Library of RIFL Specifications" in Karlsruhe
2016, June 20–22:   "Declassification in RIFL" in Darmstadt
2016, April 14–16:   "Client-Server Integration in Web-Based Workflow Management Systems" in Darmstadt
2016, April 11–14:   "More Precise Classification of Sources and Sinks in RIFL" in Darmstadt
2016, February 25–26:   "Open-Source Apps in the RS3 Certifying App Store" in Königsfeld
2015, November 23–25:   "Extending RIFL" in Darmstadt
2015, May 6–8:   "Executable Specification and Code Generation with Isabelle/HOL" in Munich
2015, April 27–28:   "Development of a Demonstrator for the RS3 Certifying App Store" in Darmstadt
2014, July 28–29:   "Security in-the-Large" in Darmstadt
2014, May 26–27:   "Tool Integration in the RS3 Certifying App Store" in Darmstadt
2014, February 3–4:   "Formal Verification of Information Flow Properties of Web-Based Workflow Management Systems" in Munich
2013, December 18:   "Online and Offline Monitoring for Secure Usage" in Darmstadt
2013, February 19–20:   "Information Flow in Object-Oriented Systems" in Darmstadt
2012, June 18–19:   "Concurrent Noninterference" in Darmstadt
2012, March 14–15:   "Security in Business Processes" in Dortmund
2012, March 1–2:   "Information Flow and Security in Sequential Applications" in Munich
2011, November 21:   "E-Voting and Information Flow" in Karlsruhe
2011, November 3–4:   "Information Flow Control for Mobile Devices" in Darmstadt
2011, May 12–13:   "Security Properties in Security Engineering" in Augsburg