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)