Automated theorem proving | Theoretical computer science conferences
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, Lean, NuPRL, PVS, and Twelf. Individual workshops or meetings devoted to individual systems are usually held concurrently with the conference. Together with CADE and TABLEAUX, ITP is usually one of the three main conferences of the International Joint Conference on Automated Reasoning (IJCAR) whenever it convenes, (Wikipedia).
Constant-round interactive-proofs for delegating computations (continued) - Rothblum
Computer Science/Discrete Mathematics Seminar II Topic: Constant-round interactive-proofs for delegating computations (continued) Speaker: Ron Rothblum Date: Tuesday, February 2 We will continue Monday's talk on constant-round interactive proofs, going into more details of the full const
From playlist Mathematics
From playlist Acts as Conference 2009
John Voight :On some families of Jacobians with definite quaternionic multiplication
CONFERENCE Recording during the thematic meeting : « Symposium on Arithmetic Geometry and its Applications» the February 09, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwid
From playlist Algebraic and Complex Geometry
Keynote Talk: Model Based Machine Learning
The Academic Research Summit, co-organized by Microsoft Research and the Association for Computing Machinery, is a forum to foster meaningful discussion among the Indian computer science research community and raise the bar on research efforts. The third edition of Academic Research Summi
From playlist ML & Deep Learning
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
From Programs to Systems: Building a Smarter World Presented by Prof. Joseph Sifakis, Turing Award laureate, VERIMAG Laboratory and EPFL Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more information see: https://sit
From playlist Alan M. Turing Centennial Conference - Israel
Turing Centennial Conference: Turing Test and Thinking Machines
Turing Test and Thinking Machines Presented by Prof. Shimon Ullman, Weizmann Institute Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more information see: https://sites.google.com/site/turingcentenaryconference/agend
From playlist Alan M. Turing Centennial Conference - Israel
Mathematical Induction - Inequalities (1 of 4: General pointers)
More resources available at www.misterwootube.com
From playlist Introduction to Proof by Mathematical Induction
Constant-round interactive-proofs for delegating computations - Rothblum
Computer Science/Discrete Mathematics Seminar I Topic: Constant-round interactive-proofs for delegating computations Speaker: Ron Rothblum Date: Monday, February 1 Interactive proofs have had a dramatic impact on Complexity Theory and Cryptography. In particular, the celebrated IP=PSPACE
From playlist Mathematics
The Ultimate Guide to Propositional Logic for Discrete Mathematics
This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W
From playlist Discrete Math 1
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA
Recorded 16 February 2023. Jason Rute of IBM presents "Deep learning in interactive theorem proving" at IPAM's Machine Assisted Proofs Workshop. Abstract: Deep learning has made progress in many diverse areas, often leveraging a relatively small toolbox of powerful techniques. One promisin
From playlist 2023 Machine Assisted Proofs Workshop
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective
Recorded 13 February 2023. John Harrison of Amazon Web Services presents "Formalization and Automated Reasoning: A Personal and Historical Perspective" at IPAM's Machine Assisted Proofs Workshop. Abstract: In this talk I will try to first place the recent interest in machine-assisted proof
From playlist 2023 Machine Assisted Proofs Workshop
To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Michael Ulrey Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and
From playlist Wolfram Technology Conference 2018
Representing and Finding Mathematical Theorems
To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technologyconference/ Speaker: Yihe Dong, Ian Ford, James Mulnix Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment,
From playlist Wolfram Technology Conference 2017
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
In this video I have a lovely discussion with Dr. Emily Riehl about math, HoTT, infinity categories, and more! Dr. Riehl's site, with links to publications: https://emilyriehl.github.io/ Dr. Riehl's band, Unstraight: https://unstraightmusic.com/ Spectra: http://lgbtmath.org/
From playlist Math Talk!
(Optional lecture) - Towards a classification of adelic Galois representations of elliptic curves
This is a lecture I gave at Zagreb's Number Theory Seminar, on Feb 25, 2021, on adelic Galois representations. While not a part of the graduate course on elliptic curves, it is a nice complement to some of the material we have seen on the Tate module.
From playlist Math Talks
Multi Type Mean Field Reinforcement Learning | AISC
For slides and more information on the paper, visit https://ai.science/e/multi-type-mean-field-reinforcement-learning--ZPQxNPfeGM02aiyTqViE Discussion lead: Sriram Ganapathi Subramanian, Matthew Taylor This paper presents scaling up RL to hundreds or thousands of agents using a "mean fie
From playlist Reinforcement Learning
This video was made as an entry to 3Blue1Browns Summer of Math Exposition contest. https://www.3blue1brown.com/blog/some1 Hopefully, I explained it in a fast paced, but an easy-to-understand way. If you know more than me about any of the topics discussed, feel free to start some discussi
From playlist Summer of Math Exposition Youtube Videos
Zeros of polynomials, decay of correlations, and algorithms by Piyush Srivastava
DISCUSSION MEETING : STATISTICAL PHYSICS OF MACHINE LEARNING ORGANIZERS : Chandan Dasgupta, Abhishek Dhar and Satya Majumdar DATE : 06 January 2020 to 10 January 2020 VENUE : Madhava Lecture Hall, ICTS Bangalore Machine learning techniques, especially “deep learning” using multilayer n
From playlist Statistical Physics of Machine Learning 2020