Institut Atiyah-Patodi-Singer (Iaps)Registered

promouvoir la recherche en mathématiques, physique théorique, informatique théorique, méthodes formelles, sécurité des systèmes logiciels et intelligence artificielle digne de confiance ; développer des infrastructures scientifiques et open source ; accueillir des chercheurs ; organiser des conférences, résidences, ateliers et formations ; favoriser la diffusion publique des avancées scientifiques et techniques ainsi que les collaborations interinstitutionnelles ;