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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C70717F0EF; Wed, 27 Jan 2016 13:20:04 +0100 (CET) IronPort-PHdr: 9a23:KQKNuBHCT0DwlzDZNYHnd51GYnF86YWxBRYc798ds5kLTJ75os6wAkXT6L1XgUPTWs2DsrQf27WQ6/qrAjVIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbqodaIOk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdKMhCLdcET4OMmYv5cStuwOHBQCG439ZVmQNjjJJBRLE5Vf0RMTfqCz/49Z0wiyddfDrVqw9XSnqu7tiUhrvoCwccT8++yfah5oj3+pgvBu9qkknkMbva4aPOa8mcw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@postiljon.ioc.ee Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=pra; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=mailfrom; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@postiljon.ioc.ee) identity=helo; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="postmaster@postiljon.ioc.ee"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AwBQD9tKhW/wP7KMFegzpSbQGIVqpIhUSEAyKCPYR8PBABAQEBAQEBAYEJgi2COAZFBkACBSECES0iEgmIFgEJrg2POx4YY4tcgleDPIE6BY0tiU6NTmp+hESIV4cThy4CNyuCEIFeaIhEAQEB X-IPAS-Result: A0AwBQD9tKhW/wP7KMFegzpSbQGIVqpIhUSEAyKCPYR8PBABAQEBAQEBAYEJgi2COAZFBkACBSECES0iEgmIFgEJrg2POx4YY4tcgleDPIE6BY0tiU6NTmp+hESIV4cThy4CNyuCEIFeaIhEAQEB X-IronPort-AV: E=Sophos;i="5.22,354,1449529200"; d="scan'208";a="161874975" Received: from postiljon.ioc.ee ([193.40.251.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Jan 2016 13:20:03 +0100 Received: from localhost (butler.kybi [172.17.0.12]) by postiljon.ioc.ee (Postfix) with ESMTP id 48EFE244C2D1; Wed, 27 Jan 2016 14:20:03 +0200 (EET) X-Virus-Scanned: Debian amavisd-new at ioc.ee Received: from postiljon.ioc.ee ([172.17.0.3]) by localhost (butler.kybi [172.17.0.12]) (amavisd-new, port 10024) with ESMTP id q1Cny8Ox-cCE; Wed, 27 Jan 2016 14:20:03 +0200 (EET) Received: from duality (kybi.ioc.ee [193.40.251.4]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by postiljon.ioc.ee (Postfix) with ESMTPS id 26065244C1F6; Wed, 27 Jan 2016 14:20:03 +0200 (EET) Date: Wed, 27 Jan 2016 14:19:58 +0200 From: Tarmo Uustalu To: coq-club@inria.fr, caml-list@inria.fr Message-ID: <20160127141958.171b892c@duality> X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] ETAPS 2017 call for satellite events 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twentieth edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala, Sweden. ETAPS 2017 main conferences, scheduled for 25-28 April, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and=20 Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and=20 Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2017 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2017 satellite events will be held immediately before and after the main conferences, on 23-24 April and 29 April. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2017 satellite are expected to: * create and maintain a website for the event, * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling constraints defined by the ETAPS 2017 organizing committee, * prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2017 organizing committee will: * promote the event on the website and in the publicity material of ETAPS 2017, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2017 and distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Konstantinos Sagonas and Mohamed Faouzi Atig using the web form at=20 http://www.etaps.org/2017/call-for-workshops . The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: 23 April, 24 April, 23-24 April or 29 April * the expected number of participants * a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2017 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable * any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2017 organizing committee will need the final files by the end of Feb. 2017) * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2017 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2016: http://www.etaps.org/2016/workshops ETAPS 2015: http://www.etaps.org/2015/workshops ETAPS 2014: http://www.etaps.org/2014/workshops ETAPS 2013: http://www.etaps.org/2013/workshops ETAPS 2012: http://www.etaps.org/2012/workshops -- IMPORTANT DATES -- Satellite event proposals deadline: 14 March 2016 Notification of acceptance: early April 2016 -- HOST CITY -- Uppsala has a rich history, having for long periods been the political, religious and academic center of Sweden. Uppsala University is over 500 years old, is consistently ranked among the top 100 in the world, and has been the home of many great scientists over the years, for instance Carl von Linne, Anders Celsius and Anders Jonas =C3=85ngstr=C3=B6m. Uppsala is 60 kms from Stockholm and is well connected to Stockholm Arlanda airport. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact the workshop co-chairs, Konstantinos Sagonas, kostis@it.uu.se, and Mohamed Faouzi Atig, mohamed_faouzi.atig@it.uu.se.