Curator 91 (talk | contribs) |
(mobo import Concept___Events-migrated) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |Acronym= | + | |Acronym=CSL 2010 |
− | |Title=International Workshop on | + | |Title=24th International Workshop on Computer Science Logic |
− | |In Event Series=Event Series: | + | |Ordinal=24 |
− | |Single Day Event= | + | |Type=Workshop |
− | |Start Date= | + | |Homepage=http://mfcsl2010.fi.muni.cz/csl/ |
+ | |DblpConferenceId=csl/csl2010 | ||
+ | |City=Brno | ||
+ | |Country=Country:CZ | ||
+ | |has general chair=Jan Bouda | ||
+ | |has program chair=Anuj Dawar, Helmut Veith | ||
+ | |Submitted papers=103 | ||
+ | |Accepted papers=33 | ||
+ | |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 Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-15205-4 | ||
+ | |pageCreator=User:Curator 75 | ||
+ | |pageEditor=User:Curator 75 | ||
+ | |contributionType=1 | ||
+ | |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 Status=as scheduled | ||
|Event Mode=on site | |Event Mode=on site | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Event Deadline}} | ||
+ | {{S Event}} | ||
+ | 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 |
Revision as of 19:15, 22 September 2022
Deadlines
Deadlines
Venue
Warning: Venue is missing. The map might not show the exact location.
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