<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p class="MsoNormal">================================================<o:p></o:p><br>
      |                                                                                                                     


      |<br>
      | 1<sup>st</sup> workshop on Usages of Symbolic Execution
      USE'15                                  |<br>
      |                23 June 2015,
      Olso                                                                        


      | <br>
      | co-localetd with the 20th Int. Symposium on Formal Method 
      FM'15              |<br>
      | <a class="moz-txt-link-freetext"
        href="http://perso.ecp.fr/%7Egallp/Workshop_USE.html">http://perso.ecp.fr/~gallp/Workshop_USE.html</a>                                            


      |<br>
      |                                                                                                                     


      |<br>
      ================================================<br>
    </p>
    <p class="MsoNormal"><br>
      Symbolic execution is used as a base for implementing structural
      testing or model based testing algorithms, <br>
      refinement testing, model or program debugging techniques,
      model-checking introducing first order structure. <br>
      The growing interest on symbolic execution, inducing a growing
      community of users, is also motivated by the
      <br>
      fact that the scalability of this technique has increased thanks
      to recent advances that have been made in constraint <br>
      solving techniques.<br>
    </p>
    <p class="MsoNormal">USE aims at being a forum both for researchers
      working in the scope of formal techniques and grounding their
      analysis <br>
      techniques on symbolic execution, and for users of technologies
      based on symbolic execution.<br>
      <br>
      Topics of interests<br>
      ===========<o:p></o:p></p>
    <ul type="disc">
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Symbolic execution for testing, consistency
        checking, verification, model checking, debugging<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Symbolic analysis of modelling and programming
        languages<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Taking into account complex data structure in
        symbolic execution processes<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Symbolic execution in the loop of design processes
        (e.g. refinement correctness assessment, model consistency
        checking, dysfunctional analyses…)<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Coupling between constraint solving technics and
        symbolic execution<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> Case<span class="apple-converted-space"> </span><span
          class="spelle">study</span><span class="apple-converted-space"> </span>analysis<o:p></o:p></li>
      <li class="MsoNormal"
        style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
        level1 lfo1"> <span lang="FR">Tools and benchmarks</span><span
          lang="FR"> </span><o:p></o:p></li>
    </ul>
    <br>
    <br>
    Important Dates<br>
    ==========<br>
    Full paper submission: 1 April 2015<br>
    Notification of acceptance: 1 May 2015<br>
    Final version due: 1 June 2015<br>
    Conference: 23 June 2015<br>
    <br>
    Paper Submission<br>
    ===========<br>
    <br>
    Papers can be submitted at <a
      href="http://www.easychair.org/conferences/?conf=icgt2015">
      http://www.easychair.org/conferences/?conf=use2015</a>. <br>
    Papers must be written in English, not exceed 15 pages and be
    conforming to the ENTCS's latex<br>
    format (<a href="http://www.springer.com/lncs">http://www.entcs.org/prelim.html</a>).<br>
    <br>
    The proceedings of the workshop will be published by ENTCS<br>
    <br>
    Organizing Committee<br>
    ==============<br>
    <br>
    Christophe Gaston (<a href="mailto:christophe.gaston@cea.fr">christophe.gaston@cea.fr</a>)<br>
    Pascale Le Gall (<a href="mailto:pascale.legall@ecp.fr">pascale.legall@ecp.fr</a>)<br>
    Alexandre Petrenko (<a href="mailto:alexandre.petrenko@crim.ca">alexandre.petrenko@crim.ca</a>)<br>
    <br>
    <br>
    Program Committee<br>
    ============<br>
    <br>
    Sébastien Bardin (CEA LIST)<br>
    Francis Bordeleau (Ericsson)<br>
    Juergen Dingel  (Queen’s University)<br>
    Vijay Ganesh (Waterloo University) <br>
    Christophe Gaston (CEA LIST)<br>
    Arnaud Gotlieb (Simula Research Laboratory)<br>
    Thierry Jéron (IRISA Rennes)<br>
    Pascale Le Gall (ECP)<br>
    Delphine Longuet (Université Paris Sud)<br>
    Alexandre Petrenko (CRIM) <br>
    Nicolas Rapin (CEA LIST)<br>
    Koushik Sen (University of California, Berkeley) <br>
    Jan Tretmans (TNO - Embedded Systems Innovation) <span
style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#333333;background:#EEFFEE"><br>
    </span><br>
    <br>
    Contact: <a href="mailto:pascale.legall@ecp.fr">pascale.legall@ecp.fr</a>
    <pre class="moz-signature" cols="72">-- 
Pascale Le Gall
Professeur 
Département TISA - Laboratoire MAS
Ecole Centrale Paris
01 41 13 19 05 - 06 73 38 47 98</pre>
  </body>
</html>