Hi everyone, I just wanted to let you know that we now have a new shared email address for all our groups. You can use this address whenever you’d like to share something with the entire ADA section (adasection.cs@maillist.au.dk<mailto:adasection.cs@maillist.au.dk>) /Julian