IWC ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

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

17:30

18:00

09:25-10:15

On the Formalization of Lambda-Calculus Confluence and Residuals

Beniamino Accattoli

10:45-11:15

Certification of Confluence Proofs using CeTA

Julian Nagele, René Thiemann

11:15-11:45

Confluence and Critical-Pair-Closing Systems

Michio Oyamaguchi, Nao Hirokawa

12:00-12:30

Critical Pairs in Network Rewriting

Lars Hellström

12:30-13:00

On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent

Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner

14:30-15:30

An Introduction to Higher-Dimensional Rewriting Theory

Samuel Mimram

14:30-15:30

An Introduction to Higher-Dimensional Rewriting Theory

Samuel Mimram

15:30-16:00

Confluence of linear rewriting and homology of algebras

Yves Guiraud, Eric Hoffbeck, Philippe Malbos

16:30-17:00

Normalization Equivalence of Rewrite Systems

Nao Hirokawa, Aart Middeldorp, Christian Sternagel

17:00-17:30

Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)

Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa

17:30-18:15

Confluence Competition

Takahito Aoto, Nao Hirokawa, Harald Zankl

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break