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

Travel information available

Frédéric Liège10 Avr 2018

You can start planning your trip: all details are on our venue & travel page.

Navigation de l’article

Registration is open
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.