(mobo import Concept___Events_With_Metrics-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 4: | Line 4: | ||
|Ordinal=24 | |Ordinal=24 | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=https://logic.las.tu-berlin.de/csl2015/index.html |
|DblpConferenceId=csl/csl2015 | |DblpConferenceId=csl/csl2015 | ||
|City=Berlin | |City=Berlin |
Revision as of 13:07, 19 October 2022
Deadlines
|
||
Abstract |
|
||
Paper |
|
||
Notification |
Metrics
Submitted Papers
99
Accepted Papers
39
Venue
Technische Universität Berlin, Berlin, Germany
The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015
Important Dates
Abstract submission: 3 April 2015
Paper Submission: 10 April 2015
Paper Notification: 13 June 2015
Conference: 7 - 10 September 2015