EasyChair Smart CFPHelp/Log in
All CFPs for "type theory"

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

Acronym
NameLocation
Submission
deadline
Start date
TopicsAdd to watchlist
TYPES 202026th International Conference on Types for Proofs and ProgramsTurin, ItalyJan 10, 2020Mar 2, 2020type theory functional programming formal methods proof assistantsadd TYPES 2020 to watchlist
MSFP 2020Eighth Workshop on Mathematically Structured Functional ProgrammingDublin, IrelandJan 16, 2020Apr 25, 2020functional programming mathematical structure type theory semanticsadd MSFP 2020 to watchlist
Copyright © 2002 – 2019 EasyChair