Loading...
 
[Show/Hide Left Column]

The UPSCaLe scientific day will take place on October 9 2018 at LRI, Univ. Paris-Sud, amphi Shannon (building 660). You will have to register at the front desk.

This seminar will present various projects around interoperability of proof systems:

  • 09:00 - 09:30 : welcome coffee

  • 09:30 - 09:40 : Chantal Keller, opening
  • 09:40 - 10:40 : Cezary Kaliszyk, "Reinforcement Learning of Theorem Proving" (abstract) (18-10-09_kaliszyk.pdf)

  • 10:40 - 11:10 : break

  • 11:10 - 11:55 : François Pessaux, "Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications" - joined work with Catherine Dubois (abstract) (18-10-09_pessaux.pdf)
  • 11:55 - 12:40 : Guillaume Burel, "Bridging holes on Dedukti proofs, an overview" (abstract) (18-10-09_burel.pdf)

  • 12:40 - 14:00 : buffet


  • 15:45 - 16:15 : break


Cezary Kaliszyk (University of Innsbruck, Austria) will be our guest.

It is open to anyone, but please register here.