# RTA — International Conference on Rewriting Techniques and Applications

- **Submission deadline**: 2015-01-30
- **Notification date**: 2015-04-08
- **Conference date**: 2015-06-29
- **Location**: Warsaw, Poland
- **Rankings**: QUALIS B1
- **Trackers**: 2
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/265

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2008 | 57 | 30 | 52.6% |
| 2005 | 79 | 29 | 36.7% |
| 2003 | 61 | 26 | 42.6% |
| 2002 | 49 | 20 | 40.8% |
| 2001 | 55 | 23 | 41.8% |
| 2000 | 44 | 15 | 34.1% |
| 1999 | 53 | 23 | 43.4% |
| 1997 | 54 | 24 | 44.4% |
| 1996 | 84 | 27 | 32.1% |
| 1995 | 87 | 27 | 31% |

## Call for papers

RTA is the major forum for the presentation of research on all aspects of rewriting. Topics of interest include: Foundations: string, term, net and graph rewriting; higher-order rewriting; binding techniques; constrained rewriting and deduction; categorical and infinitary rewriting; stochastic rewriting; higher-dimensional rewriting; tree automata; confluence; termination; complexity; modularity; equational logic; universal algebra; rewriting logic; rewriting calculi. Algorithmic aspects and implementation: strategies; matching; unification; anti-unification; narrowing; completion; parallel execution; certification of rewriting properties; abstract machines; automated (non)termination and confluence provers; automated complexity analysis; system descriptions. Applications of rewriting: programming languages (functional, logic, object-oriented and other programming paradigms); type systems; program analysis, transformation and optimisation; rewriting models of programs; semantics; process calculi; functional calculi; explicit substitution; constraint solving; symbolic and algebraic computation; theorem proving; proof checking; system modelling; system synthesis and verification; XML queries and transformations; cryptographic protocols; security policies; system biology; linguistics; rewriting in education.

## Related conferences

- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405

## Related journals

- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- IEEE Transactions on Computers — https://www.myhuiban.com/journal/3
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36

---
Source: Conference Partner — https://www.myhuiban.com/conference/265 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)