CSL 2013

From Openresearch
Revision as of 10:29, 24 August 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=CSL 2013 |Title=27th International Workshop on Computer Science Logic |Ordinal=27 |Series=CSL |Type=Workshop |Start date=2013/09/02 |End date=2013/09/05 |Home...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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: Torino, Italy
Loading map...

Important dates
Abstracts: 2013/04/08
Papers: 2013/04/15
Notification: 2013/06/17
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