International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Repairable Grounding of Shared Action in Human-Robot Interaction | Markus Rickert |
| 11:30 | Limits to in context learning and what to do about it | Nicholas Asher |
| 12:00 | Liquid Large Language Models | Radu Grosu |