| Event | When | Where | Deadline | | | Expired CFPs |
| PSSV 2023 |
International Workshop on Program Semantics, Specification and Verification | |
| Nov 3, 2023 - Nov 4, 2023 |
hybrid |
Sep 30, 2023 |
| LSFA 2019 |
14th Workshop on Logical and Semantic Frameworks, with Applications | |
| Aug 24, 2019 - Aug 26, 2019 |
Natal, Brazil |
May 1, 2019 |
| M4C 2016 |
Workshop Mathematics for Computation | |
| May 8, 2016 - May 13, 2016 |
Niederaltaich, Lower Bavaria, Germany |
Mar 7, 2016 |
| TYPES 2014 |
Types for Proofs and Programs | |
| May 12, 2014 - May 15, 2014 |
Paris, France |
Feb 28, 2014 (Feb 21, 2014) |
| TTNLS 2014 |
Type Theory and Natural Language Semantics | |
| Apr 27, 2014 - Apr 27, 2014 |
Gothenburg, Sweden |
Jan 23, 2014 |
| post-TYPES 2013 |
Types for Proofs and Programs, post-proceedings of TYPES 2013 | |
| N/A |
N/A |
Sep 16, 2013 (Sep 9, 2013) |
| TYPES 2013 |
Types for Proofs and Programs | |
| Apr 23, 2013 - Apr 26, 2013 |
Toulouse, France |
Feb 25, 2013 |
|
