[TYPES] UNIF'05 Call for Participation

[Pawel Urzyczyn]

[ Apologies for multiple copies ]
======================================================================

			      UNIF'2005

	      19th International Workshop on Unification

		      April 22, 2005, Nara, Japan

		 http://rewriting.loria.fr/UNIF-2005/

			CALL FOR PARTICIPATION

	  *** Early Registration Deadline: 31 March 2005 ***

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

The 19th UNIF workshop, as for the eighteen previous meetings, will
bring together people interested in unification, for a full day of
presentations and discussions.

In addition to the 8 selected presentations, this meeting will include
two invited talks:
- "Querying XML documents by tree automata", by Joachim Niehren, and
- "Can Proofs be Animated by Games?", by Susumu Hayashi (common with TLCA).

It will end with a panel entitled "20 Years After OBJ2", organized by
Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud and Jose
Meseguer.


For the full programme and all registration and accomodation
information, see the UNIF'2005 web page:

		 http://rewriting.loria.fr/UNIF-2005/


See you soon in Nara.

Laurent Vigneron
UNIF'2005 OC Chair


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

			       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/

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