Home /  SummerSchool /  Schedules /  Visiting Lecturer

Visiting Lecturer

Principled Scientific Discovery with Formal Methods (IBM, Yorktown) July 07, 2025 - July 18, 2025

July 15, 2025 (09:30 AM PDT - 10:45 AM PDT)
Speaker(s):
Video

Visiting Lecturer
Abstract No Abstract Uploaded
Supplements No Notes/Supplements Uploaded
Video/Audio Files

Visiting Lecturer

Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.