Aller au contenu (Pressez Entrée)

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

Navigation de l’article

Last chance to register

Articles récents

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

Méta

  • Connexion
  • Flux des publications
  • Flux des commentaires
  • Site de WordPress-FR
© Copyright 2025 EPIT 2018 Software Verification Spring School. Pranayama Yoga | Développé par Rara Theme Propulsé par WordPress.