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 349257FDBF; Tue, 5 Jan 2016 21:14:09 +0100 (CET) IronPort-PHdr: 9a23:BOVc2xKey1hpK6hG89mcpTZWNBhigK39O0sv0rFitYgVIv3xwZ3uMQTl6Ol3ixeRBMOAu6wC07KempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRMiK14ye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFsPUn/NNaS6j8dLUQSb1DEC8rKX44/ov3qBSFSw/LrmANVGwSijJJBRLE5RXiU4y3vDG+/vJwxDObO8DqZbEyVzO46q53SRyulSEGcj4w9WvKkMM2gK8f6BS+vwA6wojaZ6mRNeFiZeXcethcSGcFFtxcUylACZj5a6MKBO8IJvpVtc/2rh9GphK7AUyoBfjz4j5OnH7/m6Mgl6wqFhiD1wg9FfoPtm7VpZP7LvQ8S+ewmZXB1zDEJ85Lwiv07JWAJgwou/SLdblrN8vWwg8iGlWW3R2rtYX5MmbNhaw2uG+B4r84WA== 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: A0BKBQBcI4xW/wP7KMFeFoMkUm2IWawciT8YCoI9gyoEgSM8EAEBAQEBAQEBgQmCLYIJBgEBGgZFKhwCBSECAg8tIAIbCwqIFQEJlAydNJBrDAEgGWiMEIExhQaBSQWXCIVCiAhngUiMV4Z3h0gCOSuCHoFucAEBhV8BAQE X-IPAS-Result: A0BKBQBcI4xW/wP7KMFeFoMkUm2IWawciT8YCoI9gyoEgSM8EAEBAQEBAQEBgQmCLYIJBgEBGgZFKhwCBSECAg8tIAIbCwqIFQEJlAydNJBrDAEgGWiMEIExhQaBSQWXCIVCiAhngUiMV4Z3h0gCOSuCHoFucAEBhV8BAQE X-IronPort-AV: E=Sophos;i="5.20,525,1444687200"; d="scan'208";a="159494119" Received: from postiljon.ioc.ee ([193.40.251.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Jan 2016 21:14:07 +0100 Received: from localhost (butler.kybi [172.17.0.12]) by postiljon.ioc.ee (Postfix) with ESMTP id 28B25244D125; Tue, 5 Jan 2016 22:14:07 +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 G3SRj28QNK3P; Tue, 5 Jan 2016 22:14:07 +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 B0227244C48B; Tue, 5 Jan 2016 22:14:06 +0200 (EET) Date: Tue, 5 Jan 2016 22:14:03 +0200 From: Tarmo Uustalu To: concurrency@listserver.tue.nl, synalp@inrialpes.fr, petrinet@informatik.uni-hamburg.de, nwpt-info@lists.ioc.ee, relmics-l@mcmaster.ca, caml-list@inria.fr, coq-club@inria.fr Message-ID: <20160105221403.1ce214ef@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 2016 satellite workshops joint call for papers Joint Call for Papers =20 ETAPS 2016 Satellite Workshops=20 =20=20=20=20=20=20=20=20=20=20=20=20 Eindhoven, The Netherlands, 2-3 and 8 April 2016 http://www.etaps.org/2016/workshops ETAPS, the European Joint Conferences on Theory and Practice of Software, is the primary European forum for academic and industrial researchers working on topics relating to Software Science. The nineteenth edition, ETAPS 2016, will take place in Eindhoven, The Netherlands, 2-8 April 2016, and covers besides the main conferences ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite workshops and other events in the fields of Software Engineering, Formal Methods, Logics of Programs and the Theory of Computation.=20 This is the joint call for papers for ETAPS 2016 for 21 satellite workshops with open calls. ETAPS satellite workshops will take place in the weekend of Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on Friday, 8 April, after them. For more information on ETAPS 2016, see http://www.etaps.org/2016/. Bx 2016: 5th International Workshop on Bidirectional Transformations, 8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita Stevens. Submission deadlines: abstracts 13 January / papers 20 January. See http://bx-community.wikidot.com/bx2016:home. CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems, 2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission deadlines: papers 15 January; presentation extended abstracts 8 February. See http://www.cassting-project.eu/workshop2016/. CMCS 2016: 13th International Workshop on Coalgebraic Methods in Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission deadlines: abstracts 4 January / papers 13 January; short contributions 22 February. See http://www.coalg.org/cmcs16/. CREST 2016: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 8 April, organized by Gregor G=C3=B6=C3=9Fler, Oleg Sokolsky. Submission deadlines: abstracts 10 January= / papers 17 January. See http://crest2016.inria.fr/. DICE 2016: 7th International Workshop on Developments in Implicit Computational complExity, 2-3 April, organized by Damiano Mazza. Submission deadline: extended abstracts 31 January. See https://lipn.univ-paris13.fr/DICE2016/. FESCA 2016: 13th International Workshop on Formal Engineering approaches to Software Components and Architectures, 3 April, organized by Jan Kofro=C5=88, Jana Tumova, Barbora Buhnova. Submission deadlines: abstracts 4 January / papers 14 January. See http://d3s.mff.cuni.cz/conferences/fesca/. FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 3 April, organized by Julia Rubin, Thomas Th=C3=BCm. Submission deadlines: abstracts 18 January / papers 25 January. See https://www.tu-braunschweig.de/isf/events/fmsple16. GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April, organized by Paul Levy. Submission deadline: 1-page abstracts 25 January. See http://www.gamesemantics.org/. GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton Wijs, Aleks Kissinger, and Alexander Heu=C3=9Fner. Submission deadline: papers, informal presentation and tool demos abstracts 15 January. See http://gam2016.swt-bamberg.de/. HCVS 2016: 3rd Workshop on Horn Clauses for Verification and Synthesis, 3 April, organized by John Gallagher and Philipp R=C3=BCmmer. Submission deadlines: abstracts 25 January / papers, presentation extended abstracts 1 February. See http://hcvs2016.it.uu.se/. HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and Trust, 3 April, organized Veronique Cortier. Submission deadline: papers 8 January. See http://www.loria.fr/~cortier/HotSpot2016/. MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin. MSFP 2016: 6th Workshop on Mathematically Structured Functional Programming, 8 April, organized by Robert Atkey and Neelakantan Krishnaswami. Submission deadlines: abstracts 10 January / papers 17 January. See http://msfp2016.bentnib.org/. PLACES 2016: 9th Workshop on Programming Language Approaches for Concurrency and Communication-cEntric Software, 8 April, organized by Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8 January / extended abstracts 15 January. See http://places16.by.di.fc.ul.pt. QAPL 2016: 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2-3 April, organized by Mirco Tribastone and Herbert Wiklicky. Submission deadline: papers 18 January. See http://qapl16.doc.ic.ac.uk/. RAC 2016: First international workshop on Resource Aware Computing, 2 April, organized by Kerstin Eder and Marko van Eekelen. Submission deadline: papers 11 January. See http://resourceanalysis.cs.ru.nl/rac2016/. SynCop 2016: 3rd International Workshop on Synthesis of Complex Parameters, 3 April, organized by =C3=89tienne Andr=C3=A9 and Beno=C3=AEt Delahaye. Submission deadlines: abstracts 10 January / papers 17 January. See http://lipn.univ-paris13.fr/SynCoP2016/. TermGraph 2016: 9th International Workshop on Computing with Terms and Graphs, 8 April, organized by Andrea Corradini and Hans Zantema. Submission deadline: extended abstracts 8 February. See http://www.win.tue.nl/~hzantema/tg.html. VerifyThis 2016: 5th Verification Competition, 2 April, organized by Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter M=C3=BCller. See http://etaps2016.verifythis.org/. VPT 2016: 4th International Workshop on Verification and Program Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh, and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers 18 January. See http://refal.botik.ru/vpt/vpt2016/. WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April, organized by Dorel Lucanu. Submission deadlines: abstracts 6 January / papers 10 January. See http://fmse.info.uaic.ro/events/WRLA2016/. ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven