Cisco: Have your Robots Call My Robots

Add to your list(s) Download to your calendar using vCal

• Simon Chatterjee
• Tuesday 03 November 2020, 13:05-13:55
• Virtual.

If you have a question about this talk, please contact Ben Karniely.

Creating a better, cheaper Internet for all depends on network operations moving away from humans to software automatons.

This raises technical challenges, where techniques originating in automated theorem proving are highly practical.

This is an accessible talk, that won’t assume deep knowledge of either networking or formal methods.

This talk is part of the Technical Talks - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Guy Emerson's list
• Interested Talks
• School of Technology
• Technical Talks - Department of Computer Science and Technology
• Trust & Technology Initiative - interesting events
• Virtual
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.