logo
type systems

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 Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 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 Formal Techniques for Java-like Programs (FTfJP)

Rank: COffline
Brussels, Belgium
Jun 30, 2026
Language design and semanticsType systemsConcurrency and new application domains+8 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

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

Rank: COffline
Rennes, France
Jan 13, 2026
fusiontype systemsanalysis+28 more