Deadline Extension RTA 2012

Georg Moser <[email protected]> Fri, 06 Jan 2012 08:30:22 +0100

Newsgroups	gmane.comp.lang.caml.inria,gmane.comp.lang.agda,gmane.science.mathematics.categories,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.discrete,gmane.comp.lang.haskell.general,gmane.comp.mathematics.hol,gmane.comp.lang.lambda-prolog,gmane.comp.lang.maude.general,gmane.comp.lang.mercury.general,gmane.comp.programming.pept,gmane.comp.science.types.announce
Message-ID	<[email protected]>

Newsgroups

gmane.comp.lang.caml.inria,gmane.comp.lang.agda,gmane.science.mathematics.categories,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.discrete,gmane.comp.lang.haskell.general,gmane.comp.mathematics.hol,gmane.comp.lang.lambda-prolog,gmane.comp.lang.maude.general,gmane.comp.lang.mercury.general,gmane.comp.programming.pept,gmane.comp.science.types.announce

Message-ID

<[email protected]>

     ********************************************************
     *                  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

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs