Type Theory

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
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
first | previous | Page 1 | next | last Total of 7 CFPs in 1 pages