[Agda] Deadline Extension RTA 2012

Georg Moser georg.moser at uibk.ac.at
Fri Jan 6 08:30:22 CET 2012


     ********************************************************
     *                  DEADLINE EXTENSION                  *
     *                       RTA 2012                       *
     *         Rewriting Techniques and Applications        *
     *             23rd International Conference            *
     *                                                      *
     *         May 28 - Jun 2, 2012, Nagoya, Japan          *
     *       http://rta2012.trs.cm.is.nagoya-u.ac.jp/       *
     *                                                      *
     ********************************************************

The deadline for submission to RTA 2012 is being extended by a week.

The new dates are:
Abstract:           Jan 11, 2012 (extended by a week)
Paper Submission:   Jan 16, 2012 (extended by a week)
Notification:       Mar 02, 2012 (unchanged)
Final version:      Mar 26, 2012 (unchanged)

SUBMISSIONS:
Abstracts and papers must be submitted electronically through the
EasyChair system at:
       http://www.easychair.org/conferences/?conf=rta2012

Submissions are accepted in either Postscript or PDF format.
LaTeX template for LIPIcs is available at:
    http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
LaTeX template specialized for RTA 2012 is available at:
    http://www.csl.sri.com/users/tiwari/lipics-authors-rta2012.tgz
Authors can use either one for preparing their submission.

For other details, please see the Call for Papers at:
    http://rta2012.trs.cm.is.nagoya-u.ac.jp/CFP3-text.html

Questions concerning submissions may be addressed to the PC chair,
Ashish Tiwari by emailing ashish_dot_tiwari_at_sri_dot_com


More information about the Agda mailing list