Difference between revisions of "CSL 2010"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=CSL 2010 |Title=24th International Workshop on Computer Science Logic |Ordinal=24 |Series=CSL |Type=Workshop |Start date=2010/08/23 |End date=2010/08/27 |Home...") |
|||
| Line 13: | Line 13: | ||
|presence=presence | |presence=presence | ||
|has Keynote speaker=David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis | |has Keynote speaker=David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis | ||
| + | |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 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 | ||
Revision as of 09:56, 17 August 2021
| CSL 2010 | |
|---|---|
24th International Workshop on Computer Science Logic
| |
| Ordinal | 24 |
| Event in series | CSL |
| Dates | 2010/08/23 (iCal) - 2010/08/27 |
| Presence | presence |
| Homepage: | http://mfcsl2010.fi.muni.cz/csl/ |
| Location | |
| Location: | Brno, Czech Republic |
| Papers: | Submitted 103 / Accepted 33 (32 %) |
| Keynote speaker: | David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis |
| Table of Contents | |
,
The 24th International Workshop on Computer Science Logic (CSL) 2010