New Heuristics for Invariant Generation

Personnes présentes

• Marie-Claude Gaudel
• Frederic Voisin
• Safouan Taha
• Frederic Boulanger
• Burkhart Wolff
• Lina Yue
• Du Zeye

Presentators (by order of appearance)

• Vassil Todorov