Difference between revisions of "LFCS 2020"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 14: | Line 14: | ||
|Homepage=https://lfcs.ws.gc.cuny.edu/lfcs-2020 | |Homepage=https://lfcs.ws.gc.cuny.edu/lfcs-2020 | ||
|Start date=2020-01-04 | |Start date=2020-01-04 | ||
| − | |Title=Symposium on Logical Foundations Of Computer Science 2020}} | + | |Title=Symposium on Logical Foundations Of Computer Science 2020 |
| + | }} | ||
Latest revision as of 03:19, 6 December 2021
Event Rating
| median | worst |
|---|---|
List of all ratings can be found at LFCS 2020/rating
| LFCS 2020 | |
|---|---|
Symposium on Logical Foundations Of Computer Science 2020
| |
| Event in series | LFCS |
| Dates | 2020-01-04 (iCal) - 2020-01-07 |
| Homepage: | https://lfcs.ws.gc.cuny.edu/lfcs-2020 |
| Location | |
| Location: | US/FL/Deerfield Beach, US/FL, US |
| Important dates | |
| Submissions: | 2019/09/10 |
| Notification: | 2019/10/10 |
| Committees | |
| General chairs: | Anil Nerode |
| PC members: | Sergei Artemov, Eugene Asarin, Steve Awodey (, Lev Beklemishev, Andreas Blass |
| Table of Contents | |