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)
 
(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/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
 
|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
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