Difference between revisions of "CSL 2007"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
+ | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-74915-8.pdf | ||
+ | |has Proceedings DOI=https://doi.org/10.1007/978-3-540-74915-8 | ||
+ | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-74915-8 | ||
|Acronym=CSL 2007 | |Acronym=CSL 2007 | ||
− | | | + | |End date=2007-09-15 |
+ | |Series =CSL | ||
+ | |presence=presence | ||
+ | |Type =Workshop | ||
+ | |Country=CH | ||
+ | |State =CH/VD | ||
+ | |City =CH/VD/Lausanne | ||
+ | |Year =2007 | ||
|Ordinal=21 | |Ordinal=21 | ||
− | | | + | |Start date=2007-09-11 |
− | | | + | |Title =21th International Workshop on Computer Science Logic |
− | | | + | |Accepted papers=36 |
− | | | + | |Submitted papers=116 |
|DblpConferenceId=csl/csl2007 | |DblpConferenceId=csl/csl2007 | ||
− | + | }} | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
The 21th International Workshop on Computer Science Logic (CSL) 2007 | The 21th International Workshop on Computer Science Logic (CSL) 2007 |
Latest revision as of 03:43, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CSL 2007/rating
CSL 2007 | |
---|---|
21th International Workshop on Computer Science Logic
| |
Ordinal | 21 |
Event in series | CSL |
Dates | 2007-09-11 (iCal) - 2007-09-15 |
Presence | presence |
Location | |
Location: | CH/VD/Lausanne, CH/VD, CH |
Papers: | Submitted 116 / Accepted 36 (31 %) |
Table of Contents | |
The 21th International Workshop on Computer Science Logic (CSL) 2007