Skip to main content
Zur Startseite der DHBW Stuttgart 50 Jahre DHBW Stuttgart 50 Jahre DHBW Stuttgart
Standorte
Stuttgart Campus Horb
DE  |  EN
Studieninteressierte Studierende Duale Partner Lehrbeauftragte Presse Alumni International Visitors Mitarbeitende
Zur Startseite der DHBW Stuttgart

Program

to the complete program

CADE-30 will feature presentation of 37 peer-reviewed papers and 3 invited talks.

Invited Talks

  • Sharon Shoham “Taming Infinity for Verification in First Order Logic”
  • Leonardo de Moura "A Decade of Lean: Advancing Proof Automation for Mathematics and Software Verification"
  • Azadeh Farzan "Choose Your Proofs: Commutativity and Symmetry for Smarter Reasoning”

Social Program

The Social Program comprises a reception on Monday evening, excursions on Wednesday afternoon and the conference dinner on Wednesday evening.