Si vous souhaitez présenter un de vos travaux à FAC, vous êtes invités à soumettre une déclaration d’intention comportant le titre de votre contribution ainsi qu’un résumé d’une centaine de mots. Nous prenons en compte deux catégories de contributions:

• des articles récemment publiés ou en cours de publication, pour lesquels il n’y aura pas de processus de relecture.

• des articles non publiés, qui seront soumis à un processus de relecture avec retour de commentaires aux auteurs.

Nous encourageons en particulier les doctorants à soumettre un papier.

Les déclarations d’intention (avec résumé) doivent être envoyées avant le 14 février 2024 (pour les deux catégories de soumissions). Vous pouvez soumettre votre contribution en suivant le lien suivant :

https://easychair.org/conferences/?conf=fac2024

En cas de problème lors de la soumission en ligne ou de question, vous pouvez nous contacter par email Julien.Brunel [at] onera.fr, garion [at] isae-supaero.fr, ou dalzilio [at] laas.fr.

Dates importantes

À bientôt aux journées FAC.

À propos des journées FAC

Important : la participation aux journées est gratuite; afin de pouvoir dimensionner correctement les pauses-café et les repas, il est demandé de s’inscrire au plus tard le 25 mars via le formulaire suivant :

https://sites.laas.fr/registration/fac2024

La conférence portera sur les domaines habituellement abordés dans nos laboratoires, mais reste ouverte à tout thème novateur (c’est pourquoi la liste ci-dessous n’est pas exhaustive):

• Formalismes : processus algébriques, réseaux de Petri, approches B, Unity, VDM, Z, automates temporisés, langages synchrones, logiques modales, d’ordre supérieur…

• Méthodologies : orientation objets, modèles, modularité et réutilisation, techniques de raffinement …

• Techniques d’analyse, de vérification et de test, procédures de décision, vérification de preuves, approches symboliques, simulation, analyse d’espaces d’états infinis ou paramétrés, assistants de preuve, environnements de modélisation, de conception et/ou de validation, génération de jeux de test.

• Études de cas, utilisation d’outils.

Comité de programme

Jean-Paul Bodeveix, Mamoun Filali, Jean-Baptiste Raclet, Marc Pantel, Philippe Quéinnec, Pascal Sotin, Iulian Ober, Julien Brunel, Claire Pagetti, Pierre Roux, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Didier Le Botlan, Matthieu Roy, Christophe Garion.