Home
Programs
Your Visit
Videos
About
Support ICERM
Search
Loading...
Video Archive
Submit
Reset
Towards the formalisation of PDEs in analysis
Michael Rothgang
Universität Bonn
May 11, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Analysis for classical differential geometry
Oliver Nash
Mathlib Initiative
May 11, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Role-Specialized Agentic Orchestration for Adaptive Learning and Trustworth...
Guang Lin
Purdue University
May 10, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Advancing science and medicine with collaborative AI agents
Vivek Natarajan
Google
May 10, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Force-Conditioned Video Models as Physical World Models for Agents
Chen Sun
Brown University
May 9, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Adaptive Swarms Across Scales
Markus J. Buehler
MIT
May 9, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Less Data, More Knowledge: Semantic Communication and Emergent Protocols fo...
Walid Saad
Virginia Tech
May 9, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
The Denario project: Deep knowledge AI agents for scientific discovery
Francisco Villaescusa-Navarro
Simons Foundation
May 9, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Agents and ML Algorithms in Mathematics: A Few Case-Studies
Bogdan Georgiev
Google Deepmind
May 9, 2026 • 12:00 AM
Agentic Scientific Computing and Scientific Machine Learning
Two-Level Sketching Alternating Anderson acceleration for Complex Physics A...
Massimiliano Lupo Pasini
Oak Ridge National Laboratory
May 8, 2026 • 12:00 AM
Asynchronous Methods for Numerical Linear Algebra
Asynchronous Methods on AMD GPU-Based Systems
Katarzyna Swirydowicz
Advanced Micro Devices (AMD)
May 8, 2026 • 12:00 AM
Asynchronous Methods for Numerical Linear Algebra
Distributed asynchronous optimization methods in Skywing
Wayne Mitchell
Lawrence Livermore National Laboratory
May 7, 2026 • 12:00 AM
Asynchronous Methods for Numerical Linear Algebra
«
First
‹
Previous
8
9
10
11
(current)
12
13
14
›
Next
»
Last