categories - Category Theory list
 help / color / mirror / Atom feed
From: Masahiko Sakai (RTA publicity chair) <sakai@is.nagoya-u.ac.jp>
To: categories@mta.ca
Subject: RTA CFP 2011
Date: Thu, 07 Oct 2010 17:58:38 +0900 (JST)	[thread overview]
Message-ID: <E1P4I5s-0007cT-Cp@mlist.mta.ca> (raw)


    ********************************************************
    *                                                      *
    *                       RTA 2011                       *
    *         Rewriting Techniques and Applications        *
    *            22nd International Conference             *
    *                                                      *
    *     Monday, May 30  - Wednesday, June 1, 2011,       *
    *              Novi Sad, Serbia                        *
    *          http://www.rdp2011.uns.ac.rs/               *
    *                                                      *
    *                    Call for Papers                   *
    *                                                      *
    ********************************************************

The 22nd International Conference on Rewriting Techniques and
Applications (RTA 2011) is organized as part of the Federated
Conference on Rewriting, Deduction, and Programming (RDP 2011),
together with the International Conference on Typed Lambda Calculi and
Applications (TLCA 2011), and several workshops.  RDP 2011 will be
held at the University of Novi Sad, Serbia.

   
IMPORTANT DATES:

Abstract Submission:  January 7, 2011 (Friday)

Paper Submission:     January 14, 2011 (Friday)

Notification:         March 4, 2011 (Friday)

Final version:        April 3, 2011 (Sunday)

Conference:           May 30, 2011 (Monday)

RTA is the major forum for the presentation of research on all aspects
of rewriting. Typical areas of interest include (but are not limited
to):

* Applications: case studies; analysis of cryptographic protocols;
   rule-based (functional and logic) programming; symbolic and
   algebraic computation; theorem proving; system synthesis and
   verification; proof checking; reasoning about programming languages
   and logics; program transformation; XML queries and transformations

* Foundations: matching and unification; narrowing; completion
   techniques; strategies; rewriting calculi; constraint solving; tree
   automata; termination; complexity; combination;

* Frameworks: string, term, and graph rewriting; lambda-calculus and
   higher-order rewriting; constrained rewriting/deduction; categorical
   and infinitary rewriting; integration of decision procedures; net
   rewriting; binding techniques;

* Implementation: implementation techniques; parallel execution;
   rewrite tools; termination checking; abstract machines; explicit
   substitutions;

* Semantics: equational logic; rewriting logic; rewriting models of
   programs.

INVITED SPEAKERS:
Ashish Tiwari (SRI,USA) and Sophie Tison (Univ. Lille and LIFL, France)
will be invited speakers at RTA.

BEST PAPER AWARD:
A prize of 500 Euro will be given to the best paper as judged by the
program committee. The program committee may decline to make the award
or may split it among several papers.

PROGRAMME CHAIR:
* Manfred Schmidt-Schauss (Goethe-Universität Frankfurt, Germany)

PROGRAM COMMITTEE:
Franz Baader          (TU Dresden, Germany)
Frederic Blanqui      (INRIA, China)
Veronique Cortier     (CNRS, Loria, France)
Dan Dougherty         (Worcester Polytechnic Institute, United States)
Maribel Fernandez     (King's College London, United Kingdom)
Juergen Giesl         (RWTH Aachen, Germany)
Florent Jacquemard    (INRIA Saclay, France)
Fairouz Kamareddine   (Heriot-Watt University, United Kingdom)
Salvador Lucas        (Universidad Politécnica de Valencia, Spain)
Narciso Marti-Oliet   (Universidad Complutense de Madrid, Spain)
Aart Middeldorp       (University of Innsbruck, Austria)
Georg Moser           (University of Innsbruck, Austria)
Paliath Narendran     (University at Albany--SUNY, United States)
Joachim Niehren       (INRIA Lille, France)
Hitoshi Ohsaki        (AIST Osaka, Japan)
Vincent van Oostrom   (Universiteit Utrecht, The Netherlands)
Femke van Raamsdonk   (Vrije Universiteit Amsterdam, The Netherlands)
Grigore Rosu          (University of Illinois at Urbana-Champaign, USA)
Manfred Schmidt-Schauss (Goethe-Universität Frankfurt, Germany)     (Chair)
Aleksy Schubert       (The University of Warsaw,Poland)
Jakob Grue Simonsen   (University of Copenhagen, Danmark)
Rene Thiemann         (University of Innsbruck, Austria)
Christian Urban       (TU München, Germany)
Johannes Waldmann     (HTWK Leipzig, Germany)
Hans Zantema          (Technische Universiteit Eindhoven, The Netherlands)

CONFERENCE CHAIR
  Silvia Ghilezan, U Novis Sad, Serbia   
     
PUBLICATION:
RTA proceedings will be published by LIPIcs (Leibniz International
Proceedings in Informatics). LIPIcs is open access, meaning that
publications will be available online and free of charge, and authors
keep the copyright for their papers.  LIPIcs publications are indexed
in DBLP.  STACS, FSTTCS and ICLP proceedings also appear in LIPIcs.
See
   http://www.dagstuhl.de/en/publications/lipics 
for more information about LIPIcs.

Printed proceedings of RTA will be provided to the participants at the 
conference.

SUBMISSIONS:
Submissions must be original and not submitted for publication
elsewhere. Submissions must fall into one of the following categories
(to be indicated in the title page):

1. Regular research Papers: describing new results; they will be
    judged on correctness and significance.

2. Experience papers: describing the experience of applying rewriting
    techniques in other areas; they will be judged on relevance and
    comparison with other approaches.

3. Problem sets that provide realistic and interesting challenges in
    the field of rewriting.

4. System descriptions; they should contain a link to a working system
    and will be judged on usefulness and design.

All submissions will be judged on originality and quality of
presentation. Submissions in the first three categories can be up to
15 proceedings pages long, system descriptions up to 10 proceedings
pages.  Additional material, for instance proof details, may be given
in an appendix which is not subject to the page limit.  However,
submissions must be self-contained within the respective page limit;
reading the appendix should not be necessary to assess the merits of a
submission.

Abstracts and papers must be submitted electronically through the
EasyChair system at:

  http://www.easychair.org/conferences/?conf=rta2011

INSTRUCTIONS FOR AUTHORS:
Submitted works are limited to 15 pages, including references.  An
appendix may or may not be part of the submission, which will not be
included in the proceedings. Submissions must use the LaTeX class
lipics.cls, and should take the information on the LaTeX formatting
into acount. LaTeX files and formatting information is available for
download at http://www.rdp2011.uns.ac.rs/rta/index.html

Questions concerning submissions may be addressed to the PC chair,
Manfred Schmidt-Schauss <schauss "AT" ki.informatik.uni-frankfurt.de>.

--


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


                 reply	other threads:[~2010-10-07  8:58 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=E1P4I5s-0007cT-Cp@mlist.mta.ca \
    --to=sakai@is.nagoya-u.ac.jp \
    --cc=categories@mta.ca \
    /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).