Difference between revisions of "CSL 2002"
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 8: | Line 8: | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-45793-3 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-45793-3 | ||
|Acronym =CSL 2002 | |Acronym =CSL 2002 | ||
− | |End date=2002 | + | |End date=2002-09-25 |
|Series =CSL | |Series =CSL | ||
|presence=presence | |presence=presence | ||
Line 15: | Line 15: | ||
|State =GB/SCT | |State =GB/SCT | ||
|City =GB/SCT/Edinburgh | |City =GB/SCT/Edinburgh | ||
+ | |Year =2002 | ||
|Homepage=http://www.dcs.ed.ac.uk/csl02/ | |Homepage=http://www.dcs.ed.ac.uk/csl02/ | ||
|Ordinal =16 | |Ordinal =16 | ||
− | |Start date=2002 | + | |Start date=2002-09-22 |
|Title =16th International Workshop on Computer Science Logic | |Title =16th International Workshop on Computer Science Logic | ||
|Accepted papers=37 | |Accepted papers=37 | ||
|Submitted papers=111 | |Submitted papers=111 | ||
− | |DblpConferenceId=csl/csl2002}} | + | |DblpConferenceId=csl/csl2002 |
+ | }} | ||
The 16th International Workshop on Computer Science Logic (CSL) 2002 | The 16th International Workshop on Computer Science Logic (CSL) 2002 |
Latest revision as of 03:50, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CSL 2002/rating
CSL 2002 | |
---|---|
16th International Workshop on Computer Science Logic
| |
Ordinal | 16 |
Event in series | CSL |
Dates | 2002-09-22 (iCal) - 2002-09-25 |
Presence | presence |
Homepage: | http://www.dcs.ed.ac.uk/csl02/ |
Location | |
Location: | GB/SCT/Edinburgh, GB/SCT, GB |
Important dates | |
Submissions: | 2002/04/07 |
Papers: | Submitted 111 / Accepted 37 (33.3 %) |
Committees | |
Organizers: | Julian Bradfield, Alex Simpson |
PC chairs: | Julian Bradfield, Alex Simpson |
Keynote speaker: | Susumu Hayashi, Frank Neven, Damian Niwinski |
Table of Contents | |
The 16th International Workshop on Computer Science Logic (CSL) 2002