Difference between revisions of "CSL 2001"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
(One intermediate revision by the same user not shown) | |||
Line 7: | Line 7: | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-44802-0 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-44802-0 | ||
|Acronym =CSL 2001 | |Acronym =CSL 2001 | ||
− | |End date=2001 | + | |End date=2001-09-13 |
|Series =CSL | |Series =CSL | ||
|presence=presence | |presence=presence | ||
Line 14: | Line 14: | ||
|State =FR/IDF | |State =FR/IDF | ||
|City =FR/IDF/Paris | |City =FR/IDF/Paris | ||
+ | |Year =2001 | ||
|Homepage=http://www.lsv.fr/Events/csl01/ | |Homepage=http://www.lsv.fr/Events/csl01/ | ||
|Ordinal =15 | |Ordinal =15 | ||
− | |Start date=2001 | + | |Start date=2001-09-10 |
|Title =15th International Workshop on Computer Science Logic | |Title =15th International Workshop on Computer Science Logic | ||
|Accepted papers=39 | |Accepted papers=39 | ||
|Submitted papers=91 | |Submitted papers=91 | ||
− | |DblpConferenceId=csl/csl2001}} | + | |DblpConferenceId=csl/csl2001 |
+ | }} | ||
The 15th International Workshop on Computer Science Logic (CSL) 2001 | The 15th International Workshop on Computer Science Logic (CSL) 2001 |
Latest revision as of 03:23, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CSL 2001/rating
CSL 2001 | |
---|---|
15th International Workshop on Computer Science Logic
| |
Ordinal | 15 |
Event in series | CSL |
Dates | 2001-09-10 (iCal) - 2001-09-13 |
Presence | presence |
Homepage: | http://www.lsv.fr/Events/csl01/ |
Location | |
Location: | FR/IDF/Paris, FR/IDF, FR |
Papers: | Submitted 91 / Accepted 39 (42.9 %) |
Committees | |
Organizers: | Patricia Bouyer |
PC chairs: | Andrea Asperti |
Keynote speaker: | Jean-Yves Girard, Peter O’Hearn, Jan Van den Bussche |
Table of Contents | |
The 15th International Workshop on Computer Science Logic (CSL) 2001