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 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.

Conference Dinner

The conference dinner will take place at the Zaiserei Weingut, Austraße 371, 70376 Stuttgart 

It can be reached via public transport with U12 to Wagrainstraße, then a 15 minute walk as below. Don’t trust plain Google Maps -
it ignores the "Golden Gätele" pedestrian bridge. 

Show larger version