Difference between revisions of "CSL 2016"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
|has program chair=Laurent Regnier, Jean-Marc Talbot | |has program chair=Laurent Regnier, Jean-Marc Talbot | ||
|has workshop chair=Luigi Santocanale | |has workshop chair=Luigi Santocanale | ||
| + | |Submitted papers=97 | ||
| + | |Accepted papers=37 | ||
| + | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol62-csl2016-complete.pdf | ||
| + | |has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2016.1 | ||
| + | |has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16017 | ||
}} | }} | ||
The 25th EACSL Annual Conference on Computer Science Logic (CSL) 2016 | The 25th EACSL Annual Conference on Computer Science Logic (CSL) 2016 | ||
Revision as of 09:41, 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 |
| Papers: | Submitted 97 / Accepted 37 (38.1 %) |
| 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