Difference between revisions of "CSL 2009"
Jump to navigation
Jump to search
| Line 12: | Line 12: | ||
|Country=Portugal | |Country=Portugal | ||
|presence=presence | |presence=presence | ||
| + | |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 09:52, 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 |
| 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