Activity: Participating in or organising an event › Organizer / committee member
https://formal-analysis.com/icfem/2018/