. degli Studi di Bologna
Carsten Fuhs - Birkbeck, U. of London
Samir Genaim - U. Complutense de Madrid
Juergen Giesl - RWTH Aachen
Raul Gutiérrez - U. Politecnica de València
Keiichirou Kusakari - Gifu University
Salvador Lucas (chair) - U. Politecnica de Valencia
Fred
Keiichirou Kusakari - Gifu University
Salvador Lucas (chair) - U. Politecnica de Valencia
Fred Mesnard - U. de La Reunion
Aart Middeldorp - U. of Innsbruck
Albert Rubio - U. Politecnica de Catalunya
Rene Thiemann - U. of Innsbruck
Caterina Urban - ETH Zürich
INVITED SPEAKERS
- U. degli Studi di Bologna
Carsten Fuhs - Birkbeck, U. of London
Samir Genaim - U. Complutense de Madrid
Juergen Giesl - RWTH Aachen
Raul Gutiérrez - U. Politecnica de València
Keiichirou Kusakari - Gifu University
Salvador Lucas (chair) - U. Politecnica de Valencia
Fre
Christian Sternagel.
TTT2 with Termination Templates for Teaching
Cristina David, Daniel Kroening and Peter Schrammel.
Procedure-Modular Termination Analysis
Salvador Lucas.
Well-founded models in proofs of termination
Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta.
Verification of R
. degli Studi di Bologna
Carsten Fuhs - Birkbeck, U. of London
Samir Genaim - U. Complutense de Madrid
Juergen Giesl - RWTH Aachen
Raul Gutiérrez - U. Politecnica de València
Keiichirou Kusakari - Gifu University
Salvador Lucas (chair) - U. Politecnica de Valencia
Fred