logo
Finite model theory

カンファレンス検索結果 (3)

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 その他

Machines, Computations and Universality (MCU)

Rank: COffline
Nice, France
Jun 5, 2024 - Jun 7, 2024
computation in the setting of various discrete models (Turing machinesregister machinescellular automata+45 その他

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 その他