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 0A6F35D4 for ; Tue, 13 Nov 2018 09:09:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,498,1534802400"; d="scan'208";a="355373911" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Nov 2018 10:09:02 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6AE9F824F7; Tue, 13 Nov 2018 10:09:02 +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 D93DF824CF for ; Tue, 13 Nov 2018 09:55:13 +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-wr1-f54.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AO2Lm1RGnL5NHjybGCp2hzJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78oc+wAkXT6L1XgUPTWs2DsrQY07WQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOTA5/m/Jl8J+j61Urw68qBJwzYHZe52VOflkc6/BYd8XX2hMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIdM+lGqYnyvUcOrRyjDge0Guzv1CFHhmTr1qA91eQuDx/G3BY+ENIIqn?= =?us-ascii?q?vUsNL1ObwdUeCw1qbIzDHDY+lK1jf67YjFaxYsquyCU7J3dMre00gvFwXdg1WR?= =?us-ascii?q?r4zqISiV2fgRs2eF8+VsT/qvi3IhpgpsoTav3t8hhpfVio8R0FzJ9iV0zJwrKd?= =?us-ascii?q?GmVUJ3e96pHZRIuy2HOYZ6X9kuT3xrtSs50LELtp22cDIXxJklxRPSbeGMfZKS?= =?us-ascii?q?7RL5TumRJC91hHJ7d7K7gBa/6U2gxff9VsmwyVpLoDBFnsTVunAD1xHe5dKLSv?= =?us-ascii?q?R6/kem1jaP0x7c5vtYLkAzkKrXM58hwrgumZoPqUnPADP6lUHsgKKVdkgo4Pak?= =?us-ascii?q?5/r6brn8ppKROJd4igTkPaQvnsy/D/44Mg8LX2WD/+SzyqPj/VfnT7VMlPI2jq?= =?us-ascii?q?7ZvYvVJcQevKG5AgtV3pw/5Ba4CjeqyM4YkmUfLFJZZBKHiJDkNE3UL/D9Cfez?= =?us-ascii?q?mlCskDZwx/DaJbDhGZXMLn3bkLj7Z7p96khcyBAyzd9F/Z5UBKsBc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/qjPaXbrVjAwO8xLvLEMIkYpizwLfE54Nbh?= =?us-ascii?q?iHY4nRkWeqz/jshfU2yxAvkzexbRWnHrmNpUST5b7Dp7d/TjjRi5aRAWYn+zW6?= =?us-ascii?q?wm4TRiUdCpCI7CQsamh7nThX7nTK0TXXhPDxW3KVmtb5+NAq5eZyebI8snmTsB?= =?us-ascii?q?B+D4Ft0RkCq2vQq/8IJJa+rZ/ipC6MDm3dlxovLJzFQ8qGAyAMOa3GWACWpzmz?= =?us-ascii?q?FQSg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BqAACkkOpbgDbdVdFjGwEBAQEDAQEBB?= =?us-ascii?q?wMBAQGBZYFbgQ+BKYN4iHeLG4wTjUOBZgsBAR8NgUuGJRoHAQQ0FgEDAQECAQE?= =?us-ascii?q?BAQETAQEJDQkIJyUMgjYigwYGDwENARsMBgwDEh8CBSECEQUPEQEFATWCVkyBa?= =?us-ascii?q?AEDFQ+cQjyLDYESBQEXgncFhEQKGScNWoE3AgYJAQh5inUXgX+IbQEBDAYBgyM?= =?us-ascii?q?xgiYCiRAEBJVmVQmGd4oeI4lHC4cgl1YGAgkHDyGBOYEFcTMaIy8hgmwJghKDb?= =?us-ascii?q?YVhhHACPjOBAiYTihwOF4InAQE?= X-IPAS-Result: =?us-ascii?q?A0BqAACkkOpbgDbdVdFjGwEBAQEDAQEBBwMBAQGBZYFbgQ+?= =?us-ascii?q?BKYN4iHeLG4wTjUOBZgsBAR8NgUuGJRoHAQQ0FgEDAQECAQEBAQETAQEJDQkIJ?= =?us-ascii?q?yUMgjYigwYGDwENARsMBgwDEh8CBSECEQUPEQEFATWCVkyBaAEDFQ+cQjyLDYE?= =?us-ascii?q?SBQEXgncFhEQKGScNWoE3AgYJAQh5inUXgX+IbQEBDAYBgyMxgiYCiRAEBJVmV?= =?us-ascii?q?QmGd4oeI4lHC4cgl1YGAgkHDyGBOYEFcTMaIy8hgmwJghKDbYVhhHACPjOBAiY?= =?us-ascii?q?TihwOF4InAQE?= X-IronPort-AV: E=Sophos;i="5.54,498,1534802400"; d="scan'208";a="285255031" Received: from mail-wr1-f54.google.com ([209.85.221.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Nov 2018 09:55:12 +0100 Received: by mail-wr1-f54.google.com with SMTP id y3-v6so12289327wrh.10 for ; Tue, 13 Nov 2018 00:55:12 -0800 (PST) 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=ZDfMsYC1mK2sd3f0T97Yatv+iXVwoQotBHtKGsAgHjw=; b=TvzKcE7L1pzUNlz2H2kJZT4+s3IB1seBW3ihyX1YCLYF3Pu5A3vb21CAx3kzNvjzy3 JBP7vCQb7FAKd6pveiZPo/M6yHkUPM4+Ofo8Sh2OOexSvhBRfJ8XCqXJr8Re+4SLXAvQ Jwkp7EowMCrvvwJkgHRh9iKf5sTLjHfOrsXr1eeeMREghDVX4QycJKAZbmJ5/FelJo2T NbOhDPeUoahfmxBwpznObMbHfEdkXtax8Vo3RC2VzKeGmkSxvRQ+bUPMSZEvDmGqxvAy ctZeMSXMhlDS8vIUlO1JPb92CmSvVUDAUn/XuCfyFbOeL3vrM8NTY73vCjyLxItF252p 50hw== 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=ZDfMsYC1mK2sd3f0T97Yatv+iXVwoQotBHtKGsAgHjw=; b=DeFTqzScGE+Zrb4jvSbHAvXl0bJgYxv4JPLJ3C0WNlc/HBEz8w7AO5y3UVUYDDDj38 WBAPd/hy7UdFYIQ8srI9nqOD0TGmSZIXtn7LXQh4oOvBWA70FAZEi1CLX1+BkhSJLSjm g/IbdcC3Jd57Vtt4wQXF3gM0WHvpyIL5fOq6F97pABAUjs8uNpAu7lza3QRlv9bXVLmc R/+hu46wUy05zCHqi9Aw4hdj/Q7msgrSH+O7hWkrm4B4HfSCVXEhX1YjwV5iY8ox8tkC /uFM0g6sGVmG2pXBKlXDT5PutEmXQkGWcOk2Ov2xsoVy2HGpwcFuA3l99kT/PhEZQTyJ PzPQ== X-Gm-Message-State: AGRZ1gJbzgGAaR5uJLamhoEGaZpXs9IiU09rEdGSeubb3asInnUfaTMI lp0uzxwsGvsvkSfSBbnSK7jd5aaEzhk= X-Google-Smtp-Source: AJdET5euf52ERgbqeHaS9qrxc7gdT571oT/f4XQe5smFFGUM+ItCY/IAt64txqlAtuxN98C42k6pxw== X-Received: by 2002:a5d:6551:: with SMTP id z17-v6mr4336172wrv.231.1542099312014; Tue, 13 Nov 2018 00:55:12 -0800 (PST) Received: from localhost (faui8277.informatik.uni-erlangen.de. [131.188.48.177]) by smtp.gmail.com with ESMTPSA id o62-v6sm10617604wma.1.2018.11.13.00.55.11 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 13 Nov 2018 00:55:11 -0800 (PST) Date: Tue, 13 Nov 2018 09:55:10 +0100 From: Renato Neves To: caml-list@inria.fr Message-ID: <20181113085510.GA17983@faui8277.informatik.uni-erlangen.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 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] FM'19: Final Call for Workshop & Tutorial Proposals Reply-To: Renato Neves X-Loop: caml-list@inria.fr X-Sequence: 17133 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: FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt ------------ FINAL CALL FOR WORKSHOP & TUTORIAL PROPOSALS ------------- ------------------------------------------------------------------------- Deadline for workshop & tutorial proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 ------------------------------------------------------------------------- 1 ABOUT FM'19 ============= FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal Methods. Thus, FM’19 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. 2 PROPOSALS =========== For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. The purpose of the satellite events is to provide an informal setting for participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of events relating to different varieties of formal models. Satellite events will take place on 7-8 October 2019. Satellite events would typically run for 1/2 or 1 day, but 2 day events will also be considered. The FM'19 organising committee aim to support one invited speaker per workshop. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs, Nelma Moreira (nam@dcc.fc.up.pt) and Emil Sekerinski (emil@mcmaster.ca). A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying the goals and the technical issues that will be its focus. * The names and contact information (web page, email address) of the organisers. In case of a workshop those will be the Programme Committee (PC) chairs and in this case a prospective list of international PC members is welcome. * Pointers to information about past editions of the event, if applicable. In case of a workshop, if it has taken place before; how often it has been colocated with FM? Which (other) conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. * A discussion of the proposed format and agenda (for example paper presentations, tutorials, demo sessions, etc). * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * Tentative schedule for paper submission and notification of acceptance. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. 4 IMPORTANT DATES ================= Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) Best Wishes, Nelma Moreira & Emil Sekerinski -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs