Difference between revisions of "LICS 2015"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 3: | Line 3: | ||
|Title=30th Annual ACM/IEEE Symposium on Logic in Computer Science | |Title=30th Annual ACM/IEEE Symposium on Logic in Computer Science | ||
|Series=LICS | |Series=LICS | ||
| − | | | + | |Event type=Symposium |
|Start date=2015/07/06 | |Start date=2015/07/06 | ||
|End date=2015/07/10 | |End date=2015/07/10 | ||
Latest revision as of 11:08, 8 March 2021
| 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 | |
,