[TYPES] RULE'05 - CALL FOR PARTICIPATION

Horatiu Cirstea Horatiu.Cirstea at loria.fr
Fri Mar 11 08:59:59 EST 2005


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 at m.aist.go.jp>.

FURTHER INFORMATION

  RDP website:	http://www.kurims.kyoto-u.ac.jp/rdp05/

=======================================================================



More information about the Types-list mailing list