Skip to content (Press Enter)

EPIT 2018 Software Verification Spring School

Une École de Printemps en Informatique Théorique

  • Presentation
  • Programme
    • SMT solving
    • Program Verification with F*
    • Bounded Model Checking
    • Concurrent program logics
    • Short(er) talks
    • Detailed programme
  • Register
  • Venue & travel
  • Presentation
  • Programme
    • SMT solving
    • Program Verification with F*
    • Bounded Model Checking
    • Concurrent program logics
    • Short(er) talks
    • Detailed programme
  • Register
  • Venue & travel

Course material

Frédéric Liège10 May 2018

Slides and other course material is available on course pages (available from here) and short(er) talks page. The currently unavailable slides will be made available shortly.

Post navigation

Last chance to register

Recent Posts

  • Course material
  • Last chance to register
  • Travel information available
  • Registration is open
  • First call for participation

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
© Copyright 2023 EPIT 2018 Software Verification Spring School. Pranayama Yoga | Developed By Rara Theme Powered by WordPress.