Difference between revisions of "CSL 2011"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=CSL 2011 |Title=25th International Workshop on Computer Science Logic |Ordinal=25 |Series=CSL |Type=Workshop |Start date=2011/09/12 |End date=2011/09/15 |Home...")
 
Line 12: Line 12:
 
|Country=Norway
 
|Country=Norway
 
|presence=presence
 
|presence=presence
 +
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol12-csl2011-complete.pdf
 +
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007
 
}}
 
}}
 
The 25th International Workshop on Computer Science Logic (CSL) 2011
 
The 25th International Workshop on Computer Science Logic (CSL) 2011

Revision as of 11:51, 17 August 2021

CSL 2011
25th International Workshop on Computer Science Logic
Ordinal 25
Event in series CSL
Dates 2011/09/12 (iCal) - 2011/09/15
Presence presence
Homepage: https://www.eacsl.org/csl11/
Location
Location: Bergen, Norway
Loading map...

Table of Contents

,



The 25th International Workshop on Computer Science Logic (CSL) 2011