Difference between revisions of "LICS 2015"

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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":35.021041,"lon":135.7556075,"icon":""}],"imageoverlays":null}

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

,

@@ Line 1: / Line 1: @@
 {{Event
-|Start date=6/07/2015
 |Acronym=LICS 2015
+|Title=30th Annual ACM/IEEE Symposium on Logic in Computer Science
 |Series=LICS
-|End date=10/07/2015
+|Type=Symposium
+|Start date=2015/07/06
+|End date=2015/07/10
+|Homepage=lics.rwth-aachen.de/lics15/
 |City=Kyoto
 |Country=Japan
-|Field=Logic
+|has general chair=Luke Ong
-|Type=Conference
+|has program chair=Catuscia Palamidessi
-|Homepage=lics.rwth-aachen.de/lics15/
+|has workshop chair=Patricia Bouyer-Decitre
+|has Keynote speaker=Anca Muscholl, Peter O’Hearn
+|Submitted papers=176
+|Accepted papers=61
+|has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH
 }}

Acronym	LICS 2015 +
End date	October 7, 2015 +
Event in series	LICS +
Event type	Symposium +
Has coordinates	35° 1' 16", 135° 45' 20"Latitude: 35.021041666667 Longitude: 135.75560833333 +
Has location city	Kyoto +
Has location country	Category:Japan +
Homepage	http://lics.rwth-aachen.de/lics15/ +
IsA	Event +
Start date	June 7, 2015 +
Title	30th Annual ACM/IEEE Symposium on Logic in Computer Science +