Difference between revisions of "CSL 2011"
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 |
Table of Contents | |
,
The 25th International Workshop on Computer Science Logic (CSL) 2011