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
