Home /  Summer Graduate School /  Schedule

Schedule, Notes/Handouts & Videos

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

Show All Collapse
Jul 07, 2025
Monday
09:30 AM - 10:45 AM
  Welcome to IBM Research; Background and Motivation
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Preliminaries
12:15 PM - 01:30 PM
  Lunch
12:15 PM - 12:30 PM
  Welcome with SLMath Director
01:30 PM - 02:45 PM
  Data Driven Discovery I
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 08, 2025
Tuesday
09:30 AM - 10:45 AM
  Data Driven Discovery II
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Data Driven Discovery III
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Data Driven Discovery Tutorial
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 09, 2025
Wednesday
09:30 AM - 10:45 AM
  Knowledge Based Discovery I
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Knowledge Based Discovery II
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Knowledge Based Discovery III
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Tutorial
Jul 10, 2025
Thursday
09:30 AM - 10:45 AM
  Knowledge Based Discovery IV
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Knowledge Based Discovery V
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Knowledge Based Discovery Applications
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Tutorial
Jul 11, 2025
Friday
09:30 AM - 10:45 AM
  Integrated Discovery I
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Integrated Discovery II
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Student Presentations
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 14, 2025
Monday
09:30 AM - 10:45 AM
  Integrated Discovery III
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Integrated Discover Applications
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Integrated Discovery Tutorial
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 15, 2025
Tuesday
09:30 AM - 10:45 AM
  Visiting Lecturer
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Hands-on Interactive Lab Experimentation
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Yorktown Lab Tour
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 16, 2025
Wednesday
09:30 AM - 10:45 AM
  Beyond Hypotheses Generation I
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Beyond Hypotheses Generation II
12:15 PM - 01:30 PM
  Yorktown BBQ
01:30 PM - 02:45 PM
  Beyond Hypotheses Generation Tutorial
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Working Groups
Jul 17, 2025
Thursday
09:30 AM - 10:45 AM
  Beyond Hypotheses Generation III
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Beyond Hypotheses Generation IV
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Student Presentations
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  MOC Reception
Jul 18, 2025
Friday
09:30 AM - 10:45 AM
  Beyond Hypotheses Generation Applications
10:45 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Student Presentations
12:15 PM - 01:30 PM
  Lunch
01:30 PM - 02:45 PM
  Student Presentations
02:45 PM - 03:00 PM
  Break
03:00 PM - 04:30 PM
  Summary
Back to Summer Graduate School