Difference between revisions of "CSL 2017"

From Openresearch
Jump to navigation Jump to search
Line 12: Line 12:
 
|Country=Sweden
 
|Country=Sweden
 
|presence=presence
 
|presence=presence
 +
|Has coordinator=Mads Dam, Valentin Goranko
 +
|has general chair=Erik Palmgren
 +
|has program chair=Valentin Goranko
 +
|has workshop chair=Dilian Gurov
 
|Submitted papers=98
 
|Submitted papers=98
 
|Accepted papers=35
 
|Accepted papers=35

Revision as of 11:09, 27 August 2021

CSL 2017
26th EACSL Annual Conference on Computer Science Logic
Ordinal 26
Event in series CSL
Dates 2017/08/20 (iCal) - 2017/08/24
Presence presence
Homepage: https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717700
Location
Location: Stockholm, Sweden
Loading map...

Papers: Submitted 98 / Accepted 35 (35.7 %)
Committees
Organizers: Mads Dam, Valentin Goranko
General chairs: Erik Palmgren
PC chairs: Valentin Goranko
Workshop chairs: Dilian Gurov
Table of Contents

,



The 26th EACSL Annual Conference on Computer Science Logic (CSL) 2017


Topics

Submissions

Important Dates