BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2022/newsitem/13192/20 ---25-June-2022-28th-International-Conference-on-T ypes-for-Proofs-and-Programs-TYPES-2022-Nantes-Fra nce- DTSTAMP:20211128T233423 SUMMARY:28th International Conference on Types for Proofs and Programs (TYPES 2022), Nantes (France) DTSTART;VALUE=DATE:20220620 DTEND;VALUE=DATE:20220625 LOCATION:Nantes (France) DESCRIPTION:The TYPES meetings are a forum to pres ent new and on-going work in all aspects of type t heory and its applications, especially in formalis ed and computer assisted reasoning and computer pr ogramming. The TYPES areas of interest include, b ut are not limited to: * foundations of type theor y and constructive mathematics; * applications of type theory; * dependently typed programming; * in dustrial uses of type theory technology; * meta-th eoretic studies of type systems; * proof assistant s and proof technology; * automation in computer-a ssisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We solicit contributed talks. Selection of those will be based on extended abst racts/short papers of 2 pp (not including bibliogr aphy) formatted with easychair.cls. We encourage t alks proposing new ways of applying type theory. I n the spirit of workshops, talks may be based on n ewly published papers, work submitted for publicat ion, but also work in progress. X-ALT-DESC;FMTTYPE=text/html:
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.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.