1. Venues
  2. Conferences
  3. FSCD
BCORE
Conference

FSCD

International Conference on Formal Structures for Computation and Deduction

Metrics

CORE rank
B
CORE / ICORE
CCF rank
C
China Computer Federation
Editions tracked
11
Running since
2016

About FSCD

Full name
International Conference on Formal Structures for Computation and Deduction
Subfields
Theory
Field of research
Theory of computation (FoR 4613)
Latest edition
Nijmegen, Netherlands, 2027

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

  1. BCOREconferenceCCF C

    ALTAlgorithmic Learning Theory

    Leiden, Netherlands, 2027 · Theory, Machine Learning, Artificial Intelligenceh5-index 15
  2. BCOREconferenceCCF C

    ISAACInternational Symposium on Algorithms and Computation

    Hangzhou, China, 2026 · Theory
  3. BCOREconference

    ALEXAlgorithms and Experiments

  4. BCOREconference

    DMTCSInternational Conference on Discrete Mathematics and Theoretical Computer Science

    Theory
  5. BCOREconference

    CASCComputer Algebra in Scientific Computing

    Aachen, Germany, 2015 · Theory
  6. BCOREconference

    AAAAECCInternational Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    Theory

Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences