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
Atelier LEA à Arc-et-Senans
Le Laboratoire Européen Associé en microtechnique organise la 8ème édition de son Atelier "Arc-et-Senans" les 8 et 9 septembre 2009 à la Saline Royale d'Arc-et-Senans.
Le but des ateliers LEA “Arc-et-Senans” est de rassembler la communauté microtechnique autour d'une thématique, pour mieux se connaître, nouer des contacts, et s’intégrer dans une communauté professionnelle déployée des deux côtés de l’arc jurassien.
Lire la suite
Journée Club Optique et Micro-ondes
FEMTO-ST et la société Photline Technologies s'associent pour organiser à Besançon la journée du Club Optique et Micro-ondes de la Société Française d’Optique.
Cet événement se déroulera sur le site TEMIS Innovation "Maison des Microtechniques" le mardi 30 juin 2009 et prévoit d’accueillir une cinquantaine de participants.
Lire la suite
LE CONGRES FRANCAIS DE MECANIQUE 2011
Le département Méc'Appli de l’institut FEMTO-ST organise le Congrès Français de Mécanique 2011.
Lire la suite
8ème Atelier international sur les Transducteurs ultrasonores micro usinés MUT 2009
En collaboration avec la société Imasonic et l’institut Pierre Vernier, FEMTO-ST organise les 28 et 29 mai prochain à Besançon la 8ème édition du Workshop international « Micromachined Ultrasonic Transducers ».
Lire la suite
1ère Journée scientifique de la plateforme CLIPP
La Plateforme Interrégionale de Protéomique CLIPP organise sa première journée scientifique à Besançon le mardi 26 mai 09 à l'Institut FEMTO-ST, 32 av. de l'Observatoire.
Lire la suite
A la rencontre des acteurs de l'Innovation
Tout au long de la journée du jeudi 19 mars 2009, rencontrez les acteurs de l’innovation, ceux qui la font et ceux qui peuvent vous aider dans votre démarche…
Lire la suite
Expo de l’institut FEMTO-ST à la BU Sciences-Staps - Besançon
Une exposition à caractère scientifique se tient à compter du 4 mai prochain et jusqu’au 6 juin 2009 à la bibliothèque universitaire de Besançon (BU Sciences et Staps) et présentera les différentes activités de recherche menées au sein de l’institut FEMTO-ST
Lire la suite
Anne Boucon, première Docteure soutenue par le Conseil général
En soutenant brillamment une thèse sur les fibres optiques en décembre 2008, Anne Boucon est devenue la première Docteure bénéficiant d'une aide du département du Doubs. La première d'une prometteuse série.
Lire la suite
23ème FORUM EFTF & 63ème IFCS - 20 au 24 avril 2009 - Besançon Micropolis
Le forum européen temps-fréquence (EFTF) et le congrès scientifique américain « international frequency control symposition » (IFCS) proposent un congrès joint pour présenter les dernières avancées dans le domaine du temps-fréquence du du 20 au 24 avril 2009 à Besançon Micropolis
Lire la suite
FEMTO-ST expose sur MEDTEC - 22 et 23 avril 2009
Medtec France, le premier salon accompagné de conférences, dédié à la conception et à la fabrication de dispositifs médicaux ouvre ses portes au parc des expositions de Besançon les 22 et 23 avril prochain.
Lire la suite
Pages
