Symposium on Logic in Computer Science
[POPL'22] Concurrent Incorrectness Separation Logic
IEEE Symposium on Logic in Computer Science | Wikipedia audio article
CME 2021: A defeasible logic implementation of ethical reasoning
Logical Journeys webinar. Hosted by UCL Computer Science (World Logic Day 2021)
Tony Hoare's Keynote at Computing at School Conference 2011
Logic in Computer Science, Engineering and Industry
Symposium on Logic in Computer Science | Wikipedia audio article
Session B | Friday morning | TQC 2024
Megan Davis Flash Talk: Faulty Internal Logic
And Logic Begat Computer Science: When Giants Roamed the Earth
Ian Barland: Logic: The Foundation of Computer Science
6th International Conference on Fuzzy Logic Systems (Fuzzy 2020)
Logic in Computer Science with a Strong Bias Towards Automata 1
6th International Conference on Artificial Intelligence and Fuzzy Logic Systems (AIFZ 2020)
Richard Evans: Inductive logic programming and deep learning II
Incorrectness logic for graph programs (@ICGT2021)
Verifying graph programs with monadic second-order logic (@ICGT2021)
On the unusual effectiveness of logic in computer science - Univ. Washington,2002
Stuart Russell: Unifying logic & probability: the BLOG language