From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ECC7A7EE4B for ; Sun, 29 Sep 2013 19:19:54 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgFANhgSFLBVEO1/2dsb2JhbABZgwc4wH6BahZtB4InAQUBARUFHQwKFgIGDgMBAgYCQAgIAwEjNhMFiAUIuz2TegOZLo9pYYMmOg X-IPAS-Result: AlgFANhgSFLBVEO1/2dsb2JhbABZgwc4wH6BahZtB4InAQUBARUFHQwKFgIGDgMBAgYCQAgIAwEjNhMFiAUIuz2TegOZLo9pYYMmOg X-IronPort-AV: E=Sophos;i="4.90,1005,1371074400"; d="scan'208";a="28467220" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Sep 2013 19:19:54 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 42CC86F633; Sun, 29 Sep 2013 19:19:48 +0200 (CEST) Date: Sun, 29 Sep 2013 19:09:52 +0200 To: "events@fmeurope.org" Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-Spam-Report: * -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at http://www.dnswl.org/, * medium trust * [130.238.7.73 listed in list.dnswl.org] * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Sun, 29 Sep 2013 19:11:42 +0200 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.97.8 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] ICTSS 2013 : Call for Participation ICTSS 2013 : Call for Participation ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. ICTSS is a forum for researchers, developers, testers, and users from industry to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of software and systems. ICTSS is celebrating the 25th edition of the series with the the following distinguished keynote speakers: - Alexandre Petrenko, CRIM, Canada (supported by Formal Methods Europe) Some Observations on Progress in Formal Methods for Testing - Ana R. Cavalli, Telecom SudParis, France >From Active Testing to Monitoring Techniques. Application to Test Secure Interoperability. - Jens Herrmann, Daimler AG, Germany ARTEMIS Project MBAT: Combining Model-based Testing and Static Analysis to Improve Quality and Reduce Efforts The program of ICTSS 2013 includes the presentation of 20 accepted papers, a PhD Workshop, and the following tutorial presentation. - Jason Lee, Dolby Labs, Australia Survey of Bug Localization Approaches using Dynamic Analysis ICTSS 2013 is co-located with the following satellite workshops: - Workshop on Risk Assessment and Risk-driven Testing (RISK) http://www.fokus.fraunhofer.de/en/fokus_events/motion/risk_2013/ - Workshop on Future Internet Testing (FITTEST) http://crest.cs.ucl.ac.uk/ictss2013/ We are looking forward to see you in Istanbul. We would like to thank FME for supporting Alexandre Petrenko's talk. ICTSS 2013 Chairs Husnu Yenigun, Sabanci University, TR Cemal Yilmaz, Sabanci University, TR Andreas Ulrich, Siemens AG, DE _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events