International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Should Alignment be about Reasons or Preferences? An interactive discussion | Felix Jahn, Lisa Dargasz, Andre Steingrueber |
| 17:00 | Value Capture and the Structure of AI Alignment: A Case for Rule-Based Approaches | Andre Steingrüber, Kevin Baum |