logo
Rewriting systems

نتایج کنفرانس‌ها (3)

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026 - May 28, 2026
functional programminglogic programmingfunctional-logic programming+7 بیشتر

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 بیشتر

Current Trends in Theory and Practice of Computer Science (SOFSEM)

Rank: BOffline
Kraków, Poland
Feb 9, 2026 - Feb 13, 2026
algorithm engineeringalgorithms and data structuresautomata+7 بیشتر