SPLASH 2020 (series) / LPOP 2020 (series) / Logic and Practice of Programming (LPOP) 2020 /
Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language
Sun 15 Nov 2020 10:10 - 10:50 at SPLASH-IV - 10:00-- Logic in Program Specification and Analysis Chair(s): Y. Annie Liu
Algorithms are not programs. They can and should be written with math rather than programming languages or pseudo-languages. This applies to many more algorithms than the ones taught in algorithm courses.
Note: This will be a Q & A session for the following talk https://youtu.be/wQiWwQcMKuw The talk itself is 50 minutes; the video includes Q&A and is longer. Participants are asked to watch the video before the talk.
Sun 15 NovDisplayed time zone: Central Time (US & Canada) change
Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change
09:00 - 10:20 | 10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University | ||
10:00 10mDay opening | Opening and Introduction LPOP Peter Van Roy Université catholique de Louvain | ||
10:10 40mTalk | Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language LPOP | ||
10:50 15mPaper | Deductive Synthesis of the Unification Algorithm: The Automation of Introspection LPOP | ||
11:05 15mPaper | Logic in Program Analysis and Verification LPOP Patrick Cousot New York University | ||
11:20 30mLive Q&A | Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? LPOP Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University | ||
11:50 10mBreak | Break: Ask Me Anything LPOP | ||
