Some old and/or stupid stuff... if you're looking for the PPS home page, click here.

• Nightmares of formal verification (Cachan, 1998)
• A Universal Cartoon Language ? (Cachan, 1998)
• The retraction problem (TLCA, 2000)
• Coders and decoders (TLCA, 2000)
• The minimal model decider (TLCA, 2000)
• The AC/DC Cheat Sheet (2012)

• Jean-Louis Krivine
• Pierre-Louis Curien
• Roberto di Cosmo
• Luke Ong

• The real RDP 2007 Poster
• Rejected RDP Poster Project (too spooky)
• Rejected RDP Poster Project (too funny)