The ProofInUse consortium: plenary meetings

• Home
• Meetings
• Dissemination
• External Links

• Plenary meeting on November 21st, 2022
• Plenary meeting on counterexamples, October 21st, 2021
• Plenary meeting on memory models, November 23rd, 2018