Formal Methods An IPA online afternoon (IPAndemic afternoon, if you will) will take place Wednesday, June 23rd, starting at 13:00 (social chat open at 12:30). The afternoon has a formal methods flavour, with speakers from IPA’s formal methods ‘blood group’, and the afternoon will also feature introductory talks by some of the many IPA …