Coursera Plus Annual is 40% Off — Ends July 6.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Algorithmic Verification - Session Preview

ACM SIGPLAN via YouTube

Start learning Write review
DataCamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More → Boot.dev Ad

Stuck in Tutorial Hell? Learn Backend Dev the Right Way

Learn More →

Overview

AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore a concise preview of the Algorithmic Verification session at POPL'24, presented by Konstantinos Mamouras. Gain insights into the latest developments and key topics in algorithmic verification to be discussed during the upcoming conference. This 10-minute video, produced by ACM SIGPLAN, offers a glimpse into the cutting-edge research and discussions that will shape the field of programming languages and verification.

Syllabus

[SessionPreviews@POPL'24] Algorithmic Verification: Session Preview

Taught by

ACM SIGPLAN

Reviews

Start your review of Algorithmic Verification - Session Preview

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.