| 2013, |
October 7–10: |
Annual Meeting 2013 in Saarbrücken |
| 2013, |
February 25–27: |
Staff Meeting 2013 in Annweiler |
| 2012, |
October 9–12: |
Annual Meeting 2012 in München |
| |
October 1: |
Start of 2nd funding period of RS3 |
| |
September 3–6: |
Tutorial on Program Analysis and Verification |
| |
April 1: |
Deadline for submitting interim reports and new proposals for 2nd funding period of RS3 |
| |
January 16-18: |
Staff Meeting 2012 in Höchst im Odenwald |
| 2011, |
December 21: |
Call for proposals for 2nd funding period of RS3 |
| |
October 10–13: |
Tutorial on Information Flow Security and Verification Tools |
| |
September 26–29: |
Annual Meeting 2011 in Karlsruhe |
|
February 21–24: |
Kick-Off Meeting in Darmstadt |
| 2010, |
October 1: |
Start of 1st funding period of RS3 |
