(mobo import Concept___Event_For_Confident-migrated) |
Curator 100 (talk | contribs) |
||
(8 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
|Title=24th International Workshop on Computer Science Logic | |Title=24th International Workshop on Computer Science Logic | ||
|Ordinal=24 | |Ordinal=24 | ||
+ | |In Event Series=Event Series:CSL | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2010/08/23 | ||
+ | |End Date=2010/08/27 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Faculty of Informatics Masaryk univerzity | ||
+ | |City=Brno | ||
+ | |Region=Jihomoravský kraj | ||
+ | |Country=Country:CZ | ||
+ | |Academic Field=Computer Science; Logic | ||
+ | |Official Website=http://mfcsl2010.fi.muni.cz/csl/ | ||
+ | |DOI=10.25798/8w40-9e19 | ||
|Type=Workshop | |Type=Workshop | ||
− | |||
|DblpConferenceId=csl/csl2010 | |DblpConferenceId=csl/csl2010 | ||
− | |||
− | |||
− | |||
|has general chair=Jan Bouda | |has general chair=Jan Bouda | ||
|has program chair=Anuj Dawar, Helmut Veith | |has program chair=Anuj Dawar, Helmut Veith | ||
− | |||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-15205-4.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-15205-4.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-15205-4 | |has Proceedings DOI=https://doi.org/10.1007/978-3-642-15205-4 | ||
Line 20: | Line 26: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=European Association for Computer Science Logic | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=103 | ||
+ | |Number Of Accepted Papers=33 | ||
+ | }} | ||
+ | {{S Event}} | ||
The 24th International Workshop on Computer Science Logic (CSL) 2010 | The 24th International Workshop on Computer Science Logic (CSL) 2010 | ||
Line 30: | Line 42: | ||
==Topics== | ==Topics== | ||
*Program Extraction and Constructive Proofs / Classical Logic and Computation | *Program Extraction and Constructive Proofs / Classical Logic and Computation | ||
− | *Randomized and Quantum Computation, | + | *Randomized and Quantum Computation, |
− | *Workshop on Fixed Points in Computer Science | + | *Workshop on Fixed Points in Computer Science |
*Young Researchers Forum | *Young Researchers Forum | ||
*Theory and Algorithmic Aspects of Graph Crossing Number | *Theory and Algorithmic Aspects of Graph Crossing Number |
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