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