Difference between revisions of "CSL 2001"

From Openresearch
Jump to navigation Jump to search
Line 12: Line 12:
 
|Country=France
 
|Country=France
 
|presence=presence
 
|presence=presence
 +
|Has coordinator=Patricia Bouyer
 +
|has program chair=Andrea Asperti
 +
|has Keynote speaker=Jean-Yves Girard, Peter O’Hearn, Jan Van den Bussche
 +
|Submitted papers=91
 +
|Accepted papers=39
 
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-44802-0.pdf
 
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-44802-0.pdf
 
|has Proceedings DOI=https://doi.org/10.1007/3-540-44802-0
 
|has Proceedings DOI=https://doi.org/10.1007/3-540-44802-0

Revision as of 10:20, 5 August 2021

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: Paris, France
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