Program for Thursday, July 2nd: Talk View

PROGRAM FOR THURSDAY, JULY 2ND: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

13:00-14:00

A foundational lambda calculus for probabilistic computation

Simona Ronchi Della Rocca

14:30-15:00

Adaptive Non-linear Pattern Matching Automata

Rick Erkens, Maurice Laveaux

15:00-15:30

Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars

Kazuyuki Asada, Naoki Kobayashi

15:30-16:00

Unital Anti-unification: Type and Algorithms

David Cerna, Temur Kutsia

16:00-16:30

Undecidability of Semi-unification on a Napkin *** Best paper by a junior researcher

Andrej Dudenhefner

14:30-15:00

Towards Constructive Hybrid Semantics

Tim Lukas Diezel, Sergey Goncharov

15:00-15:30

String diagrams for optics

Guillaume Boisseau

15:30-16:00

A Profunctorial Scott Semantics

Zeinab Galal

16:00-16:30

Comprehension and quotient structures in the language of 2-categories

Paul-André Melliès, Nicolas Rolland

17:00-17:30

Constraint Solving over Multiple Similarity Relations

Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau

17:30-18:00

A Type Checker for a Logical Framework with Union and Intersection Types - System description

Claude Stolze, Luigi Liquori

18:00-18:30

Efficient Full Higher-Order Unification *** Best paper by junior researchers

Petar Vukmirović, Alexander Bentkamp, Visa Nummelin

17:00-17:30

Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi - System description

Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi

17:30-18:00

Modules over monads and operational semantics

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

14:00-14:30 Coffee Break

16:30-17:00 Coffee Break