You are here
CIEL 2012
La nouvelle conférence CIEL (Conférence en IngénieriE du Logiciel) remplace les journées IDM (journées sur l'Ingénierie Dirigée par les Modèles) et la conférence LMO (Langages et Modèles à Objets). Elle reprend donc leurs thématiques autour des technologies à objets et de l'ingénierie des modèles dans le domaine des langages, de la représentation des connaissances, des bases de données, du génie logiciel et des systèmes. Partant de ces thématiques, la conférence étend naturellement les thèmes abordés aux agents, aspects, composants, services et lignes de produits logiciels.
L'objectif est de réunir les chercheurs et industriels intéressés par ces différentes thématiques pour faciliter l'échange d'idées, la diffusion de résultats et d'expériences, la structuration de la communauté et l'identification de nouveaux défis.
Cette année à Rennes, CIEL aura lieu à la même date et au même lieu que les journées du GDR GPL et que l'Ecole des jeunes chercheurs en programmation. Nous espérons ainsi favoriser et amplifier les échanges entre participants:
- doctorants dans les premières années : venez présenter votre problématique et vos premières pistes, obtenez des retours, prenez contacts pour des collaborations;
- doctorants en dernière année, jeunes docteurs : venez présenter vos résultats maintenant plus aboutis, vos démonstrations ou des idées ultérieures, discutez avec ceux qui pourrons vous recruter;
- chercheurs séniors, académiques ou industriels : venez identifier les personnes et partenaires pour monter des collaborations, et des projets, ou recruter vos futurs collaborateurs.
La conférence elle-même se déroulera du 19 au 21 juin 2012.
Thèmes
Le comité de CIEL'2012 sollicite des articles concernant notamment, mais pas exclusivement, les thèmes suivants:
-
Autour des objets
- typage, héritage, modularité, encapsulation, généricité, spécialisation
- réflexion, métaprogrammation
- bases de données à objets, persistance, fouille, extraction, objets semi-structurés
- objets et programmation logique, par contraintes
- objets et langages à composants, acteurs, agents
- supports d'exécution, interprétation, compilation, génération de code, optimisation
- représentations des connaissances, logiques de description, graphes conceptuels
- ontologies, web sémantique
-
Autour des modèles
- configuration, manipulation et évolution
- sémantique, consistance et conformité, hétérogénéité
- modèles @ run-time
- méta-modélisation et outils associés
- transformation, processus
- ingénierie des exigences
- langages dédiés
- normalisation
-
Génie logiciel
- spécifications formelles, semi-formelles
- contrat, test, vérification, validation, model-checking
- fiabilité, gestion des exceptions, auto-adaptation
- qualité et qualimétrie
- ré-ingénierie, évolution, versions
- outils, applications, succès, échecs, retours sur expérience
-
Approches pour l'ingénierie logicielle
- séparation des préoccupations, points de vue
- aspects, sujets, rôles, traits
- patterns, frameworks
- composants, composition logicielle
- architectures orientées services et orientées composants/services
- lignes de produits logiciels et usines logicielles
-
Systèmes
- distribution, concurrence, passage aux très grandes échelles
- intergiciels, interopérabilité
- systèmes embarqués, temps réel, critiques, autonomes, cyber-physiques
Soumissions
Deux formats de papier sont proposés :
- Des papiers courts (6 pages) pour présenter des travaux en cours de jeunes chercheurs, des démonstrations d'outil ou des tutoriaux. Afin de stimuler les discussions, les sessions de papiers courts sur les travaux en cours seront actives, avec un intervenant par papier qui interviendra juste après sa présentation en ayant préparé une synthèse et des questions. Les propositions de tutoriaux devront comprendre des informations sur les moyens et la durée envisagés.
- Des papiers longs (15 pages) pour des travaux plus aboutis (fin de thèse, fin de projet, résultats validés). Ces papiers auront la possibilité d'être étendus et sélectionnés par la suite dans un numéro spécial de la revue TSI.
Les articles doivent être soumis au format PDF sur page A4, suivant le modèle LaTeX fourni par easychair (http://www.easychair.org/easychair.zip). La soumission doit se faire en ligne à l'adresse https://www.easychair.org/conferences/?conf=ciel2012. La première page comportera le titre de l'article, le nom des auteurs, leurs affiliations et adresses (en particulier électronique), ainsi qu'un résumé d'une dizaine de lignes et une liste de mots clés. Les langues officielles des journées sont le français et l'anglais. Pour les articles en français, le résumé et la liste de mots clés seront écrits en anglais et en français. Chaque article soumis sera évalué par trois membres du comité de programme sur la base de leur originalité et de leur pertinence. Au moins un auteur de chaque article accepté devra participer à la conférence pour présenter l'article. Les actes de la conférence seront publiés sous forme d'un volume du journal ECEASST, assurant ainsi un référencement sur le web et par ISSN.
Un prix de 400€ sera attribué au meilleur papier d'un doctorant (papier dont le premier auteur est un doctorant).
►►► Calendrier
►►► Site de soumission EasyChair
Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer