(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 10: | Line 10: | ||
|has general chair=Jan Bouda | |has general chair=Jan Bouda | ||
|has program chair=Anuj Dawar, Helmut Veith | |has program chair=Anuj Dawar, Helmut Veith | ||
− | |||
|Submitted papers=103 | |Submitted papers=103 | ||
|Accepted papers=33 | |Accepted papers=33 | ||
Line 26: | Line 25: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{S Event}} | ||
The 24th International Workshop on Computer Science Logic (CSL) 2010 | The 24th International Workshop on Computer Science Logic (CSL) 2010 | ||
Revision as of 19:06, 22 September 2022
Deadlines
Venue
Faculty of Informatics Masaryk univerzity, Brno, Jihomoravský kraj, Czech Republic
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