View source for LFCS 2020
You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
Templates used on this page:
Return to LFCS 2020.
Facts about "LFCS 2020"
| Acronym | LFCS 2020 + |
| End date | January 7, 2020 + |
| Event in series | LFCS + |
| Event type | Conference + |
| Has PC member | Sergei Artemov +, Eugene Asarin +, Steve Awodey ( +, Lev Beklemishev + and Andreas Blass + |
| Has coordinates | 26° 19' 6", -80° 5' 59"Latitude: 26.318341666667 Longitude: -80.099630555556 + |
| Has general chair | Anil Nerode + |
| Has location city | Deerfield Beach + |
| Has location country | Category:USA + |
| Has location state | Florida + |
| Homepage | https://lfcs.ws.gc.cuny.edu/lfcs-2020 + |
| IsA | Event + |
| Notification | October 10, 2019 + |
| Start date | January 4, 2020 + |
| Submission deadline | September 10, 2019 + |
| Title | Symposium on Logical Foundations Of Computer Science 2020 + |
