<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
        {font-family:Wingdings;
        panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Consolas;
        panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin-top:0cm;
        margin-right:0cm;
        margin-bottom:8.0pt;
        margin-left:0cm;
        line-height:106%;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
        {mso-style-priority:99;
        mso-style-link:"Plain Text Char";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:10.5pt;
        font-family:Consolas;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.PlainTextChar
        {mso-style-name:"Plain Text Char";
        mso-style-priority:99;
        mso-style-link:"Plain Text";
        font-family:Consolas;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri",sans-serif;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
/* List Definitions */
@list l0
        {mso-list-id:1002975588;
        mso-list-template-ids:358253890;}
@list l0:level1
        {mso-level-number-format:bullet;
        mso-level-text:\F0B7;
        mso-level-tab-stop:36.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Symbol;}
@list l0:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:72.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:"Times New Roman";}
@list l0:level3
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:108.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level4
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:144.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level5
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:180.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level6
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:216.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level7
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:252.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level8
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:288.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l0:level9
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:324.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1
        {mso-list-id:1600988812;
        mso-list-template-ids:-331196306;}
@list l1:level1
        {mso-level-number-format:bullet;
        mso-level-text:\F0B7;
        mso-level-tab-stop:36.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Symbol;}
@list l1:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:72.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:"Times New Roman";}
@list l1:level3
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:108.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level4
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:144.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level5
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:180.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level6
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:216.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level7
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:252.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level8
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:288.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l1:level9
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:324.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2
        {mso-list-id:1676492748;
        mso-list-template-ids:1853546794;}
@list l2:level1
        {mso-level-number-format:bullet;
        mso-level-text:\F0B7;
        mso-level-tab-stop:36.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Symbol;}
@list l2:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:72.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:"Times New Roman";}
@list l2:level3
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:108.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level4
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:144.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level5
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:180.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level6
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:216.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level7
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:252.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level8
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:288.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l2:level9
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:324.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3
        {mso-list-id:1829636996;
        mso-list-template-ids:-663849578;}
@list l3:level1
        {mso-level-number-format:bullet;
        mso-level-text:\F0B7;
        mso-level-tab-stop:36.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Symbol;}
@list l3:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:72.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:"Times New Roman";}
@list l3:level3
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:108.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level4
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:144.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level5
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:180.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level6
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:216.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level7
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:252.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level8
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:288.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
@list l3:level9
        {mso-level-number-format:bullet;
        mso-level-text:\F0A7;
        mso-level-tab-stop:324.0pt;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        mso-ansi-font-size:10.0pt;
        font-family:Wingdings;}
ol
        {margin-bottom:0cm;}
ul
        {margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>---------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Call for Papers <o:p></o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>The 7th Workshop on Behavioural Modelling - Foundations and Applications (BM-FA)<o:p></o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'> <o:p></o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Co-located with Software Technologies: Applications and Foundations (STAF) 2015, L'Aquila, Italy<o:p></o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>---------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>BM-FA 2015: 7th International Workshop on </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Behavioural Modelling - Foundations and Applications</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#222222;background:white'>Monday, July 20th, 2015, L'Aquila, Italy</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><a href="http://www.christiangerth.de/bm-fa-2015/"><span style='color:#1155CC'>http://www.christiangerth.de/bm-fa-2015/</span></a><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Abstract submission April 24, 2015</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Full paper submission May 8, 2015</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Notification of acceptance June 5, 2015</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Camera ready version June 19, 2015</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:12.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Model-based Software Engineering (MBSE) is mostly used for the structural parts of the software. Except for the Business Process Management areas, models for the behaviour or the functional specification of the software are not very often used for code generation or direct execution.</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>The complexity of today's software systems is increasing in various ways. There is an increasing demand for smart and self-adaptive software systems, which can effectively cope with changes in their execution environment. Complex software systems are developed as systems of systems, which are composed of many independently developed and managed software systems. Such a composition leads to various kinds of emergent behavior, which must be modelled and its impacts must be analyzed. Last but not least, software engineers have to deal with massively parallel and distributed software systems.</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>In this era, behavioral modelling is no longer a luxury; instead, it is a necessity to facilitate comprehending the behavior of software systems and reasoning about it. The 7th edition of workshop on Behaviour Modelling - Foundations and Applications (BM-FA) attracts attention to the role of behaviour modelling in development of today's complex software systems.</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>We welcome submissions that address the following topics:</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><ul style='margin-top:0cm' type=disc><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Methods, techniques and applications of behaviour modelling in engineering systems of systems<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Methods, techniques and applications of behaviour modelling in representing emergent behavior<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Methods, techniques and applications of behaviour modelling in self-adaptive software systems<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Methods, techniques and applications of behaviour modelling in hybrid systems<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><b><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>A</span></b><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>pplication of behaviour modelling for functional and non-functional requirements, including their refinement into design models;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Prospects and challenges in behaviour modelling;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Approaches to the definition of behavioural interfaces and contracts; including approaches to discover and compose components specified with behavioural interfaces;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Quality of behavioural models, e.g. approaches to control-flow or data-flow analysis in business process modelling;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Implementation, direct execution, and code generation of/from behavioural models;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Usability results of different modelling techniques;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Composition and decomposition of behavioural models;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Combination of different behaviour modelling approaches;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Computation of differences between behavioural models;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Applications of formal reasoning to behavioural models;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Application of behavioural modelling in software quality assurance, e.g., in model-based testing;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Behavior models and their relationship to other artifacts, e.g. structure models, but also arbitrary other code;<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><b><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>T</span></b><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>he applicability of different behavior model types in different domains. E.g. what kind of behavior is more feasible in embedded systems, what kind in information systems, what kind in games, etc.<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l3 level1 lfo1;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Lessons learned from case studies that involve behaviour modelling;<o:p></o:p></span></li></ul><p class=MsoNormal style='margin-bottom:12.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Submission Guideline</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>------------------------------</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>All submitted papers must represent original and unpublished work. There is a limit of 4 pages for short papers and 8 pages for full papers, in the ACM SIG format.</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Program Committee:</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>-----------------------------</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><ul style='margin-top:0cm' type=disc><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Ella Roubtsova, Open university, the Netherlands<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Silvia Abrahão, Universitat Politècnica de València<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Steffen Zschaler, King's College London<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Bedir Tekinerdogan, Wageningen University, the Netherlands<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Nelly Bencomo, Aston University, UK<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Shaukat Ali, Simula Lab, Norway<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l0 level1 lfo2;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Omar Alam, McGill University, Canada<o:p></o:p></span></li></ul><ul style='margin-top:0cm' type=disc><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Ashley McNeile, Metamaxim Ltd,UK<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Ekkart Kindler, Technical University of Denmark<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Christian Gerth, Osnabruck University of Applied Sciences, Germany<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Mehmet Aksit, University of Twente, Netherlands<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Matthias Tichy, Gothenburg/Chalmers University, Sweden<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l1 level1 lfo3;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Joel Greenyer, Hannover University, Germany<o:p></o:p></span></li></ul><p class=MsoNormal style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Organization Committee:</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:41.0pt;margin-bottom:.0001pt;text-align:justify;text-indent:-18.0pt;line-height:normal'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>----------------------------------</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'><o:p></o:p></span></p><ul style='margin-top:0cm' type=disc><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l2 level1 lfo4;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Somayeh Malakuti (primary contact), Technical University of Dresden, Germany<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l2 level1 lfo4;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Ashley McNeile, Metamaxim Ltd,UK<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l2 level1 lfo4;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Ekkart Kindler, Technical University of Denmark<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l2 level1 lfo4;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Christian Gerth, Osnabruck University of Applied Sciences, Germany<o:p></o:p></span></li><li class=MsoNormal style='color:black;margin-bottom:0cm;margin-bottom:.0001pt;text-align:justify;line-height:normal;mso-list:l2 level1 lfo4;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Mehmet Aksit, University of Twente, Netherlands<o:p></o:p></span></li></ul><p class=MsoPlainText style='text-align:justify'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>