posted by organizer: LeGall || 2395 views || tracked by 1 users: [display]

USE 2015 : 1st workshop on Usages of Symbolic Execution USE'15, co-located with FM'15

FacebookTwitterLinkedInGoogle

Link: http://perso.ecp.fr/~gallp/Workshop_USE.html
 
When Jun 23, 2015 - Jun 23, 2015
Where Oslo, Norway
Submission Deadline Apr 1, 2015
Notification Due May 1, 2015
Final Version Due Jun 1, 2015
Categories    workshop
 

Call For Papers

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
• Case study analysis
• 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 submissions

Papers can be submitted at http://www.easychair.org/conferences/?conf=use2015.
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).

The proceedings of the workshop will be published by ENTCS

Organizing Committee

Christophe Gaston (christophe.gaston@cea.fr)
Pascale Le Gall (pascale.legall@ecp.fr)
Alexandre Petrenko (alexandre.petrenko@crim.ca)


Related Resources

STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
S3P 2024   IEEE-EURASIP Summer School on Signal Processing
VehicleSec 2024   Call for Papers: ISOC Symposium on Vehicle Security and Privacy (VehicleSec 2024) Co-located with NDSS 2024, San Diego, CA
AIVR4Exergame 2024   Workshop on AI and AR/VR for Exergaming (AIVR4Exergame): co-located with IEEE AIxVR 2024
BEA 2024   19th Workshop on Innovative Use of NLP for Building Educational Applications
MLSP 2024   Multilingual Lexical Simplification Pipeline (MLSP) Shared Task @ 19th Workshop on Innovative Use of NLP for Building Educational Applications
Vibroengineering Romania 2024   Vibroengineering Conference on The Use of Vibrations in Industrial Applications
CUING 2024   8th International Workshop on Cyber Use of Information Hiding
EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
IEEE ICC'24 NextG-WiSec 2024   IEEE NextG-WiSec: The Ninth IEEE Workshop on NextG (6G and beyond) Wireless Security in conjunction with IEEE ICC 2024, 9–13 June 2024 - Denver, CO, USA