From: Announcements of FME events <events@fmeurope.org>
To: "events@fmeurope.org" <events@fmeurope.org>
Subject: [Caml-list] ICTSS 2013 : Call for Participation
Date: Sun, 29 Sep 2013 19:09:52 +0200 [thread overview]
Message-ID: <mailman.194.1380474703.10627.events@fmeurope.org> (raw)
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
reply other threads:[~2013-09-29 17:19 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=mailman.194.1380474703.10627.events@fmeurope.org \
--to=events@fmeurope.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox