Conference Information
RTA 2015: International Conference on Rewriting Techniques and Applications
http://rdp15.mimuw.edu.pl/index.php?site=rtaSubmission Date: |
2015-01-30 |
Notification Date: |
2015-04-08 |
Conference Date: |
2015-06-29 |
Location: |
Warsaw, Poland |
Years: |
26 |
CCF: c CORE: a QUALIS: b1 Viewed: 10561 Tracked: 2 Attend: 0
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.
Last updated by Dou Sun in 2015-01-10
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
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% |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
AES2E | International Conference on Advance in Environmental Science and Energy Engineering | 2021-07-10 | 2021-08-27 |
AESPP | International Conference on Aerospace Energy Systems and Power Plants | 2018-07-10 | 2018-09-12 |
ICCSA | International Conference on Computational Science and Its Applications | 2022-04-12 | 2022-07-04 |
CCSEIT | International Conference on Computer Science, Engineering and Information Technology | 2022-02-12 | 2022-02-26 |
SPDE | International Conference on Security and Privacy in Digital Economy | 2020-05-15 | 2020-10-30 |
CAMAD | International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks | 2023-07-31 | 2023-11-06 |
SmartCloud | IEEE International Conference on Smart Cloud | 2023-05-15 | 2023-09-16 |
I3E | IFIP Conference on e-Business, e-Services, e-Society | 2018-06-21 | 2018-10-30 |
MobileMed | Conference on Mobile and Information Technologies in Medicine | 2014-10-05 | 2014-11-20 |
ICCA' | International Conference on Control and Automation | 2016-12-23 | 2017-01-13 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
International Journal of Grid Computing & Applications | AIRCC | 2229-3949 | ||
International Journal of Circuit Theory and Applications | 1.554 | Wiley-Blackwell | 0098-9886 | |
c | Expert Systems with Applications | 6.954 | Elsevier | 0957-4174 |
c | Journal of Web Engineering | Rinton Press | 1540-9589 | |
Journal of Complex Analysis | Hindawi | 2314-4963 | ||
Neural Computing and Applications | 5.606 | Springer | 0941-0643 | |
c | Neural Processing Letters | 2.908 | Springer | 1370-4621 |
International Journal of Artificial Intelligence & Applications | AIRCC | 0976-2191 | ||
International Journal of Network Security & Its Applications | AIRCC | 0975-2307 | ||
Journal of Interaction Science | Springer | 2194-0827 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Grid Computing & Applications | AIRCC | |
International Journal of Circuit Theory and Applications | 1.554 | Wiley-Blackwell |
Expert Systems with Applications | 6.954 | Elsevier |
Journal of Web Engineering | Rinton Press | |
Journal of Complex Analysis | Hindawi | |
Neural Computing and Applications | 5.606 | Springer |
Neural Processing Letters | 2.908 | Springer |
International Journal of Artificial Intelligence & Applications | AIRCC | |
International Journal of Network Security & Its Applications | AIRCC | |
Journal of Interaction Science | Springer |
Recommendation