Skip to content

PLUME: Programs & Proofs

About
Members
Visitors
Seminars
Events
Publications
Software
Projects

Programs & Proofs

Author: Russell Harmer

Chocola

The next Chocola seminar will take place on Thursday 12th November 2026.

Author Russell HarmerPosted on October 19, 2026

Rocq Band

The next Rocq Band seminar will take place after the summer.

Author Russell HarmerPosted on June 12, 2026

Address

Laboratoire LIP – ENS Lyon
46 Allée d’Italie
69364 LYON Cedex 07
France

About
Members
Visitors
Seminars
Events
Publications
Software
Projects

PLUME: Programs & Proofs Proudly powered by WordPress