Events I am or I was involved in

• POPL'26 (PC member)
• LICS'26 (PC member)
• PPDP'25 (PC member)
• LSFA'25 (PC member)
• WiL'25 (PC member)
• MFPS'25 (Invited Speaker)
• FOSSACS'25 (PC Co-Chair)
• Lambda World'24 (Invited Speaker)
• FSCD'24 (Invited Speaker)
• TLLA'24 (PC member)
• ITRS'24 (PC Chair)
• WiL'24 (PC member)
• DiλLL'24 (Invited Tutorial)
• PPDP'23 (Invited Speaker}
• TYPES'23 (PC member)
• HOR'23 (PC member)
• DCM'23 (PC member)
• LSFA'23 (PC member)
• FoPSS'23 (Invited Tutorial)
• ICFP'23 (PC member)
• CSL'23 (PC member)
• IFIP 2.2, 2022 (Speaker)
• Zena Ariola's Birthday'22 (Speaker)
• ICFP'22 (Invited Speaker)
• TERMGRAPH'22 (Invited Speaker)
• WiL'22 (Invited Speaker)
• Workshop SINFIN'22 (Organizer)
• Women in EuroProofNet (Invited Speaker)
• TYPES'22 (PC Co-Chair)
• MFPS'22 (PC member)
• LSFA'22 (PC member)
• FSCD'21 (PC member)
• WiL'21 (PC member)
• CSL'21 (PC member)
• IFIP 2.2, 2021 (Speaker)
• OWLS DEBATE'20 (Panelist) (Slides)
• LSFA'20 (Invited Speaker)
• LOPSTR'20 (PC member)
• WiL'20 (PC member)
• ICFP'20 (External Review Committee)
• FSCD'20 (PC member)
• FOSSACS'20 (PC member)
• CSL'20 (Invited Speaker)
• Tbilisi Summer School'19 (Lecturer)
• TLLA- SD'19 (Joint Invited Speaker)
• HOR'19 (Steering Committee)
• WiL'19 (PC member)
• Types'18 (Invited speaker)
• LFMTP'18 (Invited speaker)
• DCM'18-ITRS'18 (Joint Invited speaker)
• Workshop of Project ANR FISP'17 (Co-Organizer)
• TLLA'17 (PC member)
• WPTE'17 (PC member)
• FoSSaCS'17 (PC member)
• LSFA'17 (PC member)
• LIA INFINIS Workshop'16 (Organizer)
• Workshop on Intersection Types'16 (Co-Organizer)
• FSCD'16 (PC Co-Chair)
• WPTE'16 (PC member)
• LICS'15 (PC member)
• RTA'15 (PC member)
• WPTE'15 (PC member)
• LSFA'15 (PC member)
• LSFA'14 (PC member)
• EBL'14 (Invited speaker)
• WPTE'14 (PC member)
• IWC'14 (PC co-chair)
• ICDCIT'14 (PC member)
• LSFA'13 (PC member)
• RTA'13 (PC member)
• Wollic'13 (PC member)
• LSFA'12 (PC co-chair)
• Wollic'12 (PC member)
• LSFA'11 (PC member)
• DCM'11 (PC member)
• ICDCIT'11 (PC member)
• IFIP WG1.6'10 (Invited speaker)
• LSFA'10 (PC member)
• RTA'10 (PC member)
• ISR'09 (Invited Course)
• LSFA'09 (Invited speaker)
• LSFA'08 (PC member)
• LPAR'07 (PC member)
• LSFA'07 (PC member)
• IFIP WG1.6'07 (Invited speaker)
• JFLA'07 (PC member)
• RULE'07 (Invited speaker)
• Rho-Calculus'06 (co-organizer)
• LSFA'06 (PC member)
• HOR'06 (PC co-chair, co-organizer)
• SLALM'06 (Invited speaker)
• RTA'06 (PC member)
• CATS'06 (PC member)
• IFIP WG1.6'05 (Invited speaker)
• ICALP'05 (PC member)
• HOR'04 (PC co-chair, co-organizer) (Pictures)
• WST'03 (PC member)
• HOR'02 (PC co-chair, co-organizer)
• RTA'99 (PC member)
• Westapp'99 (PC chair, organizer)
• Westapp'98 (PC member)
• CLaPF'97 (PC member)
• 24JAIIO (PC member)