Talks

Keynote

• Reliable AI code generation through sound program analysis

  Armando Solar-Lezama

Invited Talk

• Neural Stochastic Control and Verification for Safe Autonomy

  Đorđe Žikelić

  Table Host 

• TBA

  Sara Magliacane

  Table Host 

• Latent space navigation – interpretation, probing and steering

  Lenka Tětková

  Table Host 

• When Control Changes the Data: Safety under Interaction-Driven Distribution Shifts

  Lars Lindemann

  Table Host