Difference between revisions of "CSL 2009"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
|Start date=2009/09/07 | |Start date=2009/09/07 | ||
|End date=2009/09/11 | |End date=2009/09/11 | ||
| + | |Submission deadline=2009/06/22 | ||
|Homepage=http://www.mat.uc.pt/~csl/ | |Homepage=http://www.mat.uc.pt/~csl/ | ||
|DblpConferenceId=csl/csl2009 | |DblpConferenceId=csl/csl2009 | ||
| Line 12: | Line 13: | ||
|Country=Portugal | |Country=Portugal | ||
|presence=presence | |presence=presence | ||
| + | |Abstract deadline=2009/03/30 | ||
| + | |Paper deadline=2009/04/06 | ||
| + | |Notification=2009/05/25 | ||
|Submitting link=http://www.easychair.org/conferences/?conf=csl2009 | |Submitting link=http://www.easychair.org/conferences/?conf=csl2009 | ||
|has Keynote speaker=MIKOŁAJ BOJAŃCZYK, Thierry Coquand, Martin Grohe, Yiannis Moschovakis, Paulo Oliva | |has Keynote speaker=MIKOŁAJ BOJAŃCZYK, Thierry Coquand, Martin Grohe, Yiannis Moschovakis, Paulo Oliva | ||
Revision as of 08:53, 16 August 2021
| CSL 2009 | |
|---|---|
23rd International Workshop on Computer Science Logic
| |
| Ordinal | 23 |
| Event in series | CSL |
| Dates | 2009/09/07 (iCal) - 2009/09/11 |
| Presence | presence |
| Homepage: | http://www.mat.uc.pt/~csl/ |
| Submitting link: | http://www.easychair.org/conferences/?conf=csl2009 |
| Location | |
| Location: | Coimbra, Portugal |
| Important dates | |
| Abstracts: | 2009/03/30 |
| Papers: | 2009/04/06 |
| Submissions: | 2009/06/22 |
| Notification: | 2009/05/25 |
| Keynote speaker: | MIKOŁAJ BOJAŃCZYK, Thierry Coquand, Martin Grohe, Yiannis Moschovakis, Paulo Oliva |
| Table of Contents | |
,
The 23rd International Workshop on Computer Science Logic (CSL) 2009
Topics
Submissions
Important Dates
Submission of Abstracts: 30 March, 2009
Submission of Full Papers: 6 April, 2009
Notification: 25 May, 2009
Final version: 22 June, 2009