IFIP WG 1.6 - Preliminary program

RDP

Home page
Organization
Sponsors

MEETINGS

RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE

Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet

WG 1.6

IFIP Working Group 1.6 on Term Rewriting
Valencia, Spain, June 12, 2003

PRELIMINARY PROGRAM

Workshop Room

Equipped with

a blackboard (or similar),
an overhead projector,
a video projector (for laptops),
a PC running under Windows with
- Adobe Acrobat Reader 5.0, and
- MS PowerPoint 2000 installed.

Thursday, June 12

09:00 - 11:00	Session 1
	Workshop room: Second Floor - ´Aula 2.4´
09:00 - 09:10	Welcome
09:10 - 09:40	Automating the Dependency Pair Method
	Aart Middeldorp
09:40 - 10:10	Simpler Congruence Closure
	Robert Nieuwenhuis
10:10 - 10:30	Progress report
	Hubert Comon
10:30 - 11:00	Optimal implementation of the lambda-calculus
	Vincent van Oostrom

11:00 - 11:30	Coffee break

11:30 - 12:30	Session 2
	Workshop room: Second Floor - ´Aula 2.4´
11:30 - 12:00	Can addresses be types? (a case study: objects with delegation)
	Franco Barbanera
12:00 - 12:30	Detailed progress report
	Femke van Raamsdonk

13:00 - 15:00	Lunch

15:00 - 16:30	Session 3 - Progress Reports and Technical Talks
	Workshop room: Second Floor - ´Aula 2.4´
15:00 - 15:20	Short technical talk
	Hans Zantema
15:20 - 15:40	Progress report
	José Meseguer
15:40 - 16:00	Progress report
	Nachum Dershowitz
16:00 - 16:20	Progress report
	Bernhard Gramlich

16:30 - 17:00	Coffee break

17:00 - 18:00	Session 4 - Progress Reports
	Workshop room: Second Floor - ´Aula 2.4´
17:00 - 17:20	Progress report
	Salvador Lucas
17:20 - 17:40	Progress report
	Mario Rodríguez-Artalejo
17:40 - 18:00	Progress report
	Michael-Helene-Claude

18:00 - 19:00	Business meeting (WG members only)
	Workshop room: Second Floor - ´Aula 2.4´