[ecoop-info] Call for Paper :1st workshop on Usages of Symbolic Execution USE'15 colocated with FM'15

[Announcements of FME events]

================================================
| |
| 1^st workshop on Usages of Symbolic Execution 
USE'15                                  |
|                23 June 2015, Olso |
| co-localetd with the 20th Int. Symposium on Formal Method 
FM'15              |
| http://perso.ecp.fr/~gallp/Workshop_USE.html |
| |
================================================


Symbolic execution is used as a base for implementing structural testing 
or model based testing algorithms,
refinement testing, model or program debugging techniques, 
model-checking introducing first order structure.
The growing interest on symbolic execution, inducing a growing community 
of users, is also motivated by the
fact that the scalability of this technique has increased thanks to 
recent advances that have been made in constraint
solving techniques.

USE aims at being a forum both for researchers working in the scope of 
formal techniques and grounding their analysis
techniques on symbolic execution, and for users of technologies based on 
symbolic execution.

Topics of interests
===========

  * Symbolic execution for testing, consistency checking, verification,
    model checking, debugging
  * Symbolic analysis of modelling and programming languages
  * Taking into account complex data structure in symbolic execution
    processes
  * Symbolic execution in the loop of design processes (e.g. refinement
    correctness assessment, model consistency checking, dysfunctional
    analyses…)
  * Coupling between constraint solving technics and symbolic execution
  * Casestudyanalysis
  * Tools and benchmarks



Important Dates
==========
Full paper submission: 1 April 2015
Notification of acceptance: 1 May 2015
Final version due: 1 June 2015
Conference: 23 June 2015

Paper Submission
===========

Papers can be submitted at 
http://www.easychair.org/conferences/?conf=use2015 
<http://www.easychair.org/conferences/?conf=icgt2015>.
Papers must be written in English, not exceed 15 pages and be conforming 
to the ENTCS's latex
format (http://www.entcs.org/prelim.html <http://www.springer.com/lncs>).

The proceedings of the workshop will be published by ENTCS

Organizing Committee
==============

Christophe Gaston (christophe.gaston at cea.fr 
<mailto:christophe.gaston at cea.fr>)
Pascale Le Gall (pascale.legall at ecp.fr <mailto:pascale.legall at ecp.fr>)
Alexandre Petrenko (alexandre.petrenko at crim.ca 
<mailto:alexandre.petrenko at crim.ca>)


Program Committee
============

Sébastien Bardin (CEA LIST)
Francis Bordeleau (Ericsson)
Juergen Dingel  (Queen’s University)
Vijay Ganesh (Waterloo University)
Christophe Gaston (CEA LIST)
Arnaud Gotlieb (Simula Research Laboratory)
Thierry Jéron (IRISA Rennes)
Pascale Le Gall (ECP)
Delphine Longuet (Université Paris Sud)
Alexandre Petrenko (CRIM)
Nicolas Rapin (CEA LIST)
Koushik Sen (University of California, Berkeley)
Jan Tretmans (TNO - Embedded Systems Innovation)


Contact: pascale.legall at ecp.fr <mailto:pascale.legall at ecp.fr>

-- 
Pascale Le Gall
Professeur
Département TISA - Laboratoire MAS
Ecole Centrale Paris
01 41 13 19 05 - 06 73 38 47 98

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20150120/047bde8d/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pascale_legall.vcf
Type: text/x-vcard
Size: 4 bytes
Desc: not available
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20150120/047bde8d/attachment.vcf>
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events