call for papers ARSSIR-2011 - extended deadline

[Alexander Bolotov]

Automated Reasoning for Security, Software Integration and Reliability  

http://www2.wmin.ac.uk/bolotoa/ARSSIR-2011/ARSSIR-11.html

Workshop in conjunction with SSIRI 2011

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

http://paris.utdallas.edu/ssiri11

(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.

Submissions

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.  

 

Submission of papers to ARSSIR'2011 

http://www2.wmin.ac.uk/bolotoa/ARSSIR-2011/arssir-submission.html

 

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

A.Bolotov at wmin.ac.uk

 

Francisca Lucio Carrasco,

The University of the Basque Country, Spain

paqui.lucio at ehu.es

 

Mads Dam

KTH Royal Institute of Technology, Stokholm

mfd at kth.se

 

Rajeev Gore

Australian National University

Rajeev.Gore at rsise.anu.edu.au

 

Rob Hierons

Brunel University, UK

rob.hierons at brunel.ac.uk

 

Ken Kaneiwa

Iwate University, Japan

kaneiwa at cis.iwate-u.ac.jp

 

Juncao Li

Microsoft Windows, USA

juncaoli at microsoft.com

 

Gerald Quirchmayr

University of South Australia

Gerald.Quirchmayr at unisa.edu.au

 

Michel Reniers

Eindhoven University of Technology, Netherlands

m.a.reniers at TUE.nl

 

Nikolay Shilov

Institute of Informatics Systems, Novosibirsk, Russia

shilov at iis.nsk.su

 

Voker Sorge

University of Birmingham, UK

 volker.sorge at googlemail.com

 

Ilsun You

Korean Bible University, South Korea

isyou at bible.ac.kr; ilsunu at gmail.com

 

Margus Veanes

Microsoft Research

margus at microsoft.com

 

Luca Viganò

University of Verona

luca.vigano at univr.it

 

 

 



-- 
The University of Westminster is a charity and a company limited by
guarantee.  Registration number: 977818 England.  Registered Office:
309 Regent Street, London W1B 2UW, UK.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20110221/8f0a1c1a/attachment.html>