Difference between revisions of "LICS 2015"

Revision as of 10:55, 26 June 2020

LICS 2015
30th Annual ACM/IEEE Symposium on Logic in Computer Science
Event in series	LICS
Dates	2015/06/07 (iCal) - 2015/10/07
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}

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/06/07
+|End date=2015/10/07
+|Homepage=lics.rwth-aachen.de/lics15/
 |City=Kyoto
 |Country=Japan
-|Field=Logic
-|Type=Conference
-|Homepage=lics.rwth-aachen.de/lics15/
 }}

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 +