coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Deadline Extension RTA 2012

From: Georg Moser <georg.moser AT uibk.ac.at>
To: Georg Moser <georg.moser AT uibk.ac.at>
Cc: agda AT lists.chalmers.se, agents AT cs.umbc.edu, aiia AT dis.uniroma1.it, aila AT unicam.it, alg.announce AT catalyse.net, apng-all AT apng.org, appsem AT tcs.informatik.uni-muenchen.de, asl AT vassar.edu, cade AT itu.dk, caml-list AT inria.fr, categories AT mta.ca, ccl AT ps.uni-sb.de, clean-list AT science.ru.nl, clp AT comp.nus.edu.sg, comlab AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, compulognet-parimp AT dia.fi.upm.es, concurrency AT cwi.nl, coq-club AT inria.fr, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, curry AT lists.RWTH-Aachen.DE, dmanet AT zpr.uni-koeln.de, elsnet-list AT let.uu.nl, fg214 AT informatik.uni-kiel.de, finite-model-theory AT lists.RWTH-Aachen.DE, fmics AT inrialpes.fr, fom AT cs.nyu.edu, gdr.gpl AT imag.fr, gdr-im AT gdr-im.fr, haskell AT haskell.org, hol-info AT lists.sourceforge.net, kgs-list AT logic.at, ki-inf AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, lics AT informatik.hu-berlin.de, linear AT cs.stanford.edu, loco AT csc.liv.ac.uk, logic AT cs.stanford.edu, logic-list AT helsinki.fi, termtools AT lri.fr, logik AT math.uni-freiburg.de, lprolog AT cs.umn.edu, math.logik AT gmx.net, Maude-users AT cs.uiuc.edu, mercury-users AT cs.mu.OZ.AU, moca-announce AT list.it.uu.se, newsletter AT aarinc.org, nvti-list AT cwi.nl, om-announce AT openmath.org, pept AT yl.is.s.u-tokyo.ac.jp, pmt6sbc AT leeds.ac.uk, prog-lang AT diku.dk, prole AT babel.ls.fi.upm.es, proof-complexity AT math.cas.cz, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, relmics-l AT McMaster.CA, rewriting AT listes.ens-lyon.fr, rewriting AT m.aist.go.jp, sicstus-users-request AT sics.se, softtech AT cs.uu.nl, spin_list AT research.bell-labs.com, theorem-provers AT ai.mit.edu, theory AT cl.cam.ac.uk, theory-logic AT cs.cmu.edu, types-announce AT lists.seas.upenn.edu, vki-list AT dfki.de
Subject: [Coq-Club] Deadline Extension RTA 2012
Date: Fri, 06 Jan 2012 08:30:22 +0100

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

[Coq-Club] Deadline Extension RTA 2012, Georg Moser