Réunion de lancement du 2 février 1998 à Rocquencourt : Alain Girault, Christophe Lavarenne, Daniel Simon, Yves Sorel. Présentation de SynDEx. Discussions sur la compilation d'applications Orccad en DC qui est le format d'entrée de SynDEx.
Ecole de printemps Max-Plus à Noirmoutier : Alain Girault a participé à l'école de printemps sur les algèbres Max-Plus et les applications en informatique et automatique, du 4 au 7 mai 1998.
Réunion de travail du 26 octobre 1998 à Rocquencourt : Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu. Compte-rendu détaillé.
Réunion de travail du 18 décembre 1998 à Rocquencourt : Alain Girault et Christophe Lavarenne. Compte-rendu détaillé.
Réunion de travail du 11 février 1999 à Montbonnot : Alain Girault, Daniel Simon, Mihaela Sighireanu, Yves Sorel, Christophe Lavarenne et Rémy Kocik. Compte-rendu détaillé.
Workshop on Formal Design of Safety Critical Embedded Systems : Eric Rutten a participé à ce workshop du 15 au 17 mars 1999 à Munich. Compte-rendu détaillé.
Réunion de travail du 9 juin 1999 à Sophia-Antipolis : Gérard Berry, Robert de Simone, Annie Ressouche et Mihaela Sighireanu. Compte-rendu détaillé.
Réunion de travail du 17 décembre 1999 à Rocquencourt : Mihaela Sighireanu, Catalin Dima, Alain Girault, Christophe Lavarenne et Yves Sorel. Compte-rendu détaillé.
Séjour de travail du 10 au 12 janvier 2000 à Rocquencourt : Catalin Dima et Christophe Lavarenne. Compte-rendu détaillé.
Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels : Catalin Dima et Alain Girault ont participé à cet atelier du 26 au 28 janvier 2000 à Grenoble. Compte-rendu détaillé.
Séjour de travail du 14 au 16 février 2000 à Rocquencourt : Catalin Dima et Christophe Lavarenne. Compte-rendu détaillé.
Réunion de travail du 9 mars 2000 à Montbonnot sur la synthèse de contrôleurs : Hervé Marchand, Oded Maler, Thao Dang, Hassane Alla, Alexandru Tiberiu Sava, Bernard Espiau, Alain Girault, Eric Rutten et Daniel Simon. Compte-rendu détaillé.
Séjour de travail du 8 au 10 mars 2000 à Rocquencourt : Catalin Dima, Christophe Lavarenne et Yves Sorel. Compte-rendu détaillé.
Séjour de travail du 12 au 14 avril 2000 à Rocquencourt : Catalin Dima, Yves Sorel, Thierry Grandpierre et Fabien Fleutot. Compte-rendu détaillé.
Réunion de travail du 13 juillet
2000 à Rocquencourt : Catalin Dima, Yves Sorel, Thierry
Grandpierre, Rémy Kocik, Claudio Pinello et Alain Girault. Compte-rendu détaillé.