From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q067U7sF027397;
	Fri, 6 Jan 2012 08:30:07 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AswBAGahBk8+s3kgjWdsb2JhbABDDqx0IgEBAQEJCQsJEgUighYbMBABPBYYAwIBAgFLDQEHAQEFh3MGqHuNCYwRBJUHkX44
X-IronPort-AV: E=Sophos;i="4.71,467,1320620400"; 
   d="scan'208";a="138082588"
Received: from fep12.mx.upcmail.net ([62.179.121.32])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Jan 2012 08:30:01 +0100
Received: from edge01.upcmail.net ([192.168.13.236])
          by viefep12-int.chello.at
          (InterMail vM.8.01.05.04 201-2260-151-105-20111014) with ESMTP
          id <20120106073000.TIJF29183.viefep12-int.chello.at@edge01.upcmail.net>;
          Fri, 6 Jan 2012 08:30:00 +0100
Received: from localhost.localdomain ([212.186.32.254])
	by edge01.upcmail.net with edge
	id J7Vx1i00w5UyhdQ017Vy4E; Fri, 06 Jan 2012 08:30:00 +0100
X-SourceIP: 212.186.32.254
X-Authenticated-Sender: georg.moser1@chello.at
Message-ID: <4F06A30E.6050800@uibk.ac.at>
Date: Fri, 06 Jan 2012 08:30:22 +0100
From: Georg Moser <georg.moser@uibk.ac.at>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:9.0) Gecko/20111222 Thunderbird/9.0
MIME-Version: 1.0
To: Georg Moser <georg.moser@uibk.ac.at>
CC: agda@lists.chalmers.se, agents@cs.umbc.edu, aiia@dis.uniroma1.it,
        aila@unicam.it, alg.announce@catalyse.net, apng-all@apng.org,
        appsem@tcs.informatik.uni-muenchen.de, asl@vassar.edu, cade@itu.dk,
        caml-list@inria.fr, categories@mta.ca, ccl@ps.uni-sb.de,
        clean-list@science.ru.nl, clp@comp.nus.edu.sg, comlab@comlab.ox.ac.uk,
        complog@cs.nmsu.edu, comprox@doc.ic.ac.uk,
        compulognet-parimp@dia.fi.upm.es, concurrency@cwi.nl,
        coq-club@inria.fr, cphc-conf@jiscmail.ac.uk, csd@lists.ut.ee,
        curry@lists.RWTH-Aachen.DE, dmanet@zpr.uni-koeln.de,
        elsnet-list@let.uu.nl, fg214@informatik.uni-kiel.de,
        finite-model-theory@lists.RWTH-Aachen.DE, fmics@inrialpes.fr,
        fom@cs.nyu.edu, gdr.gpl@imag.fr, gdr-im@gdr-im.fr, haskell@haskell.org,
        hol-info@lists.sourceforge.net, kgs-list@logic.at,
        ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk,
        lics@informatik.hu-berlin.de, linear@cs.stanford.edu,
        loco@csc.liv.ac.uk, logic@cs.stanford.edu, logic-list@helsinki.fi,
        termtools@lri.fr, logik@math.uni-freiburg.de, lprolog@cs.umn.edu,
        math.logik@gmx.net, Maude-users@cs.uiuc.edu, mercury-users@cs.mu.OZ.AU,
        moca-announce@list.it.uu.se, newsletter@aarinc.org, nvti-list@cwi.nl,
        om-announce@openmath.org, pept@yl.is.s.u-tokyo.ac.jp,
        pmt6sbc@leeds.ac.uk, prog-lang@diku.dk, prole@babel.ls.fi.upm.es,
        proof-complexity@math.cas.cz, puml-list@cs.york.ac.uk, pvs@csl.sri.com,
        relmics-l@McMaster.CA, rewriting@listes.ens-lyon.fr,
        rewriting@m.aist.go.jp, sicstus-users-request@sics.se,
        softtech@cs.uu.nl, spin_list@research.bell-labs.com,
        theorem-provers@ai.mit.edu, theory@cl.cam.ac.uk,
        theory-logic@cs.cmu.edu, types-announce@lists.seas.upenn.edu,
        vki-list@dfki.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Validation-by: georg.moser@uibk.ac.at
Subject: [Caml-list] Deadline Extension RTA 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