| Event | When | Where | Deadline | | | Expired CFPs |
| FSCD 2017 |
FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction | |
| Sep 3, 2017 - Sep 6, 2017 |
Oxford, UK |
Apr 14, 2017 (Apr 7, 2017) |
| FSCD 2016 |
First International Conference on Formal Structures for Computation and Deduction | |
| Jun 22, 2016 - Jun 26, 2016 |
Porto, Portugal |
Feb 5, 2016 (Jan 29, 2016) |
| DCFS 2015 |
DCFS 2015 (Descriptional Complexity of Formal Systems), Waterloo, Ontario, June 25-27 2015 | |
| Jun 25, 2015 - Jun 27, 2015 |
Waterloo, Ontario, Canada |
Mar 1, 2015 |
| LAP 2014 |
Logic and Applications 2014 | |
| Sep 22, 2014 - Sep 26, 2014 |
Dubrovnik, Croatia |
Jun 2, 2014 |
| DCFS 2012 |
14th International Workshop on Descriptional Complexity of Formal Systems | |
| Jul 23, 2012 - Jul 25, 2012 |
Braga, Portugal |
Apr 1, 2012 |
|
