RTA
International Conference on Rewriting Techniques and Applications (now merged with FSCD Formal Structures for Computation and Deduction)
Metrics
- CORE rank
- A CORE / ICORE
About RTA
- Full name
- International Conference on Rewriting Techniques and Applications (now merged with FSCD Formal Structures for Computation and Deduction)
- Subfields
- Theory
- Field of research
- Computation Theory and Mathematics (FoR 0802)
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- ACORE
APPROX/RANDOMInternational Workshop on Approximation Algorithms for Combinatorial Optimization Problems and International Conference on Randomization and Computation
- ACORE
AFIPSAmerican Federation of Information Processing Societies
- ACORE
DTMInternational Conference on Design Theory and Methodology (ASME)
- ACORE
GDGraph Drawing
- ACORE
ALENEXWorkshop on Algorithm Engineering and Experiments
- ACORE
ICTLInternational Conference on Temporal Logic
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences