ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Track

Verification for Neuro-Symbolic Artificial Intelligence

Time	Room	Session
Sun, 3.11 09:00	Room 2	Session 1
Sun, 3.11 11:00	Room 2	Session 2
Sun, 3.11 14:30	Room 2	Session 3
Sun, 3.11 16:30	Room 2	Session 4