Méthodes Formelles pour les Systèmes Logiciels et Matériels
Venerdì 16 novembre 2007Ekkart Kindler, Institut fuer Informatik Universitaet Paderborn; Benoit Calvez, doctorant à l'IBISC
Premier exposé : Modelling Software! Forget about Programming!Deuxième exposé : Ant Colony Systems and the Calibration of Multi-Agent Simulations.