Konferensen TYPES är ett forum för att presentera ny och pågående forskning inom alla aspekter av typteori och dess tillämpningar, särskilt inom formaliserat och datorstödd resonemang samt datorprogrammering. Intresseområden inkluderar, men är inte begränsade till:
grunderna för typteori och konstruktiv matematik;
tillämpningar av typteori;
beroendetypad programmering;
industriella användningar av typteoretisk teknologi;
metateoretiska studier av typsystem;
bevisassistenter och bevisteknologi;
automatisering inom datorstödd slutledning;
formalisering av matematik med hjälp av typteori;
kopplingar mellan typteori och
funktionell programmering;
homotopiteori;
lingvistik;
maskininlärning.
För mer information och anmälan – se konferensens huvudsida: TYPES 2026
