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 9B9515D5 for ; Tue, 21 May 2019 15:43:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,495,1549926000"; d="scan'208";a="384130916" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 May 2019 17:42:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 865398249C; Tue, 21 May 2019 17:42:59 +0200 (CEST) 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 4F9318247D; Tue, 21 May 2019 09:22:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A27m/XBLP2OXrhmKFGtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeIvzxwZ3uMQTl6Ol3ixeRBMOHsqsC0rKH+Pm5ByQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfL9+Ngi6oRnVu8UZnIduN6c8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DoxyvuhxxzZDaboGbKPVxcKzSc9wBSGpdXctcTTBNDp+m?= =?us-ascii?q?YoYNCecKIOZWr5P6p1sLtRa+AxejBP31yjBWgH/5x7E60+M6HAHJ2QwvBdMOsH?= =?us-ascii?q?DOoNrpM6cSVOa4x7TGwzXEavNZwzb96I7Qfx8/u/6MRrJxftbRyUY1FgPFlE+c?= =?us-ascii?q?qYv/PzOazugNsm6b4PR7Ve2zl24otR1+riK3xscwjITCm4Ebykjc+Cln3Io4Ic?= =?us-ascii?q?e0RU17bNK+DpdcqTyWO5F3T84iW21kpjo2xqEbtZO+fyUG1ZcqyhvCZPOcfYWE?= =?us-ascii?q?/BfuW/yNLTtkgX9oeLKyihe2/EWlzuDzSsm53VhPoyVZnNTBtnUA2Afd58WGUf?= =?us-ascii?q?Rw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49jp8Tvl7CHi/ygUn3grWWelg99uim?= =?us-ascii?q?6unqYq/qppCbN49zhQH+NrohltajDuQ/NwgCR2mb+eKi273/5UD1XqlGg/ksnq?= =?us-ascii?q?TasJ3WP9oXqrCkDwNP04su6w6zDzK839QZmXkHIkhFeBWCj4XxPVHBPu74De2h?= =?us-ascii?q?jFSqijhr2/fGM6buApXINHfDkbPhcaxh5E5bzQo/1cpf6I5MCrEdPPLzXVf8u8?= =?us-ascii?q?DCAR88Nwy42uLnCNRm1oMCQm+PGa+YMKbKsVCS/O4vIu+MZJUUuDnnMfQl6eTu?= =?us-ascii?q?h2cjmVABZampwYcXaHegE/t6JEWZeGPgjcsFEWcXpQUzV/fqiV2HUT5LfXm+Ra?= =?us-ascii?q?M85jchCIKnF4jPXI6tgKbSlBu8S7lLZ3sOIFmWG3Dzfs3QX+wGQC6TZNJkkzoE?= =?us-ascii?q?Uv65V9ly+wupsVr8xqR9I+zd5iowupfq1dwz7OrWxkJ6ziB9E8nIizLFdGpzhG?= =?us-ascii?q?5dH2ZrjpA6mlR0zxK46YY9g/FcEoYOtfZAUwN/KoSFiuIkVpb9XQXOetrPQ1Gj?= =?us-ascii?q?EI3/XWMBC+kpytpLWH5TXs24h0majSWvCr4R0beMAc5sq/OO7z3KP894jk3++u?= =?us-ascii?q?wkhlgiTNFIMDT/1KF6/gnXQYXOlhfAmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAABGpuNcYkHdVdFlHgEGBwaBUQkLA?= =?us-ascii?q?YE9JC8lRFJahBODe48QjFKNK2UUgWcJAQMBCgEBIwoCAQGEPAKCJRsHAQQwCQ4?= =?us-ascii?q?BAwEBBAEBAgEBAwEGGAwKCCclDII6IoJvBhgFBg8BDQEbDAwGAwwGEAMMAiYCA?= =?us-ascii?q?iMRAQUBHAYugwiBaQEDHQEOmgg8ix2BEgUBF4J6BYJKgXcKGScNYBOBJwIHCQE?= =?us-ascii?q?IeigBiQuBJ4EeF4F/gRGCQiACg00EGIEUAQ8DAYMpgjYiBIs4hzmVKwmHaVSMT?= =?us-ascii?q?xuCHYZZg0KJboN8j0eOUwIKBwYPIYEugR5xcIEBgjsJgQ54g2+FFE2Ecz4zgQU?= =?us-ascii?q?+ijaCQwEB?= X-IPAS-Result: =?us-ascii?q?A0BKAABGpuNcYkHdVdFlHgEGBwaBUQkLAYE9JC8lRFJahBO?= =?us-ascii?q?De48QjFKNK2UUgWcJAQMBCgEBIwoCAQGEPAKCJRsHAQQwCQ4BAwEBBAEBAgEBA?= =?us-ascii?q?wEGGAwKCCclDII6IoJvBhgFBg8BDQEbDAwGAwwGEAMMAiYCAiMRAQUBHAYugwi?= =?us-ascii?q?BaQEDHQEOmgg8ix2BEgUBF4J6BYJKgXcKGScNYBOBJwIHCQEIeigBiQuBJ4EeF?= =?us-ascii?q?4F/gRGCQiACg00EGIEUAQ8DAYMpgjYiBIs4hzmVKwmHaVSMTxuCHYZZg0KJboN?= =?us-ascii?q?8j0eOUwIKBwYPIYEugR5xcIEBgjsJgQ54g2+FFE2Ecz4zgQU+ijaCQwEB?= X-IronPort-AV: E=Sophos;i="5.60,494,1549926000"; d="scan'208";a="384024688" X-MGA-submission: =?us-ascii?q?MDGJM6+a4k0S640gOWvKgd2LD/hCrrzQ0QKU76?= =?us-ascii?q?LTZD6B7y6nVgwKQs/klEs46rM3Rq+oWZIjS1EIr2IIRurpfgd7sthGdd?= =?us-ascii?q?rRS++OeaycZCMf1EmSceewoMnyT2zk3BSZkujf/7gUZqL9znTPUnxM/h?= =?us-ascii?q?jk+/rAa/c6lm8TowC2gzFVxw=3D=3D?= Received: from mail-wr1-f65.google.com ([209.85.221.65]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 May 2019 09:22:58 +0200 Received: by mail-wr1-f65.google.com with SMTP id w13so6503436wru.11; Tue, 21 May 2019 00:22:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:subject:from:to:date:references:user-agent:mime-version :content-transfer-encoding; bh=nhi6E/4D2XmL/sXQsKnDjh+eKYldCZPzQLDrppGNyEY=; b=mrizqKWDe9Tz8RlihRj1jbud3KIZ/9y0MFzj4hnOaNW26YrBUF7Eu9XBHKmzGnOI1K d94j2ThEWL1Irs3SEWuRoYWctBG7Aa+QngiR1YUOb4v4sDI5y5am2Ar+Be/EubzsApv3 80y32Z/0M/URkkk6V/6Ro2T9GFvU0SzFGRh2V0nwbUi+hSXakjC34LyRvPAmgBsAjdI1 Dk2V6DsOXTc8k1Sic+fv4QFk/xpP/oUPlLQuFq8HNkdpr1Q+dqOwJFr8jIyRYxUtpP20 fJN9SSdhjcyH+UDyJoIpd4qwqIZ62LtEWJom26tDuLKHZgWApwxFt7cgI06mAty2APyU /buw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:date:references :user-agent:mime-version:content-transfer-encoding; bh=nhi6E/4D2XmL/sXQsKnDjh+eKYldCZPzQLDrppGNyEY=; b=ePY936YnjgFuOouKR4RKVaGMEaqAxbSOl/tvOjJLdXkuCLzMV+JHKqjpkEK4NLCbyq LNhtA7ddAQmIRSRcGcrOJmBzS/xep9m1LceLY52Ku2ALDjs8+hB9aahj/8SZSyHIbguE q/xxUWlwLq1PIDAKkDcpK6rFM8hWeDEUXo4e00BYTW2Z/2UGO2JBQT2v5owKpPwBcBrV TSjJVCCLAAYL9WRmmwXS0V0CTIPRzR8hq8k4aMTy19nLLHGwqRZOS0RRoiYvIgzRj3Rg n0m6Z/GX5/5MHolJbJY35aMrb2E8Amu3j9gW6zMGjCdfSiXAFACrfu2exwzofkvlDaYl sslQ== X-Gm-Message-State: APjAAAUJibb2G8/l/YAbgjKpq8u7Nc4P2/g4vmvudBh7BaqZvayVHEy4 vBjKv980LAIAqrn/eveqVOk= X-Google-Smtp-Source: APXvYqza5XDhZ/UbfRQzpv8gVreC7uiintALkm1VAetjU3uCBZjGO8uZpBBQx/Cctk6+TGQbYjUvnw== X-Received: by 2002:adf:dc8e:: with SMTP id r14mr33083003wrj.121.1558423378540; Tue, 21 May 2019 00:22:58 -0700 (PDT) Received: from localhost.localdomain ([2001:818:db32:a00:5569:9c53:c35:b36b]) by smtp.gmail.com with ESMTPSA id z21sm2115345wmf.25.2019.05.21.00.22.55 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Tue, 21 May 2019 00:22:57 -0700 (PDT) Message-ID: <533f186536b951ad21fd68a0f6b14b8a14ebc8b8.camel@gmail.com> From: nevrenato@gmail.com To: Luis Barbosa Date: Tue, 21 May 2019 08:22:54 +0100 References: <28f1dfb036ddc26f3e0c20733a17f21de4608866.camel@gmail.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers) Reply-To: nevrenato@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 17564 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy