LICS 2015: Difference between revisions
CSV import |
No edit summary |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=LICS 2015 | |Acronym=LICS 2015 | ||
|Title=30th Annual ACM/IEEE Symposium on Logic in Computer Science | |||
|Series=LICS | |Series=LICS | ||
|End date=10/ | |Type=Symposium | ||
|Start date=2015/07/06 | |||
|End date=2015/07/10 | |||
|Homepage=lics.rwth-aachen.de/lics15/ | |||
|City=Kyoto | |City=Kyoto | ||
|Country=Japan | |Country=Japan | ||
| | |has general chair=Luke Ong | ||
| | |has program chair=Catuscia Palamidessi | ||
| | |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 | |||
}} | }} | ||
Latest revision as of 09: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 |
| 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 | |
,