Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Displaying seminars 1 to 10 (out of 475)   Next

Date Title Speaker(s) Notes
Thu Oct 21, 2021
at 4:00pm
in https://sri.zoomgov.com/j/16028867898
Formal Behavior-Driven Machine Learning to Simulate Digital Circuits  [Details] John Byrnes (AIC)
Fri Aug 27, 2021
at 4:00pm
in Zoom: https://sri.zoomgov.com/j/16028867898
CAMeLeon: Standardizing Reinforcement Learning Competency Assessment for Custom Agents and Environments  [Details] Sam Showalter (SRI AIC / UC Irvine, SRI International)
Mon Aug 09, 2021
at 10:30am
in Zoom: https://sri.zoomgov.com/j/16028867898
Advancing the Design and Utility of Adversarial Machine Learning Methods  [Details] Nathan Inkawhich (Duke University) Job Talk
Fri Jul 16, 2021
at 11:00am
in https://sri.zoomgov.com/j/16028867898
What, again? Automatic Deductive Synthesis of the Unification Algorithm  [Details] Richard J Waldinger (AIC) Special time: 11:00 AM on Friday
[Webex available]
Thu Apr 15, 2021
at 4:00pm
in Zoom: https://sri.zoomgov.com/j/16028867898
An Overview of CARLI: Competency Awareness for RL Agents  [Details] Melinda Gervasio (AIC)
Thu Apr 08, 2021
at 4:00pm
in Zoom: https://sri.zoomgov.com/j/16028867898
How (and why) to Build and Automated Theorem Prover: De-mystifying Logical Inference  [Details] Adam Pease (Articulate Software) Hosted by Richard Waldinger
Thu Mar 11, 2021
at 4:00pm
in Zoom
DASL and Automated Molecular Discovery  [Details] Dayne Freitag (AIC), John Byrnes (AIC) Hosted on Zoom by Aaron Spaulding
Wed Oct 21, 2020
at 10:00am
From Probabilistic Logics to Neuro-Symbolic Artificial Intelligence  [Details] Luc De Raedt (KU Leuven) Hosted by Rodrigo de Salvo Braz
[Webex available]
Thu Mar 12, 2020
at 4:00pm
in EK255 (SRI E building)
The programming architecture of Babbage's Analytical Engine  [Details] Raúl Rojas (Freie Universität Berlin) Hosted by Richard Waldinger
[Webex available]
Thu Feb 20, 2020
at 4:00pm
in EK255 (SRI E building)
Dynamic Program Generation and the Bixby Assistant  [Details] Adam Cheyer (Samsung) Hosted by Karen Myers
[Webex available]

SRI International
©2021 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy