[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