From: Georg Moser <georg.moser@uibk.ac.at>
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
Subject: [Caml-list] Deadline Extension RTA 2012
Date: Fri, 06 Jan 2012 08:30:22 +0100 [thread overview]
Message-ID: <4F06A30E.6050800@uibk.ac.at> (raw)
********************************************************
* 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
reply other threads:[~2012-01-06 7:30 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F06A30E.6050800@uibk.ac.at \
--to=georg.moser@uibk.ac.at \
--cc=Maude-users@cs.uiuc.edu \
--cc=agda@lists.chalmers.se \
--cc=agents@cs.umbc.edu \
--cc=aiia@dis.uniroma1.it \
--cc=aila@unicam.it \
--cc=alg.announce@catalyse.net \
--cc=apng-all@apng.org \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccl@ps.uni-sb.de \
--cc=clean-list@science.ru.nl \
--cc=clp@comp.nus.edu.sg \
--cc=comlab@comlab.ox.ac.uk \
--cc=complog@cs.nmsu.edu \
--cc=comprox@doc.ic.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=concurrency@cwi.nl \
--cc=coq-club@inria.fr \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=csd@lists.ut.ee \
--cc=curry@lists.RWTH-Aachen.DE \
--cc=dmanet@zpr.uni-koeln.de \
--cc=elsnet-list@let.uu.nl \
--cc=fg214@informatik.uni-kiel.de \
--cc=finite-model-theory@lists.RWTH-Aachen.DE \
--cc=fmics@inrialpes.fr \
--cc=fom@cs.nyu.edu \
--cc=gdr-im@gdr-im.fr \
--cc=gdr.gpl@imag.fr \
--cc=haskell@haskell.org \
--cc=hol-info@lists.sourceforge.net \
--cc=kgs-list@logic.at \
--cc=ki-inf@uni-koblenz.de \
--cc=kr@kr.org \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=linear@cs.stanford.edu \
--cc=loco@csc.liv.ac.uk \
--cc=logic-list@helsinki.fi \
--cc=logic@cs.stanford.edu \
--cc=logik@math.uni-freiburg.de \
--cc=lprolog@cs.umn.edu \
--cc=math.logik@gmx.net \
--cc=mercury-users@cs.mu.OZ.AU \
--cc=moca-announce@list.it.uu.se \
--cc=newsletter@aarinc.org \
--cc=nvti-list@cwi.nl \
--cc=om-announce@openmath.org \
--cc=pept@yl.is.s.u-tokyo.ac.jp \
--cc=pmt6sbc@leeds.ac.uk \
--cc=prog-lang@diku.dk \
--cc=prole@babel.ls.fi.upm.es \
--cc=proof-complexity@math.cas.cz \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=relmics-l@McMaster.CA \
--cc=rewriting@listes.ens-lyon.fr \
--cc=rewriting@m.aist.go.jp \
--cc=sicstus-users-request@sics.se \
--cc=softtech@cs.uu.nl \
--cc=spin_list@research.bell-labs.com \
--cc=termtools@lri.fr \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theory@cl.cam.ac.uk \
--cc=types-announce@lists.seas.upenn.edu \
--cc=vki-list@dfki.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).