CSL 2013

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at CSL 2013/rating

CSL 2013
27th International Workshop on Computer Science Logic
Ordinal 27
Event in series CSL
Dates 2013-09-02 (iCal) - 2013-09-05
Presence presence
Homepage: http://csl13.di.unito.it/
Location
Location: IT/21/Turin, IT/21, IT
Loading map...

Important dates
Abstracts: 2013/04/08
Papers: 2013/04/15
Notification: 2013/06/17
Papers: Submitted 108 / Accepted 37 (34.3 %)
Committees
PC chairs: Simona Ronchi Della Rocca
Keynote speaker: Piergiorgio Odifreddi, Nachum Dershowitz, Jean Yves Girard, Isabel Oitavem, Lidia Tendera
Table of Contents

The 27th International Workshop on Computer Science Logic (CSL) 2013


Topics

Submissions

Important Dates