Program for Thursday, June 15th: Talk View

PROGRAM FOR THURSDAY, JUNE 15TH: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

09:00-10:00 Invited Talk. On Isomorphism Invariance and Isomorphism Reflection in Type Theory. Andrej Bauer (University of Ljubljana, Slovenia)

10:00-10:20

Manifest Termination

Assia Mahboubi, Guillaume Melquiond

10:20-10:40

Extending cAERN to spaces of subsets

Michal Konecny, Sewon Park, Holger Thies

10:40-11:00

Efficient Evaluation for Cubical Type Theories

András Kovács

11:30-11:50

Categorical models of subtyping

Greta Coraglia, Jacopo Emmenegger

11:50-12:10

LayeredTypes - Combining dependent and independent type systems

Lukas Abelt, Alcides Fonseca

12:10-12:30

Towards dependent combinator calculus

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh

12:30-12:50

Higher coherence equations of semi-simplicial types as n-cubes of proofs

Moana Jubert, Hugo Herbelin

12:50-13:10

Coinductive control of inductive data types

Paige North, Maximilien Péroux

13:10-13:30

Read the mode and stay positive

Josselin Poiret, Andreas Nuyts, Joris Ceulemans, Malin Altenmüller, Lucas Escot

15:00-15:20

Types and Semantics of Extensible Data Types

Cas van der Rest, Casper Bach Poulsen

15:20-15:40

Extensional Equality Preservation in Intensional MLTT

Nuria Brede, Tim Richter, Patrik Jansson, Nicola Botta

15:40-16:00

Composable partial functions in Coq, totally for free

Théo Winterhalter

16:00-16:20

Towards a Translation from Liquid Haskell to Coq

Lykourgos Mastorou, Niki Vazou, Michael Greenberg

11:00-11:30 Coffee Break

13:30-15:00 Lunch Break