RDA2005>> [HOME PAGE] [Conference Officials] [Sponsors]

MEETINGS >>
RTA
TLCA
RULE
UNIF
WRS
WG1.6

VENUE >>
Nara
        &Kansai region
Registration
Accommodation
Travelling
Program
Conference hall


image_rdp05_poster

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


[Back to PAGE TOP] [HOME PAGE]