Curator 91 (talk | contribs) |
Curator 100 (talk | contribs) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 9: | Line 9: | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
|Event Mode=on site | |Event Mode=on site | ||
| − | |Venue= | + | |Venue=Faculty of Informatics Masaryk univerzity |
|City=Brno | |City=Brno | ||
| − | |Region= | + | |Region=Jihomoravský kraj |
|Country=Country:CZ | |Country=Country:CZ | ||
|Academic Field=Computer Science; Logic | |Academic Field=Computer Science; Logic | ||
|Official Website=http://mfcsl2010.fi.muni.cz/csl/ | |Official Website=http://mfcsl2010.fi.muni.cz/csl/ | ||
| + | |DOI=10.25798/8w40-9e19 | ||
|Type=Workshop | |Type=Workshop | ||
|DblpConferenceId=csl/csl2010 | |DblpConferenceId=csl/csl2010 | ||
Latest revision as of 06:39, 7 August 2023
Deadlines
Metrics
Submitted Papers
103
Accepted Papers
33
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
