Part of the CLAS 2022 |

Site Search

PROGRAM OF THE ADVANCED TRACK

TIME Mon, 19/09/2022 Tue, 20/09/2022 Wed, 21/09/2022 Thu, 22/09/2022 Fri, 23/09/2022 Sat, 24/09/2022
08:00-09:00 Registration
09:00-10:30 Constraint programming for analysis of rewriting (Johannes Waldmann) Constraint programming for analysis of rewriting (Johannes Waldmann) Rule-based  programming  with RhoLog (Mircea Marin) Tree automata techniques for term rewriting (Aart Middeldorp) Tree automata techniques for term rewriting (Aart Middeldorp) Tree automata techniques for term rewriting (Aart Middeldorp)
10:30-11:00 Coffee break Coffee break Excursion & Dinner Coffee break Coffee break Coffee break
11:00-12:30 Probabilistic term rewriting (Martin Avanzini) Probabilistic term rewriting (Martin Avanzini) Formal methods for machine learning (Caterina Urban) Formal methods for machine learning (Caterina Urban) On the confluence of rewrite systems (Raúl Gutiérrez)
12:30-14:00 Lunch Lunch Lunch Lunch Lunch
14:00-15:30 Automated termination analysis of term rewriting (Carsten Fuhs) Automated termination analysis of term rewriting (Carsten Fuhs) Rule-based  programming  with RhoLog (Mircea Marin) On the confluence of rewrite systems (Raúl Gutiérrez) Theorem proving with applications (Christopher Lynch)
15:30-16:00 Coffee break Coffee break Coffee break Coffee break Coffee break
16:00-17:30 Modeling and analysis of real-time systems in Rewriting Logic (Peter Csaba Ölveczky) Modeling and analysis of real-time systems in Rewriting Logic (Peter Csaba Ölveczky) Term rewriting and cryptographic protocol analysis: the Maude-NPA tool (Santiago Escobar) Theorem proving with applications (Christopher Lynch) Term rewriting and cryptographic protocol analysis: the Maude-NPA tool (Santiago Escobar)