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 |
|