Difference between revisions of "LICS 2015"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
|Series=LICS | |Series=LICS | ||
|Type=Symposium | |Type=Symposium | ||
| − | |Start date=2015/06 | + | |Start date=2015/07/06 |
| − | |End date=2015/10 | + | |End date=2015/07/10 |
|Homepage=lics.rwth-aachen.de/lics15/ | |Homepage=lics.rwth-aachen.de/lics15/ | ||
|City=Kyoto | |City=Kyoto | ||
|Country=Japan | |Country=Japan | ||
}} | }} | ||
Revision as of 10:56, 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 |
| Table of Contents | |
,