[logic-ml] RTA 2012: Call for Participation

[Nao Hirokawa]

皆様

5月30日に名古屋大学で行われます書換えに関する国際会議 RTA 2012 の
参加者募集をご案内致します。皆様のご参加を心よりお待ち申し上げます。

廣川 (JAIST)

+===================================================================+
|                                                                   |
|                      CALL FOR PARTICIPATION                       |
|                                                                   |
| International Conference on Rewriting Techniques and Applications |
|                                                                   |
|                            RTA 2012                               |
|                                                                   |
|                      May 30 - June 1, 2012                        |
|                          Nagoya, Japan                            |
|                                                                   |
|              http://rta2012.trs.cm.is.nagoya-u.ac.jp/             |
|                                                                   |
+===================================================================+

---------------------------------------------------------------------
-- REGISTRATION --
---------------------------------------------------------------------

  For online registration visit:

      https://apollon.nta.co.jp/rta2012/

  * Early registration closes on April 25 JST(GMT+9).
  * Online registration closes on May 9 JST(GMT+9).

---------------------------------------------------------------------
-- ABOUT RTA --
---------------------------------------------------------------------

  RTA 2012 is the 23rd International Conference on Rewriting 
  Techniques and Applications, collocated with five satellite 
  workshops, IFIP WG 1.6, IWC, WFLP, HOR and TTATT.

---------------------------------------------------------------------
-- CONFERENCE VENUE --
---------------------------------------------------------------------

  Noyori Memorial Hall, Higashiyama Campus of Nagoya University

---------------------------------------------------------------------
-- RTA 2012 INVITED SPEAKERS --
---------------------------------------------------------------------

  * Hirokazu Anai      (FUJITSU LABORATORIES LTD / Kyushu University)

  * Claude Kirchner    (INRIA & LORIA)

  * Sebastian Maneth   (NICTA & University of New South Wales)

---------------------------------------------------------------------
-- WORKSHOPS --
---------------------------------------------------------------------

  * IFIP WG 1.6   IFIP Working Group 1.6 on Term Rewriting

  * IWC           1st International Workshop on Confluence

  * WFLP          21st International Workshop on Functional and 
                  (Constraint) Logic Programming

  * HOR           6th International Workshop on Higher-Order Rewriting

  * TTATT         1st International Workshop on Trends in Tree Automata 
                  and Tree Transducers


---------------------------------------------------------------------
-- SCHEDULE --
---------------------------------------------------------------------

  * May 28            IFIP WG 1.6

  * May 29            IWC, WFLP

  * May 30 - June 1   RTA

  * June 2            HOR, TTATT

---------------------------------------------------------------------
-- ASSOCIATED EVENTS --
---------------------------------------------------------------------

  FLOPS 2012   11th International Symposium on Functional and Logic 
               Programming
               May 23 - 25, Kobe, Japan
               http://www.org.kobe-u.ac.jp/flops2012/

  * It takes about 70 minutes to go from Nagoya to Kobe by Shinkansen.

---------------------------------------------------------------------
-- HOST CITY: NAGOYA, JAPAN  --
---------------------------------------------------------------------

  Nagoya is located at the center of Honshu (the main island of 
  Japan) with a population of 2.24 million. Thanks to the rich water 
  resources of the Kisogawa, Nagaragawa and Ibigawa Rivers, the 
  fertile land which enjoy the blessings of the rivers, and other 
  advantages including good transportation links, its people have 
  lived affluent lives since early days.

  Nagoya has a long history and is the birthplace of three notable 
  feudal lords, Oda Nobunaga, Toyotomi Hideyoshi and Tokugawa Ieyasu. 
  Also in Nagoya, traditional industries like ceramics and textiles, 
  and today's key industries like automobiles, aviation and machine 
  tools have developed, and Nagoya has an important role in Japan's 
  industrial society.

  Furthermore, the Central Japan International Airport (Centrair) 
  opened in February 2005, and in March 2005, Expo 2005 Aichi Japan 
  started. Centrair has flight connections with Frankfurt, Helsinki, 
  Detroit, Tokyo Narita, etc. Today, Nagoya grabs attention and 
  keeps on developing as a Japanese international city.

  You can see more detailed information from the website of Nagoya 
  Convention & Visitors Bureau:
      http://www.ncvb.or.jp/en/contents/

  For travel and accommodation information, please consult the RTA 
  2012 website:
      http://rta2012.trs.cm.is.nagoya-u.ac.jp/

  RTA 2012 is organized by Nagoya University, Graduate School of 
  Information Science and will take place in Higashiyama campus of 
  Nagoya University.

---------------------------------------------------------------------
-- REGISTRATION (again) --
---------------------------------------------------------------------

  For online registration visit:

      https://apollon.nta.co.jp/rta2012/

  * Early registration closes on April 25.
  * Online registration closes on May 9.

---------------------------------------------------------------------
-- CONTACT --
---------------------------------------------------------------------

  See http://rta2012.trs.cm.is.nagoya-u.ac.jp/