Start date cannot be after end date.
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA
Presenter
- Daniel McNamee
September 25, 2024
IPAM
Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Modeling Human Strategic Behavior from a Machine Learning Perspective"
Presenter
- Kevin Leyton-Brown
September 14, 2023
SLMath
Josh Tenenbaum - Cognitive and computational foundations for collective human intelligence
Presenter
- Josh Tenenbaum
February 15, 2022
IPAM
Guild-based Strategy for Mining Gut Microbiome Data in Human Health and Diseases
Presenter
- Liping Zhao
January 23, 2020
IPAM
An Optimal Control Approach to Structured Treatment Interruptions for HIV Patients: A Personalized Medicine Perspective
Presenter
- Hien Tran
October 31, 2017
MBI
How Quantum Physics Democratized Music: A Meditation on Physics and Technology
Presenter
- Michael Berry
May 15, 2017
IMA
Mapping drug mode-of-action via functional analysis of large-scale biological networks
Presenter
- Anastasia Baryshnikova
September 28, 2016
MBI
Old news and new news about single-photon absorption sensitivity in human vision
Presenter
- Phil Nelson
February 8, 2016
MBI
Mammalian Synthetic Biology: Circuit Design Principles and Therapeutic Applications
Presenter
- Leonidas Bleris
November 17, 2015
IMA