Derniers événements annoncés
Les événements sont présentés par ordre chronologique dans l'agenda de l'université.
Développement d'un outil de modélisation pour les entreprises sociales
Défense de mémoire de Monsieur François Dupire
Bidirectional approach to Channel-based database schema evolution
Défense de mémoire de Beine Mathieu/Hames Nicolas
Model Checking for the Masses
Défense de thèse de Maxime Cordy
Using goal modelling languages for representing business strategies
Défense de mémoire de Julien Silverio
Visualtisation pour la compréhension de programmes avec un outil metaCASE
Défense de mémoire de Monsieur Philip Maes
Towards the Operationalization of the Physics of Notations
Défense de mémoire de Nabil Cherchem
Contribution a l'évaluation d'une implémentation de BGPSec
Défense de mémoire de Monsieur Mateo Pacheco Cardena
Engineering Configuration Graphical User Interfaces from Variability Models
Défense de thèse de Quentin Boucher
Administrative management of clinical studies in hospitals
Défense de mémoire de Pol Benats
Computer-Aided Reasoning for Product-Line Model Checking
Defense du mémoire de Bruno Dawagne
Implémentation d'un éditeur BPMN au sein d'un outil de métamodélisation
Défense de mémoire de Simon Arnaud
Program analysis for concurrent programming : consistency verification of STMHaskell programs using Moth
Défense de mémoire de Mademoiselle Aurélie Duc
ArThUR: Un outil d'aide à la manipulation d'ontologies et de la logique de Markov
Défense de mémoire d'Axel Bodart et Keyvin Evrard
Créativité collaborative en ingénierie des exigences, outils pour le facilitateur
Défense de mémoire de Monsieur Alan Hortz - Master 60 en Informatique à horaire décalé
Model checking of biological systems
The FOCUS research group has the pleasure to invite you to the following invited lecture given by David Safranek, professor at the Faculty of Informatics, Masaryk University, in Brno, Czechoslovakia.