Faculté de mathématiques et informatique

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.

Économie Mathématiques

Premier hackathon à UniDistance Suisse Le 6 juin, le campus d’UniDistance Suisse à Brigue a accueilli son tout premier hackathon. L’événement était axé sur la recherche de solutions créatives et l’élaboration collaborative de projets scientifiques innovants autour du thème de la «Computational Reproducibility».

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.