Logical Perspectives Open Lectures 2020
formal languages and automata theory logic in computer science logic
Steklov Mathematical Institute of Russian Academy of Sciences
| Audience: | General audience |
| Conference dates: | 17-Nov-2020 to 18-Nov-2020 |
| Organizers: | Lev D. Beklemishev*, Stanislav O. Speranski |
| *contact for this listing |
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Wed | Nov 18 | 13:00 | Barbara H. Partee | Language and logic: Ideas and controversies in the history of formal semantics | |
| Tue | Nov 17 | 15:00 | Yuri Gurevich | Logic and foundations: A personal perspective | |
| Tue | Nov 17 | 13:00 | Anil Nerode | The last 70 years of logic and its applications: A personal diary | |
Export series to