CSL 2003

From Openresearch
Revision as of 20:20, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
CSL 2003
17th International Workshop on Computer Science Logic
Ordinal 17
Event in series CSL
Dates 2003/08/25 (iCal) - 2003/08/30
Presence presence
Homepage: https://www.logic.at/csl03/
Location
Location: Vienna, Austria
Loading map...

Important dates
Abstracts: 2003/03/31
Submissions: 2003/06/18
Notification: 2003/06/02
Papers: Submitted 112 / Accepted 30 (26.8 %)
Committees
Organizers: Matthias Baaz
PC chairs: Matthias Baaz, Johann Makowsky
Table of Contents

,



The 17th International Workshop on Computer Science Logic (CSL) 2003


Important Dates

31 March 2003 title and abstract
7 April 2003 full text
2 June 2003 Notification
18 June 2003 Final copy