| Event | When | Where | Deadline | |
| WooPS 2012 |
Workshop on Petri Net-based Security | |
| Jun 26, 2012 - Jun 26, 2012 |
Hamburg, Germany |
Apr 15, 2012 |
| AREIS 2012 |
Automated Reasoning for Enterprise Information Systems | |
| Jul 1, 2012 - Jul 1, 2012 |
Manchester, UK |
May 3, 2012 |
| FroCoS 2015 |
10th International Symposium on Frontiers of Combining Systems | |
| Sep 21, 2015 - Sep 24, 2015 |
Wroclaw, Poland |
May 10, 2015 (May 4, 2015) |
|
