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 | |