logo
database theory

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

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 بیشتر

International Conference on Computing and Combinatorics (COCOON)

Rank: National:ChinaOffline
Chengdu, China
Aug 15, 2025 - Aug 17, 2025
AlgorithmsTheory of ComputationComputational Complexity+27 بیشتر

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
Institute of Computer Science, University of Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 بیشتر

Extending Database Technology (EDBT)

Rank: AOffline
Tampere, Finland
Mar 24, 2026 - Mar 27, 2026
Data ManagementDatabase TheoryData Engineering

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
automated deduction and interactive theorem provingconcurrency and distributed computationconstructive mathematics and type theory+27 بیشتر

International Conference on Database Theory (ICDT)

Rank: AOffline
Tampere, Finland
Mar 24, 2026 - Mar 27, 2026
Data ManagementDatabase Theory