Difference between revisions of "CSL 2007"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
+ | |Acronym=CSL 2007 | ||
+ | |Title=21th International Workshop on Computer Science Logic | ||
+ | |Ordinal=21 | ||
+ | |Series=CSL | ||
+ | |Type=Workshop | ||
+ | |Start date=2007/09/11 | ||
+ | |End date=2007/09/15 | ||
|DblpConferenceId=csl/csl2007 | |DblpConferenceId=csl/csl2007 | ||
+ | |City=Lausanne | ||
+ | |Country=Switzerland | ||
+ | |presence=presence | ||
+ | |Submitted papers=116 | ||
+ | |Accepted papers=36 | ||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-74915-8.pdf | |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 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 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-74915-8 | ||
− | + | |State=CH/VD}} | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |State | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
The 21th International Workshop on Computer Science Logic (CSL) 2007 | The 21th International Workshop on Computer Science Logic (CSL) 2007 |
Revision as of 23:59, 24 October 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: | Lausanne, CH/VD, Switzerland |
Papers: | Submitted 116 / Accepted 36 (31 %) |
Table of Contents | |
The 21th International Workshop on Computer Science Logic (CSL) 2007