Difference between revisions of "CSL 2003"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
(One intermediate revision by the same user not shown) | |||
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 | + | |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 | + | |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 | ||
|Submitted papers=112 | |Submitted papers=112 | ||
− | |DblpConferenceId=csl/csl2003}} | + | |DblpConferenceId=csl/csl2003 |
+ | }} | ||
The 17th International Workshop on Computer Science Logic (CSL) 2003 | The 17th International Workshop on Computer Science Logic (CSL) 2003 | ||
Latest revision as of 04:41, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
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 |
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