Difference between revisions of "LFCS 2020"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 5: | Line 5: | ||
|Has PC member=Sergei Artemov, Eugene Asarin, Steve Awodey (, Lev Beklemishev, Andreas Blass | |Has PC member=Sergei Artemov, Eugene Asarin, Steve Awodey (, Lev Beklemishev, Andreas Blass | ||
|Acronym=LFCS 2020 | |Acronym=LFCS 2020 | ||
| − | |End date=2020 | + | |End date=2020-01-07 |
|Series=LFCS | |Series=LFCS | ||
|Type =Conference | |Type =Conference | ||
| Line 11: | Line 11: | ||
|State=US/FL | |State=US/FL | ||
|City =US/FL/Deerfield Beach | |City =US/FL/Deerfield Beach | ||
| + | |Year =2020 | ||
|Homepage=https://lfcs.ws.gc.cuny.edu/lfcs-2020 | |Homepage=https://lfcs.ws.gc.cuny.edu/lfcs-2020 | ||
| − | |Start date=2020 | + | |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 | |