\n

The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applica tions, especially in formalised and computer assis ted reasoning and computer programming.

\n\n < p>The TYPES areas of interest include, but are not limited to: * foundations of type theory and cons tructive mathematics; * applications of type theor y; * dependently typed programming; * industrial u ses of type theory technology; * meta-theoretic st udies of type systems; * proof assistants and proo f technology; * automation in computer-assisted re asoning; * links between type theory and functiona l programming; * formalizing mathematics using typ e theory.\n\n

We solicit contri buted talks. Selection of those will be based on e xtended abstracts/short papers of 2 pp (not includ ing bibliography) formatted with easychair.cls. We encourage talks proposing new ways of applying ty pe theory. In the spirit of workshops, talks may b e based on newly published papers, work submitted for publication, but also work in progress.

\n< /div> URL:https://types22.inria.fr/ CONTACT:types2022 at easychair.org END:VEVENT END:VCALENDAR