Difference between revisions of "CSL 2003"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 9: Line 9:
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2Fb13224
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2Fb13224
 
|Acronym =CSL 2003
 
|Acronym =CSL 2003
|End date=2003/08/30
+
|End date=2003-08-30
 
|Series  =CSL
 
|Series  =CSL
 
|presence=presence
 
|presence=presence
Line 16: Line 16:
 
|State  =AT/9
 
|State  =AT/9
 
|City    =AT/9/Vienna
 
|City    =AT/9/Vienna
 +
|Year    =2003
 
|Homepage=https://www.logic.at/csl03/
 
|Homepage=https://www.logic.at/csl03/
 
|Ordinal =17
 
|Ordinal =17
|Start date=2003/08/25
+
|Start date=2003-08-25
 
|Title  =17th International Workshop on Computer Science Logic
 
|Title  =17th International Workshop on Computer Science Logic
 
|Accepted papers=30
 
|Accepted papers=30

Revision as of 04:06, 19 November 2021


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at CSL 2003/rating

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: AT/9/Vienna, AT/9, AT
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