Programme

The full proceedings are available here.

June 5, 2018

  • 08:30 - 09:00 Registration
  • 09:00 - 09:30 Opening and Welcome
  • 09:30 - 10:30 Invited talk
    Michael Leuschel. Solving Set Constraints in B and Event-B: Foundations and Applications
  • 10:30 - 11:00 Coffee Break
  • 11:00 - 11:30 Domenico Cantone and Alberto Policriti. Encoding Sets as Real Numbers (PDF)
  • 11:30 - 12:00 Maximiliano Cristiá and Gianfranco Rossi Programming in Java with Restricted Intensional Sets (PDF)
  • 12:00-12:20 Catherine Dubois and Sulyvan Weppe. Towards Coq Formalisation of {log} Set Constraints Resolution (PDF)
  • 12:20-13:50 Lunch
  • 13:50-14:20 Alberto Casagrande, Francesco Di Cosmo and Eugenio G. Omodeo. On perfect matchings for some bipartite graphs (PDF)
  • 14:20 - 14:50 Domenico Cantone, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria. A set-based reasoner for the description logic DL_D^{4,\times} (PDF)
  • 14:50 - 15:10 Olivier Hermant. Polarized Rewriting and Tableaux in B Set Theory (PDF)
  • 15:10 - 15:30 Vincent Semeria. HilbertProofs