ABZ 2023 (9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS) will take place at Loria from Tuesday, 30th May to Friday, 2nd June. The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of…
Find out more »A la suite de la Journée thématique - IA pour la découverte scientifique organisée en octobre dernier, le cycle d’exposés se poursuit sur par une journée consacrée aux réseaux de neurones et aux réseaux de neurones physiquement informés (Physically Informed Neural Networks, PINNs), dont le programme se trouve ci-dessous. Cette journée est principalement destinée aux non spécialistes, puisque le but est de se familiariser avec cette méthode, et de voir quelques applications. Inscriptions sur ce lien Programme 9:30 Accueil-café 10:00 Introduction to Neural Networks Mathieu d’Aquin (LORIA, Université…
Find out more »Les 32èmes journées arithmétiques se tiendront à Nancy du 3 au 7 juillet 2023. Il s'agit de l’une des plus importantes conférences internationales en théorie des nombres. Les matinées seront consacrées aux exposés pléniers donnés par des oratrices et orateurs de tout premier plan dans des domaines variés de la théorie des nombres. Les après-midi, des chercheuses et chercheurs de théorie des nombres, dont une majorité de doctorants ou jeunes docteurs, présenteront leurs travaux lors de sessions parallèles. Plus d'informations…
Find out more »
