Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] ICTSS 2013 : Call for Participation
@ 2013-09-29 17:09 Announcements of FME events
  0 siblings, 0 replies; only message in thread
From: Announcements of FME events @ 2013-09-29 17:09 UTC (permalink / raw)
  To: events

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2013-09-29 17:19 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-29 17:09 [Caml-list] ICTSS 2013 : Call for Participation Announcements of FME events

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox