| Event | When | Where | Deadline | |
| LINEARITY 2014 |
Third International Workshop on Linearity | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
Apr 13, 2014 |
| 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) |
| LSFA 2017 |
12th Workshop on Logical and Semantic Frameworks, with Applications | |
| Sep 23, 2017 - Sep 24, 2017 |
BrasÃlia, Brazil |
Jun 21, 2017 |
| DCM 2018 |
12th International Workshop on Developments in Computational Model | |
| Jul 8, 2018 - Jul 8, 2018 |
Oxford, UK |
Apr 8, 2018 |
| FSCD 2019 |
4th International Conference on Formal Structures for Computation and Deduction | |
| Jun 24, 2019 - Jun 30, 2019 |
Dortmund, Germany |
Feb 11, 2019 (Feb 8, 2019) |
| FSCD 2020 |
Fifth International Conference on Formal Structures for Computation and Deduction | |
| Jun 29, 2020 - Jul 5, 2020 |
Paris, France |
Feb 9, 2020 (Feb 6, 2020) |
| WiL 2021 |
5th Women in Logic Workshop | |
| Jun 27, 2021 - Jun 27, 2021 |
Rome - online |
Apr 20, 2021 |
| Linearity & TLLA - 2022 |
Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications | |
| Jul 31, 2022 - Aug 1, 2022 |
Haifa, Israel |
May 20, 2022 |
|
