Difference between revisions of "LICS 2015"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(5 intermediate revisions by 2 users not shown) | |||
Line 6: | Line 6: | ||
|has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH | |has Proceedings Bibliography=https://www.computer.org/csdl/proceedings/2015/lics/12OmNC3XhhH | ||
|Acronym=LICS 2015 | |Acronym=LICS 2015 | ||
− | |End date=2015 | + | |End date=2015-07-10 |
|Series =LICS | |Series =LICS | ||
|Type =Symposium | |Type =Symposium | ||
Line 12: | Line 12: | ||
|State =JP/26 | |State =JP/26 | ||
|City =JP/26/Kyoto | |City =JP/26/Kyoto | ||
+ | |Year =2015 | ||
|Homepage=lics.rwth-aachen.de/lics15/ | |Homepage=lics.rwth-aachen.de/lics15/ | ||
− | |Start date=2015 | + | |Start date=2015-07-06 |
|Title =30th Annual ACM/IEEE Symposium on Logic in Computer Science | |Title =30th Annual ACM/IEEE Symposium on Logic in Computer Science | ||
|Accepted papers=61 | |Accepted papers=61 | ||
− | |Submitted papers=176}} | + | |Submitted papers=176 |
+ | }} |
Latest revision as of 04:11, 6 December 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: | JP/26/Kyoto, JP/26, JP |
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 | |