From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 428DB801E4 for ; Wed, 30 Aug 2017 18:31:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jose.proenca@di.uminho.pt; spf=None smtp.mailfrom=jose.proenca@di.uminho.pt; spf=None smtp.helo=postmaster@antispam02.uminho.pt Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jose.proenca@di.uminho.pt) identity=pra; client-ip=193.137.9.146; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@di.uminho.pt"; x-sender="jose.proenca@di.uminho.pt"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jose.proenca@di.uminho.pt) identity=mailfrom; client-ip=193.137.9.146; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@di.uminho.pt"; x-sender="jose.proenca@di.uminho.pt"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@antispam02.uminho.pt) identity=helo; client-ip=193.137.9.146; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@di.uminho.pt"; x-sender="postmaster@antispam02.uminho.pt"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2Yh2Jx0T+kbSm/YksmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesQLvad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrnuTUbHxG6MQtu?= =?us-ascii?q?Osz0HJTThoK5zbbh1YfUZlBqgyGwKYtoKxiwpgyZ4ssRmoYkMrw2xx3Cq1NEeq?= =?us-ascii?q?JLwGJuJVXVhwqqtZT4x4Jq7ykF46FpzMVHS6ivJ6k=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ApAgBj56ZZh5IJicFeHgYMGQYMgwKBE?= =?us-ascii?q?YEVB48CjyeBTy9qjFSKbiyBYIdkQxQBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyK?= =?us-ascii?q?CZ0sMgUMTijUBC65yi0MygyqCAoFOgWMrC4I9BIFtgWqCG4UJHwWKA4dtjipSg?= =?us-ascii?q?iyFLY8FWoUNinKWQzaBLjIhhiqBdHUBiXwBgQ4BAQE?= X-IPAS-Result: =?us-ascii?q?A0ApAgBj56ZZh5IJicFeHgYMGQYMgwKBEYEVB48CjyeBTy9?= =?us-ascii?q?qjFSKbiyBYIdkQxQBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyKCZ0sMgUMTijUBC?= =?us-ascii?q?65yi0MygyqCAoFOgWMrC4I9BIFtgWqCG4UJHwWKA4dtjipSgiyFLY8FWoUNinK?= =?us-ascii?q?WQzaBLjIhhiqBdHUBiXwBgQ4BAQE?= X-IronPort-AV: E=Sophos;i="5.41,449,1498514400"; d="scan'208";a="288900917" Received: from antispam02.uminho.pt ([193.137.9.146]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Aug 2017 18:31:51 +0200 Received: from antispam02.uminho.pt (localhost [127.0.0.1]) by antispam02.uminho.pt (Postfix) with ESMTP id 3xj9xy2344z116P for ; Wed, 30 Aug 2017 17:31:50 +0100 (WEST) Received: from SRV-EXCH-CAS-01.uminho.pt (unknown [10.10.60.254]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by antispam02.uminho.pt (Postfix) with ESMTPS id 3xj9xy1jNQz114k for ; Wed, 30 Aug 2017 17:31:50 +0100 (WEST) Received: from joses-mbp.lan (37.189.125.122) by mail.uminho.pt (10.10.102.80) with Microsoft SMTP Server (TLS) id 14.3.195.1; Wed, 30 Aug 2017 17:31:26 +0100 Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable To: From: Jose Proenca Message-ID: Date: Wed, 30 Aug 2017 17:31:26 +0100 X-Originating-IP: [37.189.125.122] X-Validation-by: jose.proenca@di.uminho.pt Subject: [Caml-list] FACS 2017 - Doctoral Track: Call for Contributions CC: Markus Lumpe --------------------------------------------------------------------- Doctoral Track: Call for Contributions FACS'17 14th International Conference on Formal Aspects of Component Software Braga, Portugal, October 10-13, 2017 http://facs2017.di.uminho.pt --------------------------------------------------------------------- IMPORTANT DATES Doctoral Track submission deadline: September 3, 2017 Doctoral Track notification: September 10, 2017 FOLLOW US All updates on twitter.com/facs2017. INVITED SPEAKERS - Catuscia Palamidessi INRIA Saclay, Ile-de-France, France - David Costa NewMotion & CWI, Amsterdam, the Netherlands FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to provide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The objective of FACS 2017 Doctoral Track is to give the opportunity to PhD students and young researchers to share their work-in-progress and innovative ideas in a supportive yet questioning setting. Students will be able to discuss their goals, methods, and results at an early stage in their research, receiving useful feedback from established researchers and the other student attendees. To submit to FACS 2017 Doctoral Track please prepare an extended abstract of your talk (3 pages, Springer LNCS format) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere, and will be made available in a companion technical report. Please use the easychair link below to submit your extended abstract: https://easychair.org/conferences/?conf=3Dfacs2017 More information: http://facs2017.di.uminho.pt