Carsten Fuhs
Type of Visit
Research Stay
Date of Visit
February 9-15, 2010
Topics
Synthesizing Programs using SAT Encodings, Termination Analysis of Term Rewriting by Inductive Theorem Proving
fuhs@informatik.rwth-aachen.de
Home page
http://verify.rwth-aachen.de/fuhs/
Address
Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany
Thomas Ströder
Type of Visit
Research Stay
Date of Visit
November 16-26, 2009
Topics
Termination Analysis of Logic Programs with Cut
Talk
Realizing Deterministic Behaviour from Multiple Non-Deterministic Behaviours
thomas.stroeder@rwth-aachen.de
Address
Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany
Jose Iborra
Type of Visit
Research Stay
Date of Visit
July 7-11, 2009
Topics
Termination of Logic Programs
pepeiborra@gmail.com
Home page
http://safe-tools.dsic.upv.es/mediawiki/index.php/Jose_Iborra
Address
Department of Information Systems and Computation (DSIC)
Universidad Politecnica de Valencia
Camino de Vera s/n.
46022 Valencia
Spain
Carsten Fuhs
Type of Visit
Research Stay
Date of Visit
May 12-21, 2009
Topics
Static Termination Analysis, SAT Encodings
Talk
SAT Modulo Non-Linear Arithmetic for Termination Analysis
fuhs@informatik.rwth-aachen.de
Home page
http://verify.rwth-aachen.de/fuhs/
Address
Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany
Jose Iborra
Type of Visit
Research Stay
Date of Visit
February 24-28, 2009
Topics
Termination of Narrowing, Termination of Logic Programs
Talk
Termination of Narrowing using Dependency Pairs
pepeiborra@gmail.com
Home page
http://safe-tools.dsic.upv.es/mediawiki/index.php/Jose_Iborra
Address
Department of Information Systems and Computation (DSIC)
Universidad Politecnica de Valencia
Camino de Vera s/n.
46022 Valencia
Spain