Details can be found by following these links:
Showing items tagged talks. Show All
talk: Ian Blumenfeld on Interactive Proof Assistants for Verification, Fri 1/31
The UMBC Cyber Defense Lab presents Interactive Proof Assistants for Verification Ian Blumenfeld Principal Research Mathematician Two Six Labs 12:00-1:00 pm Friday, 31 January...
Posted: January 20, 2020, 7:07 PM
TALK: Reasoning About Time in a Crypto Protocol Analysis Tool
The UMBC Cyber Defense Lab presents Reasoning About Time in a Crypto Protocol Analysis Tool Dr. Catherine Meadows, Naval Research Laboratory 12:00–1:00pm Friday, 15 November 2019,...
Posted: November 10, 2019, 3:12 PM
Science Unscripted: Conversations with AI Experts, 5-8:00pm 29&30 Oct 2019, UMBC
On October 29 and 30 the National Science and Technology Medals Foundation will host Science Unscripted: Conversations with AI Experts, two early evening events at UMBC from 5:00 to 8:00pm that...
Posted: October 14, 2019, 1:30 PM
Talk: how algorithms are shaping our lives, 1pm Thr Oct. 17, ITE 104
Lockheed Martin Distinguished Speaker Series How Algorithms Are Shaping Our Lives Dr. Alfred V. Aho Lawrence Gussman Professor Emeritus of Computer Science, Columbia University...
Posted: October 6, 2019, 6:37 PM
talk: Three Related Takes on Investigating Human-Like Intelligence
Lockheed Martin Distinguished Speaker Series Three Related Takes on Investigating Human-Like Intelligence: Cognitive Architectures, a Common Model of Cognition, and Dichotomic Maps Dr....
Posted: October 2, 2019, 1:59 PM
- Go to page 1
- …
- Go to page 7
- Go to page 8
- Go to page 9
- Go to page 10
- Go to page 11
- …
- Go to page 112