posted by system || 2814 views || tracked by 1 users: [display]

RTA 2010 : 21st International Conference on Rewriting Techniques and Applications

FacebookTwitterLinkedInGoogle


Conference Series : Rewriting Techniques and Applications
 
Link: http://www.floc-conference.org/RTA-cfp.html
 
When Jul 11, 2010 - Jul 13, 2010
Where Edinburgh, Scotland
Abstract Registration Due Jan 15, 2010
Submission Deadline Jan 22, 2010
Notification Due Mar 8, 2010
Final Version Due Apr 3, 2010
 

Call For Papers

The 21st International Conference on Rewriting Techniques and Applications (RTA 2010) is organized as part of the Federated Logic Conference (FLOC 2010), together with the International Joint Conference on Automated Reasoning (IJCAR 2010), the Conference on Automated Verification (CAV 2010), the IEEE Symposium on Logic in Computer Science (LICS 2010), the International Conference on Logic Programming (ICLP 2010), the Conference on Theory and Applications of Satisfiability Testing (SAT 2010), the Conference on Interactive Theorem Proving (ITP 2010) and many workshops. FLOC 2010 will be held at the Univerity of Edinburgh.
Important Dates

* Abstract submission: January 15, 2010
* Paper submission January 22, 2010
* Notification: March 8, 2010
* Final version: April 3, 2010

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;
* 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; explicity substitutions;
* Semantics: equational logic; rewriting logic; rewriting models of programs.

Invited Speakers

Georg Gottlob (Oxford, UK) and J. Strother Moore (Austin, USA) will be keynote speakers for the RTA block at FLOC. RTA invited speakers will be announced later.
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.
Conference Chair

Fairouz Kamereddine (Edinburgh, UK)
Programme Committee

Takahito Aoto (Sendai, Japan)
Hubert Comon-lundh (Cachan, France)
Dan Dougherty (Worcester, USA)
Gilles Dowek (Paris, France)
Rachid Echahed (Grenoble, France)
Santiago Escobar (Valencia, Spain)
Maribel Fernandez (London, UK)
Guillem Godoy (Barcelona, Spain)
Bernhard Gramlich (Vienna, Austria)
Patricia Johann (Glasgow, UK)
Fairouz Kamareddine (Edinburgh, UK)
Delia Kesner (Paris, France)
Christopher Lynch, chair (Potsdam, USA)
Georg Moser (Innsbruck, Austria)
Hitoshi Ohsaki (Osaka, Japan)
Femke van Raamsdonk (Amsterdam, The Netherlands)
Sophie Tison (Lille, France)
Johannes Waldmann (Leipzig, Germany)
Paper Submission

Submissions must be original and not submitted for publication elsewhere. Submissions must fall into one of the following categories (to be indicated at submission):

1. Regular research papers: describing new results; they will be judged on correctness and significance.
2. 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.

Submissions are accepted in either Postscript or PDF format.
Abstracts and papers must be submitted electronically through the EasyChair system here.

Questions concerning submissions may be addressed to the PC chair, Christopher Lynch.

Related Resources

SI_Fault_IoV_OTJ 2025   Special Issue on Tools, Techniques, and Applications for Fault Tolerant and Reliable Vehicular Ad-hoc Networks (VANET) and Internet of Vehicles (IoV), The Open Transportation Journ
ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
PAKDD 2025   29th Pacific-Asia Conference on Knowledge Discovery and Data Mining
CLNLP 2025   2025 2nd International Conference on Computational Linguistics and Natural Language Processing
MobiCASE 2025   16th EAI International Conference on Mobile Computing, Applications and Services
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
IEEE CAI 2025   IEEE Conference on Artificial Intelligence
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IARIA Congress 2025   The 2025 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications