Apologies in advance for multiple copies of this message. CALL FOR PARTICIPATION RULE'05 6th International Workshop on Rule-Based Programming April 23, 2005 http://rule2005.loria.fr Affiliated to RDP'05, the Federated Conference on Rewriting, Deduction, and Programming. April 19-23, 2005 Nara, Japan IMPORTANT !!! DEADLINE FOR EARLY REGISTRATION: *** March, 31 *** Invited speaker: -------------------- Mitsuhiro Okada, Keio University, Japan Accepted papers: -------------------- Olivier Bournez, Liliana Ibanescu and Hélène Kirchner. From Chemical Rules to Term Rewriting Baris Aktemur and Sam Kamin. Mumbo: A Rule Based Implementation of a Run-time Program Generation Language Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi. A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method Karl Trygve Kalleberg and Eelco Visser. Combining Aspect-Oriented and Strategic Programming Fernando Rosa-Velardo, Clara Segura and Alberto Verdejo. Typed Mobile Ambients in Maude Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey and Thom Fruehwirth. Automatic Implication Checking for CHR Constraints Registration: -------------------- It is possible to register for the workshop without registering for the main conference. See below for details. Workshop organizers: -------------------- Horatiu Cirstea, LORIA & Universite Nancy II, France Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain ======================================================================= RDP 2005 Federated Conference on Rewriting, Deduction and Programming RTA'05 - TLCA'05 - RULE'05 - UNIF'05 - WRS'05 - IFIP WG1.6 18-23 April 2005, Nara, Japan http://www.kurims.kyoto-u.ac.jp/rdp05/ CALL FOR PARTICIPATION ** Early Registration Deadline: 31 March 2005 ** ======================================================================= We are happy to announce that the registration and hotel reservation procedures for attending RDP 2005 are open now. Please follow the link to the registration page from the RDP'05 top page (http://www.kurims.kyoto-u.ac.jp/rdp05/) to complete your registration. There also are links to web pages providing some travel and local information. Please remember that the number of hotel rooms is limited. Requests will be processed on a first come first served basis and will be subject to availability. RDP'05 will take place at the Nara-Ken New Public Hall which is located in the centre of the beautiful Nara National Park, within 20 minutes walk from the Kintestu Nara Station. EVENTS RTA'05 19-21 April http://www-i2.informatik.rwth-aachen.de/RTA05/ TLCA'05 21-23 April http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ RULE'05 23 April http://rule2005.loria.fr/ UNIF'05 22 April http://rewriting.loria.fr/UNIF-2005/ WRS'05 22 April http://www.pps.jussieu.fr/%7Edicosmo/WRS05/ IFIP WG1.6 18 April http://rewriting.loria.fr/IFIP-WG1.6/ Conference Dinner is scheduled on 21 April. ORGANIZERS Masahito Hasegawa (RDP organizing co-chair, TLCA organizing committee chair) Hitoshi Ohsaki (RDP organizing co-chair, RTA conference chair) CONTACT Enquiries should be sent to the organizers <rdp05@m.aist.go.jp>. FURTHER INFORMATION RDP website: http://www.kurims.kyoto-u.ac.jp/rdp05/ =======================================================================