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 2025 (pour les deux catégories de soumissions). Vous pouvez soumettre votre contribution en suivant le lien suivant :

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

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

Étape Date
Déclaration d’intention avec résumé : 14 février 2025
Soumission de l’article complet : 26 février
Notification d’acceptation : 11 mars
Version finale de l’article : 22 mars
Journées FAC: 2-3 avril - ISAE/ONERA

À bientôt aux journées FAC.

À propos des journées FAC

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, Jean-Baptiste Raclet, Quentin Peyras, Marc Pantel, Philippe Quéinnec, Aurélie Hurault, Pascal Sotin, Iulian Ober, Christophe Garion, Célia Picard, David Chemouil, Pierre Roux, Nicolas Amat, Julien Brunel, Clément Foucher, Tomasz Kloda, Didier Le Botlan.