Difference between revisions of "CSL 2016"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
|Start date=2016/08/29 | |Start date=2016/08/29 | ||
|End date=2016/09/01 | |End date=2016/09/01 | ||
| + | |Submission deadline=2016/07/03 | ||
|Homepage=http://csl16.lif.univ-mrs.fr/ | |Homepage=http://csl16.lif.univ-mrs.fr/ | ||
|DblpConferenceId=csl/csl2016 | |DblpConferenceId=csl/csl2016 | ||
| Line 12: | Line 13: | ||
|Country=France | |Country=France | ||
|presence=presence | |presence=presence | ||
| + | |Abstract deadline=2016/04/08 | ||
| + | |Paper deadline=2016/04/15 | ||
| + | |Notification=2016/06/11 | ||
|has general chair=Laurent Regnier, Jean-Marc Talbot | |has general chair=Laurent Regnier, Jean-Marc Talbot | ||
|has program chair=Laurent Regnier, Jean-Marc Talbot | |has program chair=Laurent Regnier, Jean-Marc Talbot | ||
Revision as of 10:32, 27 August 2021
| CSL 2016 | |
|---|---|
25th EACSL Annual Conference on Computer Science Logic
| |
| Ordinal | 25 |
| Event in series | CSL |
| Dates | 2016/08/29 (iCal) - 2016/09/01 |
| Presence | presence |
| Homepage: | http://csl16.lif.univ-mrs.fr/ |
| Location | |
| Location: | Marseille, France |
| Important dates | |
| Abstracts: | 2016/04/08 |
| Papers: | 2016/04/15 |
| Submissions: | 2016/07/03 |
| Notification: | 2016/06/11 |
| Committees | |
| General chairs: | Laurent Regnier, Jean-Marc Talbot |
| PC chairs: | Laurent Regnier, Jean-Marc Talbot |
| Workshop chairs: | Luigi Santocanale |
| Table of Contents | |
,
The 25th EACSL Annual Conference on Computer Science Logic (CSL) 2016
Topics
Submissions
Important Dates
- Abstract submission deadline : April 8, 2012 (AoE)
- Paper submission deadline: April 15, 2016 (AoE)
- Author notification: June 11, 2016
- Final version deadline: July 3, 2016 (AoE)
- Early registration deadline: August 14, 2016 (local time, GMT+2)
- Conference: August 29–September 1, 2016
- Workshops: August 28, September 2 and September 3, 2016