Jan Bergstra and Mark Burgess on Campus

Jan Bergstra (University Amsterdam) and Mark Burgess (University College Oslo) arrived today on campus in order to work on promise theory as part of IUB’s ICTS program. They will both together give a talk about their work on Thursday at 15:00.