(mobo import Concept___Events-migrated) |
(mobo import Concept___Fix_Presence-migrated) |
||
Line 24: | Line 24: | ||
|End Date=2010/08/27 | |End Date=2010/08/27 | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
− | |Event Mode= | + | |Event Mode=on site |
}} | }} | ||
The 24th International Workshop on Computer Science Logic (CSL) 2010 | The 24th International Workshop on Computer Science Logic (CSL) 2010 |
Revision as of 11:48, 7 September 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