Projects (since 2006)

ARI: Automation of Rewriting Infrastructure
FWF international project I 5943-N, 2022 – 2026

FORTissimo: Automating the First-Order Theory of Rewriting
FWF stand-alone project P 30301, 2017 – 2022

From Confluence to Unique Normal Forms: Certification and Complexity
FWF stand-alone project P 27528, 2015 – 2018

Constrained Rewriting and SMT: Emerging Trends in Rewriting
FWF international project I 963, 2012 – 2015

Confluence: Automation, Certification, Extensions
FWF stand-alone project P 22467, 2010 – 2014

Termination Tools: Verification and Optimization
FWF stand-alone project P 18763, 2006 – 2010