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

• 14:00 - 14:45 : Dale Miller, "Formal proof and trust" (abstract) (18-10-09_miller.pdf)
• 14:45 - 15:45 : Florian Rabe and Gilles Dowek, "Shared background library" (18-10-09_dowek.pdf) (18-10-09_rabe.pdf)

• 15:45 - 16:15 : break

• 16:15 - 17:00 : Stéphane Graham-Lengrand, "Proving theorems with quantifier elimination techniques" (abstract) (18-10-09_graham-lengrand.pdf)

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

It is open to anyone, but please register here.