Difference between revisions of "LICS 2015"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
+ | |Acronym=LICS 2015 | ||
+ | |Title=30th Annual ACM/IEEE Symposium on Logic in Computer Science | ||
+ | |Series=LICS | ||
+ | |Type=Symposium | ||
+ | |Start date=2015/07/06 | ||
+ | |End date=2015/07/10 | ||
+ | |Homepage=lics.rwth-aachen.de/lics15/ | ||
+ | |City=Kyoto | ||
+ | |Country=Japan | ||
|has general chair=Luke Ong | |has general chair=Luke Ong | ||
|has program chair=Catuscia Palamidessi | |has program chair=Catuscia Palamidessi | ||
|has workshop chair=Patricia Bouyer-Decitre | |has workshop chair=Patricia Bouyer-Decitre | ||
|has Keynote speaker=Anca Muscholl, Peter O’Hearn | |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 | |has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH | ||
− | + | |State=JP/26}} | |
− | |||
− | |||
− | |||
− | |||
− | |State | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 00:35, 25 October 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at LICS 2015/rating
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, JP/26, Japan |
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 | |