会議情報

RTA 2015: International Conference on Rewriting Techniques and Applications

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
投稿締切日:
2015-01-30 締切済み
通知日:
2015-04-08
開催日:
2015-06-29
開催地:
Warsaw, Poland
開催回数:
26
QUALIS: B1   閲覧: 26701   フォロー: 2   参加: 0
このページに誤りがありますか？お知らせください
締切カウントダウンバッジを埋め込む
RTA
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

論文募集

RTA 2015 (International Conference on Rewriting Techniques and Applications) is a QUALIS B1 conference held in Warsaw, Poland on 2015-06-29. The paper submission deadline is 2015-01-30. Acceptance notifications are sent on 2015-04-08.

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（）

採択率

平均採択率: 40% 10 年間 (1995–2008).

年投稿数採択数採択率(%)
2008573052.6%
2005792936.7%
2003612642.6%
2002492040.8%
2001552341.8%
2000441534.1%
1999532343.4%
1997542444.4%
1996842732.1%
1995872731%

関連会議

CCFICORECP-I略称正式名称投稿締切開催日
AA*95.8SIGIRInternational Conference on Research and Development in Information Retrieval2027-01-142027-07-18
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.7CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89.8ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97.6IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
AA*93.0STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87.6ICCInternational Conference on Communications2026-10-022027-05-30
CB63.0IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91.2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79.9PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971

コメント 0

まだコメントはありません。

コメントするにはログインしてください