From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id C6A1C5D5 for ; Sat, 10 Apr 2021 12:15:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,210,1613430000"; d="scan'208";a="502550599" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Apr 2021 14:15:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 31C22E003A; Sat, 10 Apr 2021 14:15:21 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 93967E002C for ; Sat, 10 Apr 2021 14:15:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=David.Delahaye@lirmm.fr; spf=Pass smtp.mailfrom=David.Delahaye@lirmm.fr; spf=None smtp.helo=postmaster@kirkenes.lirmm.fr IronPort-PHdr: =?us-ascii?q?A9a23=3AuYM1DhP/YQ/iIB8tQ3Ql6naZDRdPi93PFj5Q0YI?= =?us-ascii?q?ujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fmwAydZuMjJmUtBWaQEbwUCh?= =?us-ascii?q?8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV?= =?us-ascii?q?6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRG7oR/MusQVn4duJbs9xgbIr3BVZ?= =?us-ascii?q?+lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxb?= =?us-ascii?q?NSwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0h?= =?us-ascii?q?CsbMTMy7WfagdFygq1GuhKsvwJxzY7Jbo+WOvRxcKzScs8VS2daQsZcVDZMDp+?= =?us-ascii?q?gY4YBDecMO/tToYnnp1sJqBuzHQeiC/nxyj9Jm3D9wKM03PolEQ7c3AwvBdIPv?= =?us-ascii?q?2rJp9jyOqkdS/61zKjVwjnZYf1ZxzP955LIch87ofCDQ6l9cc7QyUk1EgPFi0+?= =?us-ascii?q?cqYL/Pz6M0OkGrmeU4fZ6W+21l24ntx9+oiKpxso0iofEiIYYx1LE+yllwYs4K?= =?us-ascii?q?ty1RFN5bNCrEZZdsyGXOoV4TM4iR2xltjg2x6EatZO4ciYH1ZAqywDBZ/GZfYW?= =?us-ascii?q?F/hTuX/ufLzd/gXJqYrO/hxCq/Eiky+38TMy00FNQoipLiNnArm4C2AbI6smHV?= =?us-ascii?q?vR9/l2u2TeV1wzJ7eFEO080mKzGIJAi2r49jocfvEDNEyPsl0j7iLWaelg49uW?= =?us-ascii?q?n8ejqbKnqqoefOoJ1kA3yL6Ajl8KlDegmLwQCRXWX9OSg2LDl4Eb3Wq9Fjucsn?= =?us-ascii?q?ancqJ3aJdoUpqq+AwJN0YYj6gy/DzS439Qeg3YHN0hJeBaGj4jzPlHOJer0Dfm?= =?us-ascii?q?lg1i0kTdrwe7JPqH5D5nQKnXOnq3tcLl55kJG1QY/0d9S64haB70dOP7zX1X+t?= =?us-ascii?q?N3cDh83KQy0xOPnBc1z2IwER2KPA7KWPLncv1CW4uIgOemMa5UVuTnjMPUl4//?= =?us-ascii?q?ujWU8mV8YZ6Wp04EXZGiiHvt6O0WZfWbsgtAZHGgWpAU+SejqhESGUT5SfHayQ?= =?us-ascii?q?7kx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LRUP4JbGeWI9R9uj0?= =?us-ascii?q?CT7moDYE7hj+0swqv57N5L+ac1iAcvJLqxdU9s8HaixA+sxB5C82d2nCAZ2V1h?= =?us-ascii?q?GYNATEsivMs6Xdhw0uOhPAry8dTEsZesqshejd/DobVyqlBM/63Wg/Feb+hS1e?= =?us-ascii?q?8QdigDCp3StMrxtpIbVwvQ72KvlX4xyOvRoQtufmODZ0w/Ljb2hDZI8dnznOA2?= =?us-ascii?q?rNz1jEOco50LWSjw5VH2U3LHYehu0GYjaOvM6oGjnalyQ=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A9ufTDaBcCrERTE7lHeg/sseALOonbusQ8zAX?= =?us-ascii?q?/mhrQx1UbcCU0+iy9c5riCPcoCoNWX0mhNCLMLSBR3SZzpJu/YwNJ96ZNniehE?= =?us-ascii?q?KDKoZ+4Yz+hyDxAiGWzJ8A6Y5MUYhbTOfxA19zkNrg7GCDYqkd6fSO7azAv5as?= =?us-ascii?q?815BQQRrdK164wo8NwDzKCJLbSVcHpwjDt6g4KN81nudUFsNaMDTPAh6Y8Hnp8?= =?us-ascii?q?fX0Lr8ax8HGBJP0njVsRqM6KTmVzmV2w52aUIJ/Z4G8XLZ1yz1j5/T982T7x/H?= =?us-ascii?q?yiv08ZNbg7Lau4B+LemNkNVQEzP3l2+TFdxccpiDpi1wmv2l8lwwkNLByi1Qef?= =?us-ascii?q?hbznPKYyWIpgHw0BPryzYk5xbZuAalqF/CheC8ez4gEcpGgutiA27kwm4tpst1?= =?us-ascii?q?3q4O/0/xjesmMTr4hyj269XFUBtn/3DE4Qtgrccpg3ZSUZQTZdZqxOR1kS01cO?= =?us-ascii?q?ZibUCKkPFdYZMecbCh2N9sfUqefzTluABUsZCRd04+GRqLWSE5y46o+gJLl3N0?= =?us-ascii?q?xVZw/r1Tol488vsGOuh5ztjfPr8tvL9DSdJ+V9MOOM4xBeC2GWTLTxqkChPYHX?= =?us-ascii?q?3XUIQAPWulke+53JwFoMeweJIJy5M23K7GTEhTuSoTQivVeLmz9awO1AvMTmW7?= =?us-ascii?q?VTGo98c23fREk4y5f7btOTCOUxQVn9C+r+45CsnWMszDcK5+MrvZIWznBIpTmz?= =?us-ascii?q?fmU515IWUFXKQuy58GcmPLmc7NIpDnrajgaf7WHrDqCjpMYBKIPlIzGAP+I81c?= =?us-ascii?q?4lvuYGbxhCLNU27gE3aPiq5YIezh8/AOxI8GOuR3w0YooGX83NiCLXlst6Q5FX?= =?us-ascii?q?EORY/Po+eAvGGzuUPF8GltUyAtaXp90fHbSntP4TUBNVj5GIxz3+m3SCRpxXOC?= =?us-ascii?q?YiVjR97LCmdk1jJK0JPyEJSUxS0rFtKgNSaQnxIo1Ti3ZqZZnavG7dzue5MmAv?= =?us-ascii?q?8dKelMKTk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPBAAnlnFgfR5oMcFagQmEdFc5MYQEP?= =?us-ascii?q?pEqCCUUg3SQb4YJgWgBCgEDATUMBAEBhkkCHQcBBDQTAhEBAQUBAQECAQMDBAE?= =?us-ascii?q?TAQEPFAhDhVANgjgig30XDwEFCAEBERUSGBQIAiYCSyEIAQGCbQGDCwEKkBecB?= =?us-ascii?q?YEygQGCBAEBBoJMgyuBOwmBDyqFZ4dmJxCBVUKBOgyCQIFxgVwBAxiBCBwBAYM?= =?us-ascii?q?3gmCCY0xVAQ1LFgSBRAORf4tgiliSIywHgWOBK4EmC4INhiWKGIh1BQcEH5Qrk?= =?us-ascii?q?EUBoH+GQowrhmaBfE0ngzUJRxkOjjaFF4NWhUc/MjgCBgEJAQEDCYpOLYIWAQE?= X-IPAS-Result: =?us-ascii?q?A0DPBAAnlnFgfR5oMcFagQmEdFc5MYQEPpEqCCUUg3SQb4Y?= =?us-ascii?q?JgWgBCgEDATUMBAEBhkkCHQcBBDQTAhEBAQUBAQECAQMDBAETAQEPFAhDhVANg?= =?us-ascii?q?jgig30XDwEFCAEBERUSGBQIAiYCSyEIAQGCbQGDCwEKkBecBYEygQGCBAEBBoJ?= =?us-ascii?q?MgyuBOwmBDyqFZ4dmJxCBVUKBOgyCQIFxgVwBAxiBCBwBAYM3gmCCY0xVAQ1LF?= =?us-ascii?q?gSBRAORf4tgiliSIywHgWOBK4EmC4INhiWKGIh1BQcEH5QrkEUBoH+GQowrhma?= =?us-ascii?q?BfE0ngzUJRxkOjjaFF4NWhUc/MjgCBgEJAQEDCYpOLYIWAQE?= X-IronPort-AV: E=Sophos;i="5.82,210,1613430000"; d="scan'208";a="378284078" X-MGA-submission: =?us-ascii?q?MDHtXvDO7V7pXsESrXahQfkJMkDdGUnWYGbD3O?= =?us-ascii?q?Mr0KYibfThbdQTEmSq6nPipOCjP3r0lwkpS7Esun6B89f/eXRCPTPZ98?= =?us-ascii?q?z7QuGQX3hPRnGp/glaSkcVlLL6Puog97UGz10GimRuPBrfWpiPK7aon5?= =?us-ascii?q?KMKvaMb9MUnjtGD9S5T8PLxg=3D=3D?= Received: from kirkenes.lirmm.fr ([193.49.104.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2021 14:15:16 +0200 Received: from [192.168.1.21] (lfbn-mon-1-381-150.w86-193.abo.wanadoo.fr [86.193.21.150]) by kirkenes.lirmm.fr (Postfix) with ESMTPSA id 78B93391 for ; Sat, 10 Apr 2021 14:15:15 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lirmm.fr; s=mail; t=1618056916; bh=d38/gnv41AOQMJ7FEuP/K7PYaNpiR8bJToTBbuemwe4=; h=To:From:Subject:Date:From; b=bf2KRyiBhCs59aN8jX796OUxmiPQjq4eHV82MMwfURipbfdCgBcujd2Iah33SIZkb zDNbt+33IKtxvaGZ7e7OoIXooqhcO8BoQtOFJ0Xf51qHwhFw6VMhY327Rbm9qHr8W2 BWwd4iJT44DVc0QLvhYj6Ms+3AxLYjT2ozaWiFQPQ3gcn44+VgGLDMey949+034pCf hKvNaH4ziYSoNLKljYYVcqv6xtkRndG2wGYBZNLsfslOuEiZcy2a+F20PXkp1vQn/g KpQH67mpOnAt/Sg+1Yybrl6EWPJYOtagXpzO3ZvgYQqP11d4qbB7D+50OP8ERbjnGe R8qrS4wiFExyw== To: caml-list@inria.fr From: David Delahaye Message-ID: <25901e19-8990-5301-3273-e49675cc1d74@lirmm.fr> Date: Sat, 10 Apr 2021 14:15:13 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: fr Subject: [Caml-list] [CFP] Extension de la date limite de soumission de AFADL 2021 Reply-To: David Delahaye X-Loop: caml-list@inria.fr X-Sequence: 18461 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: [ This message is intentionally written in French. ] Bonjour, Nous vous envoyons ce mail pour vous signaler que la date limite de soumission des articles à AFADL 2021 est étendue au 19 avril 2021. Merci d'avance pour vos contributions à AFADL 2021. À bientôt, Ileana et David (co-présidents de AFADL 2021). ================================================================= AFADL 2021 20èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (colocalisées avec les journées annuelles du GDR GPL) Juin 2021 en distanciel http://www.lirmm.fr/afadl2021/ Étant donnée la pandémie de Covid-19 qui sévit toujours, les journées nationales du GDR GPL prévues à Vannes cette année auront lieu entièrement en distanciel et ce sera également le cas en particulier d'AFADL 2021. Le processus de relecture et de sélection des articles reste le même et les auteurs des articles sélectionnés seront invités à présenter leurs travaux en distanciel en juin 2021. APPEL À CONTRIBUTIONS L’atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme : * les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes ; * les méthodes et processus permettant d’exploiter efficacement les techniques et outils formels disponibles ou conçus ; * les méthodes et processus mettant en œuvre des techniques formelles différentes et hétérogènes dans un développement ; * les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles. Les techniques et outils présentés assistent notamment (mais pas exclusivement) les activités suivantes : * la modélisation, la validation et la gestion d’exigences formelles applicables aux logiciels ; * les spécialisations ou extensions de techniques de modélisation et d’évaluation induites par des domaines applicatifs (télécommunication, contrôle-commande, robotiques, systèmes interactifs, architectures, composition de services, applications distribuées sur le web, ...) ou des points de vue particuliers sur les systèmes (sécurité informatique, exécution temps réel, ...) ; * le passage d’une étape de conception à la suivante : patrons de raffinement de spécifications, déploiement d’une architecture logicielle sur une architecture matérielle, génération automatique de code, réutilisation de composants, ... ; * le test et l’évaluation rigoureuse de modèles formels ou codes ; * la spécification et la vérification formelles d’architectures, de modèles et de programmes. On s’intéressera aussi à la combinaison d’approches formelles avec des approches informelles ou semi-formelles, à la coopération de techniques formelles de développement avec des techniques plus classiques (par exemple à la complémentarité vérification formelle / test pour les aspects V&V), aussi bien qu’à l’adaptation des approches formelles aux techniques d’apprentissage automatique. Cinq sortes de contributions sont attendues (elles seront toutes publiées dans les actes de la conférence) : Recherche originale (4 à 8 pages) Un tel article présente une problématique de recherche académique ou industrielle et des résultats non encore publiés, de façon ciblée pour la communauté francophone. Des articles courts sont acceptables s'ils correspondent à la présentation motivée d'un problème et de travaux en cours, d’un point de vue ou d’une approche émergente ou d’expériences industrielles. Session doctorants (2 à 4 pages) Pour permettre aux doctorants de présenter leurs travaux en cours et d’avoir un retour de la communauté, le comité de programme invite les doctorants à soumettre un papier présentant leur problématique et leurs résultats préliminaires ou déjà publiés. Les doctorants retenus pour cette session pourront faire une demande de bourse pour participer aux journées. Démonstrations d'outils (2 à 4 pages) Un article de démonstration d'outil vise à présenter l'originalité, la pertinence et les performances d'un outil de recherche académique ou industrielle. L'article précisera les noms des auteurs, le nom de l’outil, les services offerts par l’outil et éventuellement des pointeurs vers des sources d’informations complémentaires (principes techniques sous-jacents, mode d’emploi, compte-rendu d’application, ...). Celui-ci pourra, selon le désir des auteurs, être couplé ou non à un poster outil aux journées du GDR. Présentations de projets (2 à 4 pages) Il s'agit de présenter un projet accepté, d'envergure nationale ou internationale, ainsi que quelques-uns des résultats obtenus dans ce projet. L'article mentionnera les noms des partenaires, l’agence de financement, les objectifs et les dates du projet. Résumés longs (2 à 4 pages) Ce sont des présentations de recherches publiées récemment. Pour éviter que les meilleurs travaux de la communauté francophone soient uniquement présentés dans les conférences ou revues internationales, le comité de programme invite tout membre de la communauté, ayant un article en cours de soumission ou récemment accepté (depuis l’édition précédente) à une conférence ou revue internationale, à le soumettre également à AFADL pour présentation. La référence bibliographique du travail d’origine devra être indiquée lors de la soumission, ainsi que le statut du papier (soumis ou accepté). Soumission Les contributions sont à soumettre via Easychair (https://easychair.org/conferences/?conf=afadl2021). Le format des documents doit être analogue au format latex A4, times, french, 11pt, sans numéros de pages : \documentclass[a4paper, french, 11pt]{article} \usepackage{times} \pagestyle{empty} Les actes de la conférence seront publiés dans un rapport technique de l’Institut de Recherche en Informatique de Toulouse et de l’Université Toulouse III - Paul Sabatier, répertorié à la BNF. Dates importantes *  >>>> 19 avril 2021 : date limite de soumission <<<< * 10 mai 2021 : notification aux auteurs * 24 mai 2021 : version finale * Juin 2021 : journées AFADL