RULE'05

6th International Workshop on Rule-Based Programming
April 23, 2005 Nara, Japan

PROGRAM OF RULE'05


9:00 - 10:00	Completeness Theorems and lambda-calculus (TLCA INVITED TALK)
	Thierry Coquand

10:00- 10:30	Tea Break

Session chair:

Horatiu Cirstea (LORIA and Université Nancy 2, France)

10:30 - 11:10	Combining Aspect-Oriented and Strategic Programming
	Karl Trygve Kalleberg and Eelco Visser
11:10 - 11:50	Mumbo: A Rule Based Implementation of a Run-time Program Generation Language
	Baris Aktemur and Sam Kamin
11:50 - 12:30	A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
	Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi

12:30- 14:00	Lunch

Session chair:

Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)

14:00 - 15:00	Completeness, decidability and counter-example generations of a basic protocol logic (INVITED TALK)
	Koji Hasebe and Mitsuhiro Okada
15:00 - 15:40	Automatic Implication Checking for CHR Constraints
	Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey and Thom Fruehwirth

15:40- 16:00	Coffee Break

Session chair:

Salvador Lucas (Universidad Politécnica de Valencia, Spain)

16:00 - 16:40	From Chemical Rules to Term Rewriting
	Olivier Bournez, Liliana Ibanescu and Hélène Kirchner
16:40 - 17:20	Typed Mobile Ambients in Maude
	Fernando Rosa-Velardo, Clara Segura and Alberto Verdejo