[Agda] 2nd Call for Participation: RTA 2012
Georg Moser
georg.moser at uibk.ac.at
Wed Apr 11 20:11:21 CEST 2012
+===================================================================+
| |
| 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)
---------------------------------------------------------------------
-- STUDENT SUPPORT --
---------------------------------------------------------------------
A limited number of travel grants is available for students who
would not otherwise have resources to attend RTA 2012, and whose
attendance would benefit both the applicant and the conference.
The number of grants and the per-grant amount will be established on
a case by case basis, depending on the applicant's need and the
total amount of funds available for the program. Applicants should
note that a grant is limited, and that costs in excess of the grant
will not be reimbursed.
Grants will be awarded based on the grant committee's assessment of
the applicant's genuine financial need, the potential benefit to the
applicant's education, research, and career, and the potential
benefit to the conference. Among those applicants who genuinely
could not attend the conference without a grant, the evaluating
committee gives priority to (co-)authors of accepted papers.
Applicants should download and fill the application form and send it
by ** April 16 ** by email to
rta2012-grant at trs.cm.is.nagoya-u.ac.jp
Applicants should have their supervisor send a recommendation email
to the same address and by the same deadline. This letter should
describe the student's work, the benefit to that work of attending
the conference, and an assessment of the student's financial need.
Funds will be provided after the conference, upon submission of
receipts.
* Schedule
- Monday April 16: Deadline for applications and recommendation
letters
- Friday April 20: Notification about acceptance or rejection
- Wednesday April 25: Deadline for RTA 2012 early registration
---------------------------------------------------------------------
-- 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/
More information about the Agda
mailing list