• Guy Cousineau (avant)
• Guy Cousineau (après)
• Chantal Berline
• Jean-Louis Krivine
• Pierre-Louis Curien
• Roberto Di Cosmo
• Henk Barendregt
• Luke Ong

• Rejected RDP Poster Project #1 (too spooky)
• Rejected RDP Poster Project #2 (too funny)

• xfig abuse : Nightmares of formal verification (Cachan, 1998)
• xfig abuse : A Universal Cartoon Language ? (Cachan, 1998)
• xfig abuse : The retraction problem (TLCA, 2000)
• xfig abuse : Coders and decoders (TLCA, 2000)
• xfig abuse : The minimal model decider (TLCA, 2000)