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…
UniDistance Suisse vise l'excellence dans la recherche en droit, psychologie, sciences économiques, histoire, mathématiques, et e-learning.
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…
Invitation à la Leçon inaugurale du professeur Bernhard Schär
Le mardi 12 mai, Bernhard Schär, professeur extraordinaire en histoire moderne et contemporaine, aura l'honneur de donner sa leçon inaugurale sur le…
Le professeur Thierry Godel éclaire le cadre juridique du service militaire étranger
Dans le contexte des conflits internationaux actuels, les questions liées à l’engagement de ressortissants suisses dans des armées étrangères…
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…