Actualités

Mathématiques

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 internationale « Formalization and Proof Assistants », qui s’est tenue du 25 au 27 mars 2026 à UniDistance Suisse. L’événement, organisé par le professeur de mathématiques David Loeffler, s’est inscrit dans le cadre des « Spring Meetings » de la Société Mathématique Suisse et a réuni des expertes et experts de premier plan venus du monde entier.

Mathématiques

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 par un ordinateur. Cette démarche permet de vérifier rigoureusement la validité des démonstrations. Elle reste toutefois exigeante, car elle nécessite une compréhension approfondie des mathématiques ainsi que du système formel utilisé. Les outils informatiques qui accompagnent ce processus sont appelés assistants de preuve.

Events Mathématiques

L’arithmétique, dénominateur commun des pays de l’arc alpin Des mathématiciens italiens, suisses et autrichiens se sont réunis sur le campus d’UniDistance Suisse, à Brigue, pour présenter leurs travaux de recherche sur les nombres premiers. Arithmetica Transalpina, tel est le nom donné à cette rencontre qui s’est tenue le 17 octobre 2025 et dont le professeur David Loeffler est l’organisateur. Il nous a dévoilé les intérêts de cette conférence et ses applications au quotidien.

Mathématiques

Gros succès pour le cours d’été Lego à UniDistance Suisse Dans le cadre du passeport vacances du district de Brigue, un cours de programmation et de construction Lego pour enfants s’est tenu fin juillet sur le campus d’UniDistance Suisse. Dans un cadre ludique et stimulant, les enfants ont pu acquérir de nouvelles compétences techniques tout en développant leur créativité. Les retours ont été extrêmement positifs et les petits étudiants se sont montrés aussi enthousiastes qu’impliqués.

KinderUni Mathématiques

Première sur le campus de Brigue - cours de vacances «Construire et programmer des robots Lego» Cet été, UniDistance Suisse proposera pour la première fois sur son campus de Brigue un cours de vacances pour les écoliers et écolières. Le cours (en allemand) «Lego Roboter bauen und programmieren– Kinder lernen von Kindern!» aura lieu dans le cadre du passeport vacances de Brigue du 21 au 25 juillet et s'adresse aux enfants de 8 à 12 ans. Le cours fait partie de l’offre de services intergénérationnels d’UniDistance Suisse et est proposé par le service «Prestations de services et Alumni».

Mathématiques

Hackathon au Campus de Brigue

Mathématiques

Erfolgreiche PASC-Finanzierung für unsere Fakultät Mathematik und Informatik Dr. Patrick Zulian, Postdoktorand an unserer Fakultät für Mathematik und Informatik, hat eine PASC-Finanzierung in Höhe von CHF 461.000 für eines seiner Forschungsprojekte erhalten.

Mathématiques

Première leçon inaugurale à UniDistance Suisse Le 5 décembre s’est tenue la première leçon inaugurale organisée par UniDistance Suisse. Le professeur en mathématiques David Loeffler a présenté l’héritage du dernier théorème de Fermat, dont la preuve a nécessité près de 350 ans de recherche.

Facultés Mathématiques

Le Fonds national suisse soutient un projet en mathématiques d'UniDistance Suisse pour la réduction du bruit. Quelle contribution les mathématiques peuvent-elles apporter pour réduire de manière durable et à long terme la pollution sonore et acoustique? Le projet «Méthodes numériques pour la conception efficace de métamatériaux acoustiques» mené par le Prof. Dr Matthias Voigt d'UniDistance Suisse présente une approche innovante à cette question. Le Fonds national suisse a approuvé une subvention de 250'000 CHF pour ce projet de recherche prometteur, valable pour les trois prochaines années. Matthias Voigt donne un aperçu du projet.

Mathématiques

Nouveautés concernant le Master en intelligence artificielle Le succès de la phase pilote du projet permet désormais une révision complète du programme, dans le but de proposer un cursus plus durable.

Facultés Mathématiques

Les systèmes hamiltoniens à ports : un paradigme moderne pour la modélisation, la simulation, l’optimisation et la régulation de processus dynamiques Dans le domaine de l’ingénierie, il est courant d’utiliser des modèles mathématiques ou informatiques, par exemple pour simuler ou optimiser le comportement dynamique d’une machine. Une question tout à fait fondamentale dans ce contexte est de savoir quels sont les rapports et les grandeurs physiques qui influencent la dynamique.

Facultés Mathématiques

Ernennung ordentlicher Professor in der Fakultät Mathematik und Informatik der FernUni Schweiz Die FernUni Schweiz vertieft ihre Vernetzung und Etablierung im schweizerischen Hochschulbereich.