logo
Logic

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

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 その他

International Conference on Coordination Models and Languages (Coordination)

Rank: COffline
Lille, France
Jun 16, 2025 - Jun 20, 2025
Theoretical models and foundations for coordinationcomponent compositionconcurrency+67 その他

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 その他

International Symposium on Theoretical Aspects of Computer Science (STACS)

Rank: AOffline
Jena, Germany
Mar 4, 2025 - Mar 7, 2025
AlgorithmsData Structures and ComplexityAutomata+3 その他

International Conference on Principles and Practice of Declarative Programming (PPDP)

Rank: COffline
University of Calabria, Rende, Italy
Sep 10, 2025 - Sep 11, 2025
Declarative Programmingfunctionallogic+2 その他

International Joint Conference on Automated Reasoning (IJCAR)

Rank: AOffline
Lisbon, Portugal
Jul 26, 2026 - Jul 29, 2026
Automated ReasoningLogicComputer Science+7 その他

International Conference on Computing and Combinatorics (COCOON)

Rank: National:ChinaOffline
Chengdu, China
Aug 15, 2025 - Aug 17, 2025
AlgorithmsTheory of ComputationComputational Complexity+27 その他

Computability in Europe: Logic and Theory of Algorithms (CiE)

Rank: COffline
Lisbon
Jul 14, 2025 - Jul 18, 2025
Fuzzy ComputationEvolutionary ComputationNeural Computation+10 その他