Vous êtes ici
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software
La 13ème édition de la conférence internationale "Formal Aspects of Component Software" (FACS), organisée par le département du DISC, aura lieu à Besançon du 19 au 21 Octobre 2016.
FACS 2016
FACS 2016
Contexte
L'approche - actuellement émergente - de développement de logiciels fondée sur les composants s'appuie sur un paradigme prometteur pour faire face à la complexité des logiciels actuels. Il reste toutefois de nombreux défis, tant conceptuels que techniques, tant théoriques que pratiques. En outre, les systèmes hébergés et l'Internet des objets apportent de nouvelles opportunités et de nouvelles notions, telles que la qualité, la robustesse, les reconfigurations. Ces nouveautés mènent à la révision de beaucoup de concepts.
FACS 2016 traite de l'utilisation de méthodes formelles pour la réalisation avec succès de logiciels et de services fondés sur des composants. De telles méthodes ont donné des modèles mathématiques pour la définition, la composition et l'adaptation de composants. Ils ont aussi donné des approches rigoureuses pour la vérification, le déploiement, le test et la certification.
Pour plus d'info, téléchargez le poster. (pdf, 774 Ko)
Champs d'intérêt
La conférence vise les applications de méthodes formelles dans tous les aspects des composants et services logiciels, avec une attention particulière aux systèmes physiques connectés et à l'Internet des objets. Voici une liste non exhaustive des champs spécifiques :
- modèles, aspects formels et modélisations pour les composants, services, interactions et architectures
- tests de composants et de services fondés sur des modèles et des interfaces graphiques
- modèles pour la compostion, le déploiement et l'étude de propriétés non fonctionnelles (p. ex., confiance, sécurité, etc.)
- évolution, mise à jour, reconfiguration, (auto-)adaptation de systèmes.
Dates importantes
Abstract submission deadline : June 24, 2016 Workshop proposal deadline : June 5, 2016
Paper submission deadline : July 1, 2016 Notification for workshops : June 19, 2016
Notification : August 24, 2016 Doctoral Track submission deadline : September 1, 2016
Final version due : September 7, 2016 Doctoral Track notification : September 9, 2016
MICRONORA : Un micron d’or et un prix spécial du jury pour FEMTO-ST
Deux réalisations microtechniques innovantes présentées par FEMTO-ST ont été récompensées lors de cette 18ème édition du salon Micronora en présence de Christian Estrosi, Ministre de l’industrie.
Lire la suite
Journées GdR DYCOEC 2010
Les prochaines journées GdR DYCOEC auront lieu du 8 au 10 Novembre 2010 à Besançon.
Lire la suite
Le soliton Peregrine : enfin l’explication des vagues scélérates !
Une équipe de recherche internationale (France, Irlande, Australie et Finlande), à laquelle ont participé l’institut FEMTO-ST et le laboratoire interdisciplinaire Carnot de Bourgogne a enfin observé un type de vague géante qui avait échappé aux scientifiques depuis plus de 25 ans : le soliton Peregrine. Leurs résultats scientifiques viennent d’être publiés en ligne sur Nature Physics.
Lire la suite
FEMTO-ST s’implique sur Micronora 2010
FEMTO-ST participe à la 18ème édition du salon international des microtechniques qui ouvre ses portes du 28 septembre au 1er octobre 2010 à Besançon
Lire la suite
Atelier LEA à Arc-et-Senans - 16 et 17 septembre 2010
Le Laboratoire Européen Associé en microtechnique organise la 9ème édition de son Atelier "Arc-et-Senans", les 16 et 17 septembre 2010 : Les microtechniques dans le quotidien et Gestion de projet.
Lire la suite
Percipio Robotics lauréat du Concours OSEO 2010
Le projet Percipio Robotics, projet de création d'entreprise relatif aux systèmes robotiques pour le micro-assemblage est lauréat 2010 du concours national du MESR.
Lire la suite
Serge Grop récompensé par le prix IEEE et UFFC Best Student Paper Award
Serge Grop (doctorant Temps-Fréquence) a reçu le prix du « meilleur papier Etudiant 2010 » remis par IEEE et l’UFFC lors de l’IFCS 2010 qui s’est déroulé à Newport Beach du 2 au 4 juin.
Lire la suite
JFPDA’10 à Besançon
Après Toulouse, Grenoble, Metz et Paris, Besançon accueille les 1er et 2 juin les Journées Francophones de Planification, Décision et Apprentissage pour la conduite des systèmes (JFPDA).
Lire la suite
Partenariat pour l’instrumentation en diagnostic
Au travers de la plateforme protéomique CLIPP, L’institut FEMTO-ST, l’IFR100 (Dijon) et la société Horiba Jobin Yvon (membre du groupe HORIBA Scientific) ont engagé depuis le 1er mars 2010 un partenariat de recherche et développement.
Lire la suite
Conférence sur le laser et ses applications : 31 mai à Lons le saunier
Il y a 50 ans, à quelques jours près, Theodore MAIMAN faisait fonctionner le premier laser dans un laboratoire scientifique californien.
Lire la suite
Pages
