We organize MEMOCODE 2021

MEMOCODE 2021 is co-organized by our group, jointly with the conference FM 2021. Both MEMOCODE and FM are virtual meetings, with talks, tutorials, and workshops given online.