Difference between revisions of "LICS 2015"

From Openresearch
Jump to: navigation, search
 
Line 17: Line 17:
 
|has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH
 
|has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH
 
}}
 
}}
==Topics==
 
==Submissions==
 
==Important Dates==
 

Latest revision as of 10:08, 26 June 2020

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

,