(mobo import Concept___Event_For_Confident-migrated) |
(No difference)
|
Revision as of 21:33, 6 April 2022
The 24th International Workshop on Computer Science Logic (CSL) 2010
Topics
- Program Extraction and Constructive Proofs / Classical Logic and Computation
- Randomized and Quantum Computation,
- Workshop on Fixed Points in Computer Science
- Young Researchers Forum
- Theory and Algorithmic Aspects of Graph Crossing Number
- International Workshop on Reachability Problems
- Games and Probabilistic Models in Formal Verification
- Mathematical Foundations of Fuzzy Logics
- Logic, Combinatorics and Computation
- Parametrized Complexity of Computational Reasoning