Program for Monday, October 7th: Talk View

PROGRAM FOR MONDAY, OCTOBER 7TH: TALK VIEW

Days:

next 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

16:30

17:00

09:00-10:00

Semantic Foundations for Gradual Typing

Amal Ahmed

10:30-11:00

Exception Handling and Classical Logic

Steffen van Bakel

11:00-11:30

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus

Andreas Abel, Christian Sattler

11:30-12:00

Crumbling Abstract Machines

Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen

12:00-12:30

Sharing Equality is Linear

Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen

14:00-14:30

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program

Kentaro Kikuchi, Takahito Aoto, Isao Sasano

14:30-15:00

Generic Encodings of Constructor Rewriting Systems

Horatiu Cirstea, Pierre-Etienne Moreau

15:30-16:00

Property-Based Testing via Proof Reconstruction

Roberto Blanco, Dale Miller, Alberto Momigliano

16:00-16:30

Intrinsically-Typed Mechanized Semantics for Session Types

Peter Thiemann

16:30-17:00

An Adequate While-Language for Hybrid Computation

Sergey Goncharov, Renato Neves

10:00-10:30 Coffee Break

12:30-14:00 Lunch Break

15:00-15:30 Coffee Break