Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] CfPart - ISSRE 2017 - The 28th IEEE International Symposium on Software Reliability Engineering

  • Subject: [Frama-c-discuss] CfPart - ISSRE 2017 - The 28th IEEE International Symposium on Software Reliability Engineering
  • From: nikolay.kosmatov at (Nikolai Kosmatov)
  • Date: Tue, 19 Sep 2017 14:11:36 +0200
  • In-reply-to: <>
  • References: <>

Dear All,

Let me forward you a call for participation for ISSRE 2017 (Oct 23-26, 
2017, in Toulouse).


Nikolai Kosmatov



ISSRE 2017
The 28th IEEE International Symposium on Software Reliability Engineering
Oct 23-26, 2017, Toulouse, France <>

* Early bird registration: September 23, 2017 *
* *

* Program at a glance *
* *

We invite you to attend the leading conference on the theory and 
practice on software reliability engineering.
Like in previous years, ISSRE 2017 features a rich multitrack program on 
key topics such as reliability modelling and assessment, software 
testing and debugging, cybersecurity, and much more!
The conference venue is in Toulouse, a vibrant city situated in the 
heart of Southern France. Toulouse is the center of the European 
aerospace industry. It also hosts hordes of hi-tech and IT businesses 
companies, and counts many research and Higher Education Institutions.

* *

    Concrete steps to better software
      Bertrand Meyer, Politecnico di Milano, Innopolis University and
    Eiffel Software

    Would any dependability technique have prevented Schiaparelli to
    land on Mars at 150 m/s?
      Jean-Loup Terraillon, European Space Agency

* *
* *

    The main conference program features nineteen Research and Industry
    To ensure high quality presentations, research and industrial
    contributions are reviewed by separate committees, with the result
    that ISSRE has been presenting both influential research and
    highly informative case studies.
    Do not miss the plenary best paper session of each track!

* <*> *

    We propose eight tutorials given by world class experts.
    Earn an IEEE Reliability Society Certificate by attending any two of
    these tutorials!

* *

    The Doctoral Symposium is significantly reshaped this year!
    Attendance is open to all PhD students, but not to their advisors.
    The students will freely interact with a panel of experts and
    invited speakers. They will receive both specific feedback on their
    PhD work and general advice on how to conduct research..

* *

    Fast abstracts also enjoy a reshaping this year!
    Emphasis is put on the interaction with the audience, after a crisp
    introduction to a key topic and the presenter's expert perspectives
    on it.

* *

    ISSRE strongly encourages workshops as a means to build communities
    and seed new ones that are vital to current interests in Research
    and Industry.
    The 2017 program features seven workshops on focused topics:

    • AFFORD: Workshop on Practical Formal Verification for Software
    • FIARS: Workshop on Faults Analyses in Industrial and Academic Research
    • IWFS: International Workshop on Software Faults
    • IWPD: International Workshop on Program Debugging
    • RFSD: Reliability Figures to Manage the Software-Centric Systems
    • WOSAR: Workshop on Software Aging and Rejuvenation
    • WoSoCER: Workshop on Software Certification

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>