Campus Event Calendar
Event Entry
New for: D3
What and Who
Indian Internship Presentations
Internship Candidates
AG2 Group Meeting
AG 1, AG 2, AG 3, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 13 July 2001
11:15
60 Minutes
46.1 - MPII
024
Saarbrücken
Abstract
The talks will (shortly) address the theoretical background
of the work done, and the constructed implementations.
The presentations will last 15 minutes with 5 minutes discussion/question time.
The time schedule is as follows:
11.15
Ravi Krishna,
implementation of a parser for Prolog-Syntax in Java,
and Basic Classes for Lambda Calculus.
11.35
Vinay Middha
Implementation of reachability analysis for C-programs
having only boolean variables through PDS.
11.55
Lav Rai
Implementation of Recursive Path Orders + Basic Paramodulation
in Waldmeister.
The presentations will last 15 minutes with 5 minutes discussion/question time.
The time schedule is as follows:
11.15
Ravi Krishna,
implementation of a parser for Prolog-Syntax in Java,
and Basic Classes for Lambda Calculus.
11.35
Vinay Middha
Implementation of reachability analysis for C-programs
having only boolean variables through PDS.
11.55
Lav Rai
Implementation of Recursive Path Orders + Basic Paramodulation
in Waldmeister.
Contact
Hans de Nivelle
223
--email hidden
passcode not visible
logged in users only