Comment l’IA transforme les mathématiques : une rencontre internationale à UniDistance Suisse
Comment les méthodes formelles et l’intelligence artificielle transforment-elles les mathématiques? Cette question était au cœur de la rencontre…
UniDistance Suisse vise l'excellence dans la recherche en droit, psychologie, sciences économiques, histoire, mathématiques, et e-learning.
Comment l’IA transforme les mathématiques : une rencontre internationale à UniDistance Suisse
Comment les méthodes formelles et l’intelligence artificielle transforment-elles les mathématiques? Cette question était au cœur de la rencontre…
Journée valaisanne du droit pénal : les deepfakes au cœur des débats
Le vendredi 19 juin 2026, le campus de Brigue accueillera la deuxième édition de la Journée valaisanne du droit pénal. Cette année, la manifestation…
SMS Spring Meeting : Formalisation et assistants de preuve
La formalisation des preuves mathématiques consiste à traduire des raisonnements rédigés par des humains dans un langage formel précis, compréhensible…
Bienvenue sur la page du groupe de recherche de Prof. Dr Pamela Banta Lavenex "Neurocognitive Development"
En s'appuyant sur des modèles théoriques et des connaissances empiriques issues de l'économie, du management et de la psychologie, le groupe de recherche étudie des thèmes actuels de l'économie de l'organisation et de…
The geometry group conducts research in projective differential geometry and its interactions with complex geometry, partial differential equations and dynamical systems. Current areas of interest include: complex projective…