\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

URL:https://types22.inria.fr/
CONTACT:types2022 at easychair.org
END:VEVENT
END:VCALENDAR
We solicit contribu ted talks. Selection of those will be based on ext ended abstracts/short papers of 2 pp (not includin g bibliography) formatted with easychair.cls. We e ncourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted fo r publication, but also work in progress.