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

E-Mail

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

E-Mail

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

E-Mail

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

E-Mail

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

E-Mail

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

Design by 1234.info | Modified by Peter Schneider-Kamp | CSS 2.0