(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
| Line 8: | Line 8: | ||
|City=Berlin | |City=Berlin | ||
|Country=Country:DE | |Country=Country:DE | ||
| − | |||
| − | |||
| − | |||
|has general chair=Stephan Kreutzer | |has general chair=Stephan Kreutzer | ||
|has program chair=Stephan Kreutzer | |has program chair=Stephan Kreutzer | ||
| − | |||
|Submitted papers=99 | |Submitted papers=99 | ||
|Accepted papers=39 | |Accepted papers=39 | ||
| Line 29: | Line 25: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2015/04/03 | ||
| + | |Paper Deadline=2015/04/10 | ||
| + | |Notification Deadline=2015/06/13 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015 | The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015 | ||
Revision as of 19:06, 22 September 2022
Deadlines
|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
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
