Posted on 22 September 2015 by Giuseppe PrimieroAgenda HaPoC GA The provisional agenda for our first General Assembly, to be held on October 10 2015 at 6pm during HaPoC-3 in Pisa, is now available CategoriesHaPoC News Post navigation Previous PostPrevious Hardware, Software, Humans: Truth, Fiction and AbstractionNext PostNext A Vindication of Program Verification