Ronchi Della Rocca, Simona
[Herausgeber:in]
;
Computer Science Logic 22. 2013 Turin,
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
European Association for Computer Science Logic
Anmerkungen:
The annual conference of the European Association for Computer Science Logic (EACSL), CSL’13, was held in Torino, Italy, from September 2 to September 5, 2013. CSL started as a series of international workshops on Computer Science Logic, and became at its sixth meeting the Annual Conference of the EACSL. This conference was the 27th workshop and 22th EACSL conference; it was organized by the Dipartimento di Informatica of the Università di Torino (UNITO)