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

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


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
Papers must be written in English, not exceed 15 pages and be conforming to the ENTCS's latex
format (

The proceedings of the workshop will be published by ENTCS

Organizing Committee

Christophe Gaston (
Pascale Le Gall (
Alexandre Petrenko (

Related Resources

PEOPLES 2016   CfP: COLING 2016 Workshop PEOPLES: Computational Modeling of People's Opinions, Personality, and Emotions in Social Media
WiML 2016   11th Workshop for Women in Machine Learning, Co-located with NIPS
CCDWN 2017   2nd Content Caching and Delivery in Wireless Networks Workshop (co-located with WiOpt 2017)
WCSF 2016   International Workshop on Cloud Security and Forensics (Co-located with the Sixth International Conference on Innovating Computing Technology INTECH 2016)
IWPD 2016   The 7th IEEE International Workshop on Program Debugging (Co-located with ISSRE2016)
SEMFANSCI 2016   Joint Intl. Conf SEMCCO(7th Edition) & FANCCO ( 6th Edition) Co-located with 1st International Conf on Smart Computing and Informatics ( SCI 2016)
AIC 2016   AIC 2016 - 4th International Workshop on Artificial Intelligence and Cognition - July 2016, New York (co-located with IJCAI 16)
RSDA 2016   The 3rd IEEE International Workshop on Reliability and Security Data Analysis (co-located with DSN 2016)
VEE 2016   12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment
HotMiddlebox 2016   Hot Topics in Middleboxes and Network Function Virtualization