• LSFA'11
• DCM'11
• ICDCIT'11
• Stic-AmSud: Types for Robust Program Development'10
• IFIP WG1.6'10
• LSFA'10
• RTA'10
• HOR'10
• ISR'09
• LSFA'09
• LSFA'08
• LPAR'07
• LSFA'07
• HOR'07
• JFLA'07
• Rho-Calculus'06
• LSFA'06
• HOR'06
• RTA'06
• SLALM
• CATS'06
• IFIP WG1.6'05
• ICALP'05
• HOR'04 (Pictures)
• WST'03
• HOR'02
• RTA'99
• Westapp'99
• Westapp'98
• CLaPF'97
• 24JAIIO