JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@jiscmail.ac.uk


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  April 2012

CPHC-CONF April 2012

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

2nd Call for Participation: RTA 2012

From:

Georg Moser <[log in to unmask]>

Reply-To:

Georg Moser <[log in to unmask]>

Date:

Wed, 11 Apr 2012 20:11:21 +0200

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (185 lines)

+===================================================================+
|                                                                   |
|                      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

          [log in to unmask]

   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/

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager