(mobo import Concept___Event_For_Confident-migrated) |
(mobo import Concept___Events-migrated) |
||
| Line 7: | Line 7: | ||
|DblpConferenceId=csl/csl2010 | |DblpConferenceId=csl/csl2010 | ||
|City=Brno | |City=Brno | ||
| − | |Country= | + | |Country=Country:CZ |
| − | |||
|has general chair=Jan Bouda | |has general chair=Jan Bouda | ||
|has program chair=Anuj Dawar, Helmut Veith | |has program chair=Anuj Dawar, Helmut Veith | ||
| Line 24: | Line 23: | ||
|Start Date=2010/08/23 | |Start Date=2010/08/23 | ||
|End Date=2010/08/27 | |End Date=2010/08/27 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=presence | ||
}} | }} | ||
The 24th International Workshop on Computer Science Logic (CSL) 2010 | The 24th International Workshop on Computer Science Logic (CSL) 2010 | ||
Revision as of 13:55, 6 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
