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
Venez découvrir le dispositif CIFRE
FEMTO-ST organise le mercredi 30 septembre, une demi-journée d’information sur le dispositif "Conventions Industrielles de Formation par la Recherche".
Lire la suite
A vos objectifs...
LUX ! vous propose jusqu'au 10 septembre de participer à un concours photo à contre-jour...
Lire la suite
LUX ! À L’HEURE D’ÉTÉ
LUX ! C’est tout l’été en Franche-Comté avec :
Des ateliers, des rencontres, des expositions et des animations grand public, mais aussi des intervenants spécialisés chercheurs, artistes, médiateurs...
Lire la suite
AFULUB lauréat i-LAB 2015
AFULub est lauréat régional de la catégorie "en émergence" de la 17ème édition du Concours national d’aide à la création d’entreprises de technologies innovantes
Lire la suite
EFTS - Séminaire européen temps-fréquence
Du 29 juin au 3 juillet se déroule l'école thématique EFTS organisée par le département Temps-Fréquence...
Lire la suite
Mieux connaître l’impact des particules de suie sur le climat
En appliquant un modèle basé sur une nouvelle approche théorique dite PDI (Point Dipole Interaction) à des particules de suie simulées sur ordinateur, une équipe de chercheurs bisontins vient de montrer que les caractéristiques atomiques de ces particules, émises par les processus de combustion, peuvent avoir une grande influence sur leurs propriétés d’absorption du rayonnement solaire.
Lire la suite
Prix de l'innovation au salon Medtec
Le projet de création de la start-up Amarob Robotics Systems a reçu le prix de l'innovation lors du salon industriel Medtec France, saluant l'originalité de l'approche et le potentiel applicatif de la technologie développée au sein de l'institut FEMTO-ST portant sur la chirurgie laser endoluminale des cordes vocales.
Lire la suite
Coup de projecteur sur le Président de l'année internationale de la lumière
Le service sciences, arts et culture de l’Université de Franche-Comté a décidé de mettre un coup de projecteur sur John Dudley, chercheur à l'institut FEMTO-ST et Président de l'année internationale de la lumière 2015
Lire la suite
Conférence « Un Tsunami numérique sur l’éducation, vraiment ?
Mercredi 3 juin à partir de 13h30, dans le cadre d'une conférence qui se déroulera dans le locaux de l'ENSMM et en interactivité, Emmanuel Davidenkoff,Spécialiste de l’éducation et de son évolution interpelle sur l’émergence d’une véritable société numérique.
Lire la suite
Best Paper Award à ICRA 2015
L'équipe CODE (département AS2M) vient de remporter le Best Automation Paper Award à ICRA 2015 pour un nouveau concept de manipulation et de transport sans contact de wafers et de cellules solaires.
Lire la suite
Pages
