* [Caml-list] Deadline Extension RTA 2012
@ 2012-01-06 7:30 Georg Moser
0 siblings, 0 replies; only message in thread
From: Georg Moser @ 2012-01-06 7:30 UTC (permalink / raw)
To: Georg Moser
Cc: agda, agents, aiia, aila, alg.announce, apng-all, appsem, asl,
cade, caml-list, categories, ccl, clean-list, clp, comlab,
complog, comprox, compulognet-parimp, concurrency, coq-club,
cphc-conf, csd, curry, dmanet, elsnet-list, fg214,
finite-model-theory, fmics, fom, gdr.gpl, gdr-im, haskell,
hol-info, kgs-list, ki-inf, kr, lfcs-interest, lics, linear,
loco, logic, logic-list, termtools, logik, lprolog, math.logik,
Maude-users, mercury-users, moca-announce, newsletter, nvti-list,
om-announce, pept, pmt6sbc, prog-lang, prole, proof-complexity,
puml-list, pvs, relmics-l, rewriting, rewriting,
sicstus-users-request, softtech, spin_list, theorem-provers,
theory, theory-logic, types-announce, vki-list
********************************************************
* 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-01-06 7:30 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-01-06 7:30 [Caml-list] Deadline Extension RTA 2012 Georg Moser
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).