Center for ST
Subscribe yourself to the =trace-announce= mailing list to receive announcements of papers, software releases, and events directly related to the TraCE project. The list is moderated and has low traffic. * https://mail.cs.uu.nl/mailman/listinfo/trace-announce The trace-dev list is for project members only. You can send an email to the list to reach all of us. * https://mail.cs.uu.nl/mailman/listinfo/trace-dev The nix-dev list is for users and developers of the [[Nix]] deployment system. * https://mail.cs.uu.nl/mailman/listinfo/nix-dev When needed we will set up lists for users of other tools produced in the project, and perhaps a more general discussion list.