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 ESMTP id 0DAE72DF6 for ; Tue, 12 Mar 2019 13:08:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,471,1544482800"; d="scan'208";a="373052080" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Mar 2019 14:08:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6BFC18264B; Tue, 12 Mar 2019 14:08:39 +0100 (CET) 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 D730982581 for ; Tue, 12 Mar 2019 13:47:07 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f53.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AiBf2ORGsdqZmXgrkRamQ9J1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpMWwAkXT6L1XgUPTWs2DsrQY0rKQ6/mocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSaxbaluIBmrsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOTA5/m/Jl8J+j61Urw68qBJwzYHZe52VOflkc6/BYd8XX3dNU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIdM+lGqYnyvUcOrRyjDge0Guzv1CFHhmTr1qA91eQuDx/G3BY+ENIIqn?= =?us-ascii?q?vUsNL1ObwdUeCw1qbIzDHDY+lK1jf67YjFaxYsquyCU7J3dMre00gvFwXdg1qO?= =?us-ascii?q?s4PlJDOU2fgNs2eB7upgT/iji2k9qwF+ujSvx8EshZfSho0J1lDL6zl2zJwtJd?= =?us-ascii?q?2kTkNwfN2qEINIui2EK4d7RtkuTmJotSog17EKp522cDIKxZkp3xLTdeCLf5SV?= =?us-ascii?q?7h/mV+ueOyt0iXd7d7+xnBm+7E2tx+n4W8WozVpHqzBKnsTQuX8Q0hHe68aKR/?= =?us-ascii?q?l/80qkxzmC1gHe5+VBLE07jqXWKp8sz7gtnZQJq0vDBDX5mEDuga+WaEok/u+o?= =?us-ascii?q?5vziYrr8p5+cM5Z4iw/7Mqgzg8C/D+Q1PwYUU2iU/uS807Lj/UnnT7lQkvI2la?= =?us-ascii?q?zZvIjbJcQduKG5HxdY3pg/5xu7FTur09QVkWMaIF5bex+LlYjkNl/WLPD9F/i/?= =?us-ascii?q?glCskDlxx/DBO73sGpPNIWbdkLf7Y7l97VRTyBY0zd1E6JJUD6sOIPP3WkPrqN?= =?us-ascii?q?PYCRo5PxSuw+n7ENV9yp8eWWWXD6CFKqzStFuI6vsrI+mNf48VpC3wK+Ml5v7r?= =?us-ascii?q?lX82g0URfaiv3ZsNaXC3BO5qI0uDYSmkvtBUGm4Puk86Tff2oFyESz9aIXioDI?= =?us-ascii?q?wm4TRuMo+gBJvEDqagnrGalHO9E4NMa2ZPFlekHnLhdoHCUPAJPnHBavR9myAJ?= =?us-ascii?q?AODyA7Qq0guj4VejmuhXa9HM8yhdjqrNkd185undjxY3rGUmAMGU0mXLRGZxzD?= =?us-ascii?q?pRG20GmZtnqEk48W+tlLBiiqUBR9NW7vJNFAw9MMyElrEoO5XJQgvEO+yxZhOm?= =?us-ascii?q?T9GhW2xjS9swx5oRZh84FYj5yB/E2CWuDvkekLnZXJE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARAABOqYdchjWAVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBUQcBAQsBgTwkgReBKowkizeMQI0TZRSBZwsBASMJhDsDhDwaBwEEMAkNAQE?= =?us-ascii?q?DAQEJAQMBAQETAQEBCAsLCCkjDII6IoMNGgENARsMDAYDEiY0BQ8RAQUBUIMHA?= =?us-ascii?q?YFcAQMVAQ6kNjyMLwUBF4J5BYROChknDV+BOAIGCQEIgR0Big6BHheBf4ERgkI?= =?us-ascii?q?gAoNMBBiBFAEPAwFsgm6CBCIDiiSGUpM4CYdVizQlgXmFZoMQiE2DPY0njGkGA?= =?us-ascii?q?gkIDyGBJoEdcTMaI4M8CYIBGoNUhRRNhHI/M4ECJhONXII+AQE?= X-IPAS-Result: =?us-ascii?q?A0ARAABOqYdchjWAVdFkHAEBAQQBAQcEAQGBUQcBAQsBgTw?= =?us-ascii?q?kgReBKowkizeMQI0TZRSBZwsBASMJhDsDhDwaBwEEMAkNAQEDAQEJAQMBAQETA?= =?us-ascii?q?QEBCAsLCCkjDII6IoMNGgENARsMDAYDEiY0BQ8RAQUBUIMHAYFcAQMVAQ6kNjy?= =?us-ascii?q?MLwUBF4J5BYROChknDV+BOAIGCQEIgR0Big6BHheBf4ERgkIgAoNMBBiBFAEPA?= =?us-ascii?q?wFsgm6CBCIDiiSGUpM4CYdVizQlgXmFZoMQiE2DPY0njGkGAgkIDyGBJoEdcTM?= =?us-ascii?q?aI4M8CYIBGoNUhRRNhHI/M4ECJhONXII+AQE?= X-IronPort-AV: E=Sophos;i="5.58,471,1544482800"; d="scan'208";a="298969479" X-MGA-submission: =?us-ascii?q?MDGOajPrThiBeK5mzOVrhn5Cjkr5fvZDnIv4y4?= =?us-ascii?q?EfzRvb05EcBmGc08T6ccgKKCXSp4c/oyEc+s9lIOHrgP+Z30K40fRPFu?= =?us-ascii?q?Y1RYk+CzGFd8Vr3EL/FjGB2DKrMALU1XPsgg4A9/nDJV8WXNMrr9LosW?= =?us-ascii?q?TC2fynGq3pwR2S79da/wcFjg=3D=3D?= Received: from mail-wm1-f53.google.com ([209.85.128.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Mar 2019 13:47:06 +0100 Received: by mail-wm1-f53.google.com with SMTP id x10so2455945wmg.2 for ; Tue, 12 Mar 2019 05:47:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:mime-version:content-disposition :content-transfer-encoding:user-agent; bh=YjsHyvwJvrnywr3nu89QX9MVcamGKP+1zDroo1t6ypo=; b=GwSh0wceWeeo2gXSaRyuIRko67nyQK2EctERByF/ND5m4k7eQpPyT7GfsmU0+XxiZm aDtO6rg1g1wmRzQ3+NfOsLht7LY1ppzBObMmcFMjriK67UjypB2EMUkyaHpSEyRJGeFD nikAHc0zbCZsugW6wE6UNo2XTr8Wq6wDsuvEwtEj5EefEjuOfriAwoJTeSt52iSxRNCE qx8UVGMPQ5/Nvmm+hNBVf5bDt09Iz9zmsp0AiOPJrN1cemanS2tM7PxzifP5fRQfFgi1 r4PSfH6vXq7RDUZZ/f19eIcKAnfwrYiiIes80IiHhEkqdpbCQVg5DSvXStsllp9k1D8A gpog== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:content-transfer-encoding:user-agent; bh=YjsHyvwJvrnywr3nu89QX9MVcamGKP+1zDroo1t6ypo=; b=n+fekqQBQbZGeaeGDEBcCEaIBJuOTiC3lP0KlOf9LyXY43Mb+4zL0HNP3w/w2IXsz0 HOBmJ4gyFdVq6LqyZcKTmB2zc1jQH477Tm8YSMZIUilJGIchhJGHattf7x6IPrCrP8m3 rnkXRyPLuMwyRIce4xLkPzN687yJK3SZy8O1JVlDM/buAwCbm4nOes+v2Pk5EAdcEMzz 9paCVr223RdwHuIfD+TAJuOzrAWh4M+xHFaKJO4NgcYPORgilOnhsra+ZyiY2MlzTnRt sqWx9gpziOp5c78okCxm0Fmv6G4DkCp+33AqZy+cOud8QktB344wsj36pXB+J62RRKS3 tGTw== X-Gm-Message-State: APjAAAX1A/YDnKzyUMfSrqu9wrBD/n2tLyYJr3ZjWMrbgAhFfsibXsqH jzUbHVxb0wd9UOvt+miyBbIjoi1WLW8= X-Google-Smtp-Source: APXvYqzBQ1AKIwYVNfcLIcp1bVU0DHONOHaSWX7qQpBQLpWvIi6fUZ8u3JuANnWGpfLH3AR5Ze9/qg== X-Received: by 2002:a7b:c344:: with SMTP id l4mr2274606wmj.121.1552394826220; Tue, 12 Mar 2019 05:47:06 -0700 (PDT) Received: from localhost ([2001:8a0:e3b1:9901:a1cd:6377:e669:4b66]) by smtp.gmail.com with ESMTPSA id u7sm2210937wrn.44.2019.03.12.05.47.05 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 12 Mar 2019 05:47:05 -0700 (PDT) Date: Tue, 12 Mar 2019 12:47:04 +0000 From: Renato Neves To: caml-list@inria.fr Message-ID: <20190312124704.GA4724@RNPA41A2F.lan> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.10.1 (2018-07-13) X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Formal Methods 2019 - Doctoral Symposium Reply-To: Renato Neves X-Loop: caml-list@inria.fr X-Sequence: 17407 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: 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