LICS 2015

From Openresearch
Revision as of 10:08, 26 June 2020 by Tolga.karaarslan (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
LICS 2015
30th Annual ACM/IEEE Symposium on Logic in Computer Science
Event in series LICS
Dates 2015/07/06 (iCal) - 2015/07/10
Homepage: lics.rwth-aachen.de/lics15/
Location
Location: Kyoto, Japan
Loading map...

Papers: Submitted 176 / Accepted 61 (34.7 %)
Committees
General chairs: Luke Ong
PC chairs: Catuscia Palamidessi
Workshop chairs: Patricia Bouyer-Decitre
Keynote speaker: Anca Muscholl, Peter O’Hearn
Table of Contents

,