会議情報
RTA 2015: International Conference on Rewriting Techniques and Applications
http://rdp15.mimuw.edu.pl/index.php?site=rta提出日: |
2015-01-30 |
通知日: |
2015-04-08 |
会議日: |
2015-06-29 |
場所: |
Warsaw, Poland |
年: |
26 |
CCF: c CORE: a QUALIS: b1 閲覧: 11456 追跡: 2 出席: 0
論文募集
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.
最終更新 Dou Sun 2015-01-10
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
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% |
関連会議
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | 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 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
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 |
おすすめ