Automated Reasoning for Security, Software Integration and Reliability  

Workshop in conjunction with SSIRI 2011

The 5th IEEE International Conference on Secure Software Integration
and Reliability Improvement

(27- 29 June 2011 Jeju Island, Korea)


Call for Papers

Goals and Description

As contemporary software becomes more and more complex it requires more sophisticated but efficient methods of its engineering. One of the obvious challenges on this way is the automation of relevant techniques. Automated reasoning research, on the other hand, needs a constant flow of fresh ideas and practical requirements. This workshop is aimed to provide a forum to discuss recent work, current trends and new ideas in the area of automated reasoning for software integration, security and reliability.  It aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners. A workshop is considered to be the first of the series of the satellite event to SSIRI, with every workshop tackling a particular flavour. This year workshop’s flavour is integration of formal verification methods with software systems development.   

2011 Workshop Flavour

Automated Reasoning systems should become integral parts of a working software. However, we lack research in the methodologies of engineering of automated reasoning systems as software systems and their integration into system development. This year workshop aims to facilitate discussions and research in this highly important area - integration of formal methods with software systems development. We expect the contributions from various parties – researchers from automated reasoning community, practitioners, methodologists, etc.



Topics of interest 

The workshop scope covers the full breadth and diversity of automated reasoning applications to the main areas of SSIRI topics exemplified but not restricted in the list below:

·  integration of formal verification methods with software systems development.   

·  Integration methodology, integration architectures

·  application of deductive and non-deductive reasoning, including abduction, induction, non-monotonic reasoning, and analogical reasoning to specifying, deriving, transforming and verifying computer systems and requirements;

·  automated system configuration and reconfiguration;

·  formal modelling of security protocols and reasoning about them;

·  logic engineering for automated reasoning: proof search techniques, invariant extractions, logic programming, functional programming; equational reasoning; deductive databases; unification and constraint solving;

·  automata-based approaches

·  automated reasoning in testing and testing in automated reasoning

·  automated test case generation

Format and Proceedings

A one-day workshop held immediately before or during the main conference. Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For the latter publication one of the authors will be required to register and to present the accepted submission. During the workshop, each paper will have a slot of 30 minutes, with 20-25 minutes presentation.


Submit original papers (not published or submitted elsewhere) with a maximum of eight pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format.  


Click here to submit your papers to ARSSIR'2011.


Important Dates

submission deadline  February 28, 2011

notification date  March 10, 2011

 camera-ready    April 1, 2011


ARSSIR 2011 workshop (1-day workshop during the main conference)

June 27-29, 2011



Programme Committee


Alexander Bolotov   (Programme Chair)

University of Westminster, UK


Francisca Lucio Carrasco,

The University of the Basque Country, Spain


Mads Dam

KTH Royal Institute of Technology, Stokholm


Rajeev Gore

Australian National University


Rob Hierons

Brunel University, UK


Ken Kaneiwa

Iwate University, Japan


Juncao Li

Microsoft Windows, USA


Gerald Quirchmayr

University of South Australia


Michel Reniers

Eindhoven University of Technology, Netherlands


Nikolay Shilov

Institute of Informatics Systems, Novosibirsk, Russia


Voker Sorge

University of Birmingham, UK


Ilsun You

Korean Bible University, South Korea;


Margus Veanes

Microsoft Research


Luca Viganò

University of Verona