List archive

• [ssreflect] [CFP] The Coq Workshop 2021: Deadline Extension, Jean-Marie Madiot, 05/03/2021
• [ssreflect] computing with fully ground and opaque terms, Nada Amin, 05/06/2021
  • Re: [ssreflect] computing with fully ground and opaque terms, Christian Doczkal, 05/06/2021
    • Re: [ssreflect] computing with fully ground and opaque terms, Nada Amin, 05/07/2021
  • Re: [ssreflect] computing with fully ground and opaque terms, Assia Mahboubi, 05/06/2021
• [ssreflect] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield, Andrei Popescu, 05/19/2021
• [ssreflect] 12th International School on Rewriting (ISR 2021), online and free, ADRIAN RIESCO RODRIGUEZ, 05/20/2021
• [ssreflect] Existing formalization of Jordan normal form in Coq, Mohit Tekriwal, 05/25/2021
• [ssreflect] PhD position on the formalization of logical calculi in Saarbrücken, Andrei Popescu, 05/26/2021

Archive powered by MHonArc 2.6.19+.