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

Registration is open

Frédéric Liège12 Mar 2018

Registration is open: please register now !

Post navigation

First call for participation
Travel information available

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.