We are pleased to announce the availability of a new tech talk video. The video is presented by Sergio Antoy from Portalnd State University, and demonstrates a programmin technque called “narrowing”. For more details, please visit the talk announcement page.
More tech talk videos are available on our Vimeo channel.
Categories
- Artificial Intelligence
- Cryptography
- Cyber-Physical Systems
- Data Science
- Demo
- Digital Engineering
- Domain Specific Languages
- Elections
- Formal Methods
- Functional Programming
- Hardware
- Highlights
- Life at Galois
- Machine Learning
- Mobile Security
- Network Security
- News
- Open-source
- Security
- Systems Software
- Tech Talks
- Tools
- Uncategorized
Subscribe
Get notified about new postsTech Talk Video: Programming with Narrowing
- Date Time
- Speaker
- Location