Difference between revisions of "CSL 2001"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
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/09/13
+
|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/09/10
+
|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

Revision as of 02:45, 19 November 2021


Event Rating

median worst
Pain1.svg Pain7.svg

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
Loading map...

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