logo
type theory

Conference Results (7)

International Conference on Mathematical Foundations of Programming Semantics (MFPS)

Rank: BOffline
Glasgow, Scotland
Jun 18, 2025 - Jun 20, 2025
process calculiprobabilistic systemsconstructive mathematics+14 more

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BUnknown
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 more

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
Glasgow, United Kingdom
Jun 16, 2025 - Jun 20, 2025
Modal logicsProof systemsRelational systems+64 more

Workshop on Logic, Language, Information and Computation (WoLLIC)

Rank: COffline
Porto, Portugal
Jul 14, 2025 - Jul 17, 2025
non-classical logicsfoundations of computingnovel computation models and paradigms+16 more

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
automata theoryautomated deductioncategorical models and logics+35 more

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

Rank: BOffline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
Formal StructuresComputationDeduction+39 more

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: CUnknown
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 more