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