{"id":18,"date":"2010-01-08T19:58:34","date_gmt":"2010-01-08T19:58:34","guid":{"rendered":"http:\/\/www.cs.aau.dk\/~crt\/wp\/wordpress\/?page_id=18"},"modified":"2021-02-15T15:43:11","modified_gmt":"2021-02-15T15:43:11","slug":"programme-committees","status":"publish","type":"page","link":"https:\/\/kglarkiv.cs.aau.dk\/?page_id=18","title":{"rendered":"Programme committees (not updated)"},"content":{"rendered":"<ul>\n<li><!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal<\/w:View> <w:Zoom>0<\/w:Zoom> <w:TrackMoves \/> <w:TrackFormatting \/> <w:PunctuationKerning \/> <w:ValidateAgainstSchemas \/> <w:SaveIfXMLInvalid>false<\/w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false<\/w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false<\/w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF \/> <w:LidThemeOther>EN-US<\/w:LidThemeOther> <w:LidThemeAsian>X-NONE<\/w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE<\/w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables \/> <w:SnapToGridInCell \/> <w:WrapTextWithPunct \/> <w:UseAsianBreakRules \/> <w:DontGrowAutofit \/> <w:SplitPgBreakAndParaMark \/> <w:EnableOpenTypeKerning \/> <w:DontFlipMirrorIndents \/> <w:OverrideTableStyleHps \/> <\/w:Compatibility> <m:mathPr> <m:mathFont m:val=\"Cambria Math\" \/> <m:brkBin m:val=\"before\" \/> <m:brkBinSub m:val=\"&#45;-\" \/> <m:smallFrac m:val=\"off\" \/> <m:dispDef \/> <m:lMargin m:val=\"0\" \/> <m:rMargin m:val=\"0\" \/> <m:defJc m:val=\"centerGroup\" \/> <m:wrapIndent m:val=\"1440\" \/> <m:intLim m:val=\"subSup\" \/> <m:naryLim m:val=\"undOvr\" \/> <\/m:mathPr><\/w:WordDocument> <\/xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState=\"false\" DefUnhideWhenUsed=\"true\"   DefSemiHidden=\"true\" DefQFormat=\"false\" DefPriority=\"99\"   LatentStyleCount=\"267\"> <w:LsdException Locked=\"false\" Priority=\"0\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Normal\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"heading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 3\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 4\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 5\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 6\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 7\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 8\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 9\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 1\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 2\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 3\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 4\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 5\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 6\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 7\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 8\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 9\" \/> <w:LsdException Locked=\"false\" Priority=\"35\" QFormat=\"true\" Name=\"caption\" \/> <w:LsdException Locked=\"false\" Priority=\"10\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Title\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" Name=\"Default Paragraph Font\" \/> <w:LsdException Locked=\"false\" Priority=\"11\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtitle\" \/> <w:LsdException Locked=\"false\" Priority=\"22\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Strong\" \/> <w:LsdException Locked=\"false\" Priority=\"20\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"59\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Table Grid\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Placeholder Text\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"No Spacing\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 1\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Revision\" \/> <w:LsdException Locked=\"false\" Priority=\"34\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"List Paragraph\" \/> <w:LsdException Locked=\"false\" Priority=\"29\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"30\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"19\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"21\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"31\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"32\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"33\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Book Title\" \/> <w:LsdException Locked=\"false\" Priority=\"37\" Name=\"Bibliography\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" QFormat=\"true\" Name=\"TOC Heading\" \/> <\/w:LatentStyles> <\/xml><![endif]--><!--[if gte mso 10]> <mce:style><!   \/* Style Definitions *\/  table.MsoNormalTable \t{mso-style-name:\"Table Normal\"; \tmso-tstyle-rowband-size:0; \tmso-tstyle-colband-size:0; \tmso-style-noshow:yes; \tmso-style-priority:99; \tmso-style-parent:\"\"; \tmso-padding-alt:0cm 5.4pt 0cm 5.4pt; \tmso-para-margin-top:0cm; \tmso-para-margin-right:0cm; \tmso-para-margin-bottom:10.0pt; \tmso-para-margin-left:0cm; \tline-height:115%; \tmso-pagination:widow-orphan; \tfont-size:11.0pt; \tfont-family:\"Calibri\",\"sans-serif\"; \tmso-ascii-font-family:Calibri; \tmso-ascii-theme-font:minor-latin; \tmso-hansi-font-family:Calibri; \tmso-hansi-theme-font:minor-latin;} --> <!--[endif] -->\n<p class=\"MsoNormal\" style=\"margin-bottom: .0001pt; line-height: normal;\"><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/lics.rwth-aachen.de\/\"><span style=\"color: blue;\">LICS 2016<\/span><\/a>, ACM\/IEEE Symposium on Logic in Computer Science, New York City, July 5-8, 2016 <\/span><span style=\"font-size: 12.0pt; mso-fareast-font-family: &amp;amp;amp; mso-bidi-font-family: &amp;amp;amp;\"> <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.etaps.org\/2015\/tacas\"><span style=\"color: blue;\"> <\/span><span style=\"color: blue;\"> <\/span><\/a><\/span><\/p>\n<\/li>\n<li>\n<p class=\"MsoNormal\" style=\"margin-bottom: .0001pt; line-height: normal;\"><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.etaps.org\/2015\/tacas\"><span style=\"color: blue;\">TACAS&#8217;16<\/span><\/a>, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of System<\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/research.microsoft.com\/en-us\/events\/vmcai2015\/default.aspx\"><\/a><\/span><\/p>\n<\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/research.microsoft.com\/en-us\/events\/vmcai2015\/default.aspx\"><span style=\"color: blue;\">VMCAI 2015<\/span><\/a>, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, January 12-14, 2015, Mumbai, India (<em>PC Chair<\/em>) <\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/atva2015.ios.ac.cn\/\"><span style=\"color: blue;\">ATVA 2015<\/span><\/a>, 13th International Symposium on Automated Technology for Verification and Analysis, October 12\u201315, 2015, Shanghai, China <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/formats2015.unifi.it\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/formats2015.unifi.it\"><span style=\"color: blue;\">FORMATS 2015,<\/span><\/a> 13th International Conference on Formal Modeling and Analysis of Timed Systems, Madrid &#8211; September 2-4, 2015<\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"https:\/\/discotec2015.inria.fr\/forte-2015-call-for-papers\/\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"https:\/\/discotec2015.inria.fr\/forte-2015-call-for-papers\/\"><span style=\"color: blue;\">FORTE 2015<\/span><\/a>, The 10th International Federated Conference on Distributed Computing Techniques, Grenoble, France, June 2-5, 2015 <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/fsen.ir\/2015\/\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/fsen.ir\/2015\/\"><span style=\"color: blue;\">FSEN 2015<\/span><\/a>, 6th IPM International Conference on Fundamentals of Software Engineering, April 22-24, 2015, Tehran, Iran <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/ljk.imag.fr\/hscc2015\/\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/ljk.imag.fr\/hscc2015\/\"><span style=\"color: blue;\">HSCC 2015<\/span><\/a>, 18th International Conference on Hybrid Systems: Computation and Control, April 14-16, 2015, Seattle, Washington, USA <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.ictac2015.co\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.ictac2015.co\"><span style=\"color: blue;\">ICTAC 2015<\/span><\/a>, 12th International Colloquium on Theoretical Aspects of Computing, October 29-31, 2015, Cali (Colombia) <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/nasaformalmethods.org\/nfm2015\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/nasaformalmethods.org\/nfm2015\"><span style=\"color: blue;\">NFM 2015<\/span><\/a>, 7th NASA Formal Methods Symposium, 27-29 April, 2015, Pasadena, California <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/rv2015.conf.tuwien.ac.at\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/rv2015.conf.tuwien.ac.at\"><span style=\"color: blue;\">RV 2015<\/span><\/a>, The 15th International Conference on Runtime Verification, September 22 \u2013 September 25, 2015 Vienna, Austria <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/lipn.univ-paris13.fr\/SynCoP2015\/\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/lipn.univ-paris13.fr\/SynCoP2015\/\"><span style=\"color: blue;\">SynCoP 2015<\/span><\/a>, 2nd International Workshop on Synthesis of Complex Parameters, 11th of April 2015, London, UK <\/span><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.etaps.org\/index.php\/2015\/tacas\"><\/a><\/span><\/li>\n<li><span style=\"mso-bidi-font-family: &amp;amp;amp;\"><a href=\"http:\/\/www.etaps.org\/index.php\/2015\/tacas\"><span style=\"color: blue;\">TACAS 2015<\/span><\/a>, 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 11-18 April 2015, London, UK<br \/>\n<\/span><\/li>\n<li><!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal<\/w:View> <w:Zoom>0<\/w:Zoom> <w:TrackMoves \/> <w:TrackFormatting \/> <w:DoNotShowRevisions \/> <w:DoNotPrintRevisions \/> <w:DoNotShowMarkup \/> <w:PunctuationKerning \/> <w:ValidateAgainstSchemas \/> <w:SaveIfXMLInvalid>false<\/w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false<\/w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false<\/w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF \/> <w:LidThemeOther>EN-US<\/w:LidThemeOther> <w:LidThemeAsian>X-NONE<\/w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE<\/w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables \/> <w:SnapToGridInCell \/> <w:WrapTextWithPunct \/> <w:UseAsianBreakRules \/> <w:DontGrowAutofit \/> <w:SplitPgBreakAndParaMark \/> <w:EnableOpenTypeKerning \/> <w:DontFlipMirrorIndents \/> <w:OverrideTableStyleHps \/> <\/w:Compatibility> <m:mathPr> <m:mathFont m:val=\"Cambria Math\" \/> <m:brkBin m:val=\"before\" \/> <m:brkBinSub m:val=\"&#45;-\" \/> <m:smallFrac m:val=\"off\" \/> <m:dispDef \/> <m:lMargin m:val=\"0\" \/> <m:rMargin m:val=\"0\" \/> <m:defJc m:val=\"centerGroup\" \/> <m:wrapIndent m:val=\"1440\" \/> <m:intLim m:val=\"subSup\" \/> <m:naryLim m:val=\"undOvr\" \/> <\/m:mathPr><\/w:WordDocument> <\/xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState=\"false\" DefUnhideWhenUsed=\"true\"   DefSemiHidden=\"true\" DefQFormat=\"false\" DefPriority=\"99\"   LatentStyleCount=\"267\"> <w:LsdException Locked=\"false\" Priority=\"0\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Normal\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"heading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 3\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 4\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 5\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 6\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 7\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 8\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 9\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 1\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 2\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 3\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 4\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 5\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 6\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 7\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 8\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 9\" \/> <w:LsdException Locked=\"false\" Priority=\"35\" QFormat=\"true\" Name=\"caption\" \/> <w:LsdException Locked=\"false\" Priority=\"10\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Title\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" Name=\"Default Paragraph Font\" \/> <w:LsdException Locked=\"false\" Priority=\"11\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtitle\" \/> <w:LsdException Locked=\"false\" Priority=\"22\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Strong\" \/> <w:LsdException Locked=\"false\" Priority=\"20\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"59\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Table Grid\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Placeholder Text\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"No Spacing\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 1\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Revision\" \/> <w:LsdException Locked=\"false\" Priority=\"34\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"List Paragraph\" \/> <w:LsdException Locked=\"false\" Priority=\"29\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"30\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"19\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"21\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"31\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"32\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"33\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Book Title\" \/> <w:LsdException Locked=\"false\" Priority=\"37\" Name=\"Bibliography\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" QFormat=\"true\" Name=\"TOC Heading\" \/> <\/w:LatentStyles> <\/xml><![endif]--><!--[if gte mso 10]> <mce:style><!   \/* Style Definitions *\/  table.MsoNormalTable \t{mso-style-name:\"Table Normal\"; \tmso-tstyle-rowband-size:0; \tmso-tstyle-colband-size:0; \tmso-style-noshow:yes; \tmso-style-priority:99; \tmso-style-parent:\"\"; \tmso-padding-alt:0cm 5.4pt 0cm 5.4pt; \tmso-para-margin-top:0cm; \tmso-para-margin-right:0cm; \tmso-para-margin-bottom:10.0pt; \tmso-para-margin-left:0cm; \tline-height:115%; \tmso-pagination:widow-orphan; \tfont-size:11.0pt; \tfont-family:\"Calibri\",\"sans-serif\"; \tmso-ascii-font-family:Calibri; \tmso-ascii-theme-font:minor-latin; \tmso-hansi-font-family:Calibri; \tmso-hansi-theme-font:minor-latin;} --> <!--[endif] --><a href=\"http:\/\/www.lpar-20.org\/\">LPAR-20<\/a>15, 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Laucla Bay Campus, of the University of the South Pacific, November 24-28, 2015.<\/li>\n<li><a href=\"http:\/\/i-cav.org\/2014\/\">CAV 2014<\/a>, 26th International Conference on Computer Aided Verification, July 18-22, 2014, Vienna, Austria<\/li>\n<li><a href=\"http:\/\/atva-conferences.org\/\">ATVA 2014<\/a>, 12th International Symposium on Automated Technology for Verification and Analysis, Sydney, November 3-6, 2014.<\/li>\n<li><a href=\"http:\/\/conferences.ncl.ac.uk\/edsos2014\/index.html\">EDSoS 2014<\/a>, Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, 13 May, 2014.<\/li>\n<li><a href=\"http:\/\/fmi.unibuc.ro\/ictac2014\/\">ICTAC 2014<\/a>, 11th International Colloquium on Theoretical Aspects of Computing, 17-19 September 2014, Bucharest, Romania.<\/li>\n<li><a href=\"http:\/\/lpar.net\/\">LPAR2014<\/a>, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.<\/li>\n<li><a href=\"http:\/\/www.inf.u-szeged.hu\/mfcs2014\">MFCS 2014<\/a>, 39th International Symposium on Mathematical Foundations of Computer Science, Budapest, August 25-29, 2014.<\/li>\n<li><a href=\"http:\/\/ceres.hh.se\/mediawiki\/index.php\/NWPT_2014\">NWPT 2014<\/a>, 26th Nordic Workshop on Programming Theory, October 29-31, 2014 &#8211; Halmstad University, Sweden<\/li>\n<li><a href=\"http:\/\/psi.nsc.ru\/\">PSI 2014<\/a>, Ershov Informatics Conference<span style=\"mso-spacerun: yes;\"> <\/span>\u2022<span style=\"mso-spacerun: yes;\"> <\/span>June, 24 &#8211; 27, 2014, Peterhof, St. Petersburg, Russia<\/li>\n<li><a href=\"http:\/\/www.cs.ox.ac.uk\/RP2014\/\">RP 2014<\/a>, 8th International workshop on Reachability Problems, <span style=\"mso-spacerun: yes;\"> <\/span>22 \u2013 24 September 2014, Oxford<\/li>\n<li><a href=\"http:\/\/lipn.univ-paris13.fr\/SynCoP2014\/\">SynCoP 2014<\/a>, 1st International Workshop on Synthesis of Continuous Parameters, Sunday April 6th 2014, Grenoble, France<\/li>\n<li><a href=\"http:\/\/www.etaps.org\/2014\">TACAS 2014<\/a>, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 5-13 April 2014, Grenoble, France<\/li>\n<li><a href=\"http:\/\/www.uni-ulm.de\/wcet2014\">WCET 2014<\/a>, 14th International Workshop on Worst-Case Execution Time Analysis, Tuesday, July 8th, 2014, Madrid, Spain\u00a0  <!--[if gte mso 9]><xml> <o:OfficeDocumentSettings> <o:AllowPNG \/> <\/o:OfficeDocumentSettings> <\/xml><![endif]--><\/li>\n<\/ul>\n<p><!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal<\/w:View> <w:Zoom>0<\/w:Zoom> <w:TrackMoves \/> <w:TrackFormatting \/> <w:PunctuationKerning \/> <w:ValidateAgainstSchemas \/> <w:SaveIfXMLInvalid>false<\/w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false<\/w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false<\/w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF \/> <w:LidThemeOther>EN-US<\/w:LidThemeOther> <w:LidThemeAsian>X-NONE<\/w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE<\/w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables \/> <w:SnapToGridInCell \/> <w:WrapTextWithPunct \/> <w:UseAsianBreakRules \/> <w:DontGrowAutofit \/> <w:SplitPgBreakAndParaMark \/> <w:EnableOpenTypeKerning \/> <w:DontFlipMirrorIndents \/> <w:OverrideTableStyleHps \/> <\/w:Compatibility> <m:mathPr> <m:mathFont m:val=\"Cambria Math\" \/> <m:brkBin m:val=\"before\" \/> <m:brkBinSub m:val=\"&#45;-\" \/> <m:smallFrac m:val=\"off\" \/> <m:dispDef \/> <m:lMargin m:val=\"0\" \/> <m:rMargin m:val=\"0\" \/> <m:defJc m:val=\"centerGroup\" \/> <m:wrapIndent m:val=\"1440\" \/> <m:intLim m:val=\"subSup\" \/> <m:naryLim m:val=\"undOvr\" \/> <\/m:mathPr><\/w:WordDocument> <\/xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState=\"false\" DefUnhideWhenUsed=\"true\"   DefSemiHidden=\"true\" DefQFormat=\"false\" DefPriority=\"99\"   LatentStyleCount=\"267\"> <w:LsdException Locked=\"false\" Priority=\"0\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Normal\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"heading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 3\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 4\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 5\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 6\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 7\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 8\" \/> <w:LsdException Locked=\"false\" Priority=\"9\" QFormat=\"true\" Name=\"heading 9\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 1\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 2\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 3\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 4\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 5\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 6\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 7\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 8\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" Name=\"toc 9\" \/> <w:LsdException Locked=\"false\" Priority=\"35\" QFormat=\"true\" Name=\"caption\" \/> <w:LsdException Locked=\"false\" Priority=\"10\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Title\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" Name=\"Default Paragraph Font\" \/> <w:LsdException Locked=\"false\" Priority=\"11\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtitle\" \/> <w:LsdException Locked=\"false\" Priority=\"22\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Strong\" \/> <w:LsdException Locked=\"false\" Priority=\"20\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"59\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Table Grid\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Placeholder Text\" \/> <w:LsdException Locked=\"false\" Priority=\"1\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"No Spacing\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 1\" \/> <w:LsdException Locked=\"false\" UnhideWhenUsed=\"false\" Name=\"Revision\" \/> <w:LsdException Locked=\"false\" Priority=\"34\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"List Paragraph\" \/> <w:LsdException Locked=\"false\" Priority=\"29\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"30\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Quote\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 1\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 2\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 3\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 4\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 5\" \/> <w:LsdException Locked=\"false\" Priority=\"60\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"61\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"62\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Light Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"63\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"64\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Shading 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"65\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"66\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium List 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"67\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 1 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"68\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 2 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"69\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Medium Grid 3 Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"70\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Dark List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"71\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Shading Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"72\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful List Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"73\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" Name=\"Colorful Grid Accent 6\" \/> <w:LsdException Locked=\"false\" Priority=\"19\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"21\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Emphasis\" \/> <w:LsdException Locked=\"false\" Priority=\"31\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Subtle Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"32\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Intense Reference\" \/> <w:LsdException Locked=\"false\" Priority=\"33\" SemiHidden=\"false\"    UnhideWhenUsed=\"false\" QFormat=\"true\" Name=\"Book Title\" \/> <w:LsdException Locked=\"false\" Priority=\"37\" Name=\"Bibliography\" \/> <w:LsdException Locked=\"false\" Priority=\"39\" QFormat=\"true\" Name=\"TOC Heading\" \/> <\/w:LatentStyles> <\/xml><![endif]--><!--[if gte mso 10]> <mce:style><!   \/* Style Definitions *\/  table.MsoNormalTable \t{mso-style-name:\"Table Normal\"; \tmso-tstyle-rowband-size:0; \tmso-tstyle-colband-size:0; \tmso-style-noshow:yes; \tmso-style-priority:99; \tmso-style-parent:\"\"; \tmso-padding-alt:0cm 5.4pt 0cm 5.4pt; \tmso-para-margin-top:0cm; \tmso-para-margin-right:0cm; \tmso-para-margin-bottom:10.0pt; \tmso-para-margin-left:0cm; \tline-height:115%; \tmso-pagination:widow-orphan; \tfont-size:11.0pt; \tfont-family:\"Calibri\",\"sans-serif\"; \tmso-ascii-font-family:Calibri; \tmso-ascii-theme-font:minor-latin; \tmso-hansi-font-family:Calibri; \tmso-hansi-theme-font:minor-latin;} --><\/p>\n<ul>\n<li> <a href=\"http:\/\/www.etaps.org\/2013\/tacas13\">TACAS 2013<\/a>, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy, March 16-24, 2013.<\/li>\n<\/ul>\n<ul>\n<li>SMC 2013, 1st International Workshop on Statistical Model Checking, Rennes, France, 2013 (co-chair)<\/li>\n<li><a href=\"http:\/\/www.it.uu.se\/conf\/RP2013\/\">RP 2013<\/a>, 7th International Workshop on Reachability Problems, Uppsala, Sweden, 25-27 September, 2013.<\/li>\n<li><a href=\"http:\/\/grammars.grlmc.com\/lata2013\/\">LATA 2013<\/a>, Conference on theoretical Computer Science and its Applications, Bilbao, Spain, April 2-5, 2013.<\/li>\n<li><a href=\"http:\/\/ictac2013.ecnu.edu.cn\/\">ICTAC 2013<\/a>, 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China, September 4-6, 2013.<\/li>\n<li><a href=\"http:\/\/forte13.sosy-lab.org\/\">FORTE 2013<\/a>, IFIP Joint International Conference on Formal Techniques for Distributed Systems, Florence, Italy, June 3-6, 2013.<\/li>\n<li><a href=\"http:\/\/hscc2013.hscc-conference.org\/\">HSCC 2013<\/a>, Hybrid Systems: Computation and Control, Philadelphi, USA, April 8-11, 2013.<\/li>\n<li><a href=\"http:\/\/www.concur-conferences.org\/concur2013\/\">CONCUR 2013<\/a>, 24st International Conference on Concurrency Theory, Buenos Aires, Argentina, August 27-30, 2013.<\/li>\n<li><a href=\"http:\/\/aisos.cs.aau.dk\/\">AiSOS 2013<\/a>, Workshop on Advances in Systems of Systems, Rome, March 16, 2013 (co-Chair)<\/li>\n<li>FSEN 2013,\u00a0 IPM\u00a0International\u00a0Conference\u00a0on Fundamentals\u00a0of\u00a0Software\u00a0Engineering\u00a0(FSEN\u00a02013), Tehran, 24-26\u00a0April\u00a02011.<\/li>\n<li><a href=\"http:\/\/movep.lif.univ-mrs.fr\/index.php\">MOVEP 2012<\/a>, 10th School on Modelling and Verifying Parallel Processes, CIRM, Marseille, France, December 3-7, 2012.<\/li>\n<li><a href=\"http:\/\/www.jaist.ac.jp\/icfem2012\/\">ICFEM 2012<\/a>, International Conference on Formal Engineering Methods, Kyoto, Japan, November 12-16, 2012.<\/li>\n<li><a href=\"http:\/\/www.iiitb.ac.in\/ictac\/\">ICTAC 2012<\/a>,  10th version of the International  \t\t\t\t\t\tColloquium on Theoretical  Aspects of Computing, Bangalore, India, September 24-27, 2012.<\/li>\n<li><a href=\"http:\/\/www2.warwick.ac.uk\/fac\/cross_fac\/dimap\/events\/formats2012\/\">FORMATS 2012<\/a>, 10th International Conference on Formal Modeling and Analysis of Timed Systems, 2012.<\/li>\n<li><a href=\"18th International Symposium on Formal Methods, to be held in Paris, France, August 27-31 2011\">FM 2012,<\/a> 18th International Symposium on Formal Methods,\u00a0 Paris, France, August 27-31 2012.<\/li>\n<li><a href=\"http:\/\/www.adhs12.org\/\">ADHS 2012<\/a>, 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 4-8, 2012.<\/li>\n<li><a href=\"http:\/\/hscc12.hscc-conference.org\/home\">HSCC 2012<\/a>, 15th International\u00a0Conference\u00a0on\u00a0Hybrid\u00a0Systems:\u00a0Computation\u00a0&amp; Control, April, Beijing, 2012.<\/li>\n<li><a href=\"http:\/\/fit2012.pst.ifi.lmu.de\/\">FIT 2012<\/a>, 4th International Workshop on Foundations of Interface Technologies (satellite workshop of ETAPS 2012), Tallinn, Estonia, March 25, 2012.<\/li>\n<li><a href=\"http:\/\/react.cs.uni-saarland.de\/iWIGP2012\/\">IWIGP 2012<\/a>, International Workshop on Interactions, Games and Protocols (satellite workshop of ETAPS 2012), Tallinn, Estonia, March 25, 2012.<\/li>\n<li><a href=\"http:\/\/www.etaps.org\/2012\/tacas\">TACAS 2012<\/a>, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, March 24- April 1, 2012.<\/li>\n<li><a href=\"http:\/\/www.fsttcs.org\/\">FSTTCS2011<\/a>, 31st Foundations of Software Technology and Theoretical Computer Science conference (FSTTCS 2011), to be held in IIT Bombay, Mumbai from Dec 12, 2011 to Dec 14, 2011.<\/li>\n<li><a href=\"http:\/\/www.splc2011.net\/workshops\/fmsple-2011\/index.html\">FMSSPLE 2011<\/a>, 2nd International Workshop on Formal Methods and Analysis in Software Product Lines, Munich, Germany, Augst 21-26, 2011.<\/li>\n<li><a href=\"http:\/\/www.csdm2011.csdm.fr\/\">CSDM2011<\/a>, Complex Systems Desing and Management 2011, Paris, France, Dec 7-9, 2011.<\/li>\n<li><a href=\"http:\/\/www.scm.tees.ac.uk\/icfem2011\/\">ICFEM2011<\/a>, 13th International Conference on Formal Engineering Methods 25th\u201428th October 2011, Durham, United Kingdom<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/2011rv\/\">RV 2011<\/a>, 2nd International Conference on Run-Time Verification, Berkeley, U.S.A., 27-30 September, 2011.<\/li>\n<li>FSPLE11, 2nd International Workshop on Formal Methods in Software Product Line Engineering.<\/li>\n<li><a href=\"http:\/\/www.esweek.org\/\">EMSOFT 2011<\/a>, 1th International Conference on Embedded Software, Taipei, Taiwan, October 9-14, 2011.<\/li>\n<li><a href=\"http:\/\/events.fortiss.org\/fmics2011\/\">FMICS 2011<\/a>, 16th International Workshop on Formal Methods for Industrial Critical Systems, Trento (Italy), August 29-30, 2011.<\/li>\n<li><a href=\"http:\/\/www.mrtc.mdh.se\/nwpt2011\/\">NWPT 2011<\/a>, 23rd Nordic Workshop on Programming Theory, Vesteraas, Sweden, October 26-28, 2011.<\/li>\n<li><a href=\"https:\/\/es.fbk.eu\/events\/ssv2011\/index.php\">SSV 2011<\/a>, 6th International Workshop on System Software Verification, Nijmegen, The Netherlands, August 26-27, 2011.<\/li>\n<li><a href=\"http:\/\/icaps11.informatik.uni-freiburg.de\/\">VVPS 2011<\/a>,\u00a0 3rd ICAPS Validation and Verification of Planningand Scheduling Systems.<\/li>\n<li>CAV 2011, 23rd conference on Computer Aided Verification, Snowbird, Utah,July 13-19, 2011.<\/li>\n<li><a href=\"http:\/\/psi.nsc.ru\/\">PSI 2011<\/a>, Ershov Informatics Conference, \u00a0Novosibirsk, Akademgorodok, Russia, 27 &#8211; July, 1, 2011.<\/li>\n<li><a href=\"http:\/\/www.lero.ie\/fm2011\">FM 2011<\/a>, 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-14, 2011.<\/li>\n<li><a href=\"http:\/\/ti.arc.nasa.gov\/nfm\">NFM 2011<\/a>, the 3rd NASA Formal Methods Symposium, mid April 2011 in Pasadena, California (Los Angeles County), USA.<\/li>\n<li><a href=\"http:\/\/cs.ipm.ac.ir\/fsen09\/\">FSEN 2011<\/a>, IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 20-22 April 2011.<\/li>\n<li><a href=\"http:\/\/www.etaps.org\/2011\/\">TACAS 2011<\/a>, Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 26-April 3, Saarbr\u00fccken, 2011.<\/li>\n<li><a href=\"http:\/\/react.cs.uni-saarland.de\/iWIGP2011\/\">IWIGP 2011<\/a>, International Workshop on Interactions, Games and Protocols.<\/li>\n<li><a href=\"http:\/\/www.usenix.org\/events\/ssv10\/\">SSV 2010<\/a>, 5th International Workshop on Systems Software Verification, Vancouver, Canada, October 6-7, 2010.<\/li>\n<li><a href=\"http:\/\/concur2010.inria.fr\/\">CONCUR 2010<\/a>, 21st International Conference on Concurrency Theory, Paris, France, August 31-September\u00a0 3, 2010.<\/li>\n<li><a href=\"http:\/\/www.csdm2010.csdm.fr\/\">CSDM 2010<\/a>, Complex Systems Design &amp; Management, October 27-29, Paris, 2010.<\/li>\n<li><a href=\"http:\/\/www.artist-embedded.org\/artist\/Overview,2079.html\">FIT 2010<\/a>, Foundations of Interface Technologies, Paris, France (associated with CONCUR 2010), August 30th, 2010<\/li>\n<li><a href=\"http:\/\/pub.ist.ac.at\/formats2010\/\">FORMATS 2010<\/a>, The 8th International Conference on Formal Modelling and Analysis of Timed Systems, IST Austria, Klosterneuburg, Austria, 8-10 September, 2010<\/li>\n<li><a href=\"http:\/\/hscc10.it.uu.se\/\">HSCC 2010<\/a>, 13th ACM International Conference on Hybrid Systems: Computation and Control, Stockholm, Sweden, April 12-16, 2010.<\/li>\n<li><a href=\"http:\/\/www.qest.org\/qest2010\/\">QEST 2010<\/a>, 7th International Conference on Quantitative Evaluation of SysTems, Williamsburg, Virginia, USA at the College of William &amp; Mary, Computer Science Department, September 15 &#8211; 18, 2010.<\/li>\n<li><a href=\"https:\/\/research.it.abo.fi\/nwpt10\/\">NWPT 2010<\/a>, The 22nd Nordic Workshop on Programming Theory &#8211; NWPT &#8217;10, 10-12 November 2010, Turku, Finland<\/li>\n<li><a href=\"http:\/\/www.ecsi.org\/date-2010-conference\">DATE 2010<\/a>, Model Based Design of Embedded Systems Track, March 8-12, Dresden, Germany, 2010<\/li>\n<li><a href=\"http:\/\/rv2010.org\/\">RV 2010<\/a>, First International Conference on Runtime Verification, November 1-4, Malta, 2010.<\/li>\n<li><a href=\"http:\/\/www.etaps10.cs.ucy.ac.cy\/\">TACAS 2010<\/a>: Tools and Algorithms for the Construction and Analysis of Systems, March 20-28, Paphos, Cyprus, 2010.<\/li>\n<li><a href=\"http:\/\/pages.usherbrooke.ca\/abzconference\/workshops.php\">WS-TBFM<\/a>, Workshop on Tool Building in Formal Methods, \u00a0Orford, Quebec, Canada, Monday 22 February 2010.<\/li>\n<li><a href=\"http:\/\/www.rtss.org\/\">Design and Verification Track at RTSS 2010<\/a>, The 31st IEEE Real-Time Systems Symposium, November 30 &#8211; December 3, 2010, San Diego, CA, USA<\/li>\n<li>ICFEM2009 on Formal Engineering Methods. 12th  of December, 2009, in Rio de Janeiro, Brazil.<\/li>\n<li> <a href=\"http:\/\/www.sofsem.cz\/\">SOFSEM09<\/a>: 35th Conference on Current Trends in  Theory and Practice of Computer Science, January 24-30,\u00a0 2009, Spindleruv  Mlyn, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.qest.org\/\">QEST09<\/a>: International Conference on the Quantitative Evaluation of Systems,  September 2009 in Budapest, Hungary.<\/li>\n<li>ICALP&#8217;09:  International Colloquium on Automata,  Languages and Programming, July 2009, Rhodos, Greecel.<\/li>\n<li><a href=\"http:\/\/www.emsoft.org\/\">EMSOFT&#8217;08:<\/a> International Conference on Embedded Systems, Atlanta,  Georgia, USA, October 19-24, 2008.<\/li>\n<li> <a href=\"http:\/\/conferences.computer.org\/compsac\/2008\/workshops\/CORCS2008.html\">CORCS&#8217;08<\/a>:  1st IEEE International Workshop on  Component-Based Design of Resource-Constrained Systems, Turku, Finland, July 28  &#8211; August 1, 2008.<\/li>\n<li> <a href=\"http:\/\/compilers.cs.ucla.edu\/spin08\/\">SPIN&#8217;08:<\/a> 15th International  SPIN Workshop on Model Checking of Software, August 10-12, 2008, Los Angeles,  USA.<\/li>\n<li><a href=\"http:\/\/www.wodes2008.org\/\">WODES&#8217;08<\/a>: 9th International Workshop on Discrete Event Systems,  G\u00f6teborg, Sweden, May 28-30, 2008.<\/li>\n<li><a href=\"http:\/\/www.cs.stonybrook.edu\/%7Etacas2008\/\">TACAS&#8217;08<\/a>: 14th International Conference on Tools and Algorithms for  the Construction and Analysis of Systems, Budapest, Hungary, March 29 &#8211; April 6,  2008.<\/li>\n<li><a href=\"http:\/\/www.cse.yorku.ca\/concur08\/\">CONCUR&#8217;08<\/a>: 19th International Conference on Concurrency Theory,  Toronto, Canada, August 19-22, 2008.<\/li>\n<li> <a href=\"http:\/\/www.univ-orleans.fr\/lifo\/Manifestations\/MOVEP08\/\">MOVEP&#8217;08<\/a>: 8th School on MOdelling and VErifying parallel Processes,  Orl\u00e9ans, France, June 23-27, 2008.<\/li>\n<li><a href=\"http:\/\/www.fsttcs.org\/\">FSTTCS&#8217;07<\/a>:  Foundations of Software Technology and Theoretical Computer Science. New Delhi,  12-14 December 2007.<\/li>\n<li> <a href=\"http:\/\/www2.informatik.hu-berlin.de\/rok\/epew2007\/\">EPEW&#8217;07<\/a>: 4th  European Performance Engineering Workshop, Berilin, 27-28 September 2007,  Germany<\/li>\n<li> <a href=\"http:\/\/www2.informatik.hu-berlin.de\/lics\/lics07\/\">LICS&#8217;07<\/a>:  Twenty-Second Annual IEEE Sympositum on Logic in Computer Science, 10-14 July,  Wroclaw, Poland.<\/li>\n<li> <a href=\"http:\/\/www.doc.ic.ac.uk\/tacas07\/\">TACAS07<\/a>: Thirteenth International Conference on Tools and Algorithms for the  Construction and Analysis of Systems, 24 March &#8211; 1 April, Braga, Portugal, 2007.<\/li>\n<li> <a href=\"http:\/\/www.cs.cas.cz\/sofsem\/07\/\">SOFSEM&#8217;07<\/a>: 33rd International Conference on Current Trends in Theory and  Practice of Computer Science, Foundations of Computer Science track, Janaury  20-26, 2007, Harrachov, Czech Republic.<\/li>\n<li><a href=\"http:\/\/webspn.hit.bme.hu\/%7Eepew2006\/\">EPEW&#8217;06<\/a>: 3rd  European Performance Engineering Workshop, Budagpest, 21-22 June 2006, Hungary.<\/li>\n<li> <a href=\"http:\/\/depend.cs.uni-sb.de\/index.php?id=355\">CONCUR&#8217;06: <\/a>The 17th  International Conference on Concurrency Theory, August 27-30, 2006, Bonn,  Germany. See also pictures from <a href=\"..\/..\/..\/%7Ekgl\/CONCUR06\">soccer match.<\/a><\/li>\n<li> <a href=\"http:\/\/www.iist.unu.edu\/SEFM06\/\">SEFM&#8217;06:<\/a> 4th IEEE International Conference on Software Engineering and  Formal Methods, September 11-15, 2006, Pune, India.<\/li>\n<li><a href=\"http:\/\/hscc06.csl.sri.com\/\">HSCC&#8217;06<\/a>, Hybrid Systems: Computation and Control, Santa Barbara, California, March 29-31, 2006.<\/li>\n<li> <a href=\"http:\/\/litpc24.ulb.ac.be\/movep\/\">MOVEP&#8217;06<\/a>,  Modelling and Verification of Parallel Processes, June 19-23, Bordeaux, France, 2006.<\/li>\n<li> <a href=\"http:\/\/www.iceis.org\/workshops\/msvveis\/msvveis2006-cfp.html\">MSVVEIS&#8217;06<\/a>,  the Fourth Ingternational Workshop on Modelling, Simulation, Verification and  Validation of Enterprise Information Systems, May 23-24, Paphos, Cyprus, 2006.<\/li>\n<li> <a href=\"http:\/\/www.complang.tuwien.ac.at\/etaps06\/\">TACAS&#8217;06<\/a>. 11th  International Conference on Tools and Algorithms for the Construction and  Analysis of Systems, March 25-April 2, 2006, Vienna, Austria.<\/li>\n<li><a href=\"http:\/\/www.qest.org\/\">QEST&#8217;06<\/a>, 2nd  International Conference on the Quantitative Evaluation of Systems, Riverside,  California, on September 2006.<\/li>\n<li><a href=\"http:\/\/www.diee.unica.it\/adhs06\"> ADHS&#8217;06: <\/a>the 2nd IFAC conference on the Analysis and Design of Hybrid Systems, that will be held in Alghero (Sardinia, Italy) on June 7-9, 2006.<\/li>\n<li> <a href=\"http:\/\/www.soe.ucsc.edu\/concur05\/\">CONCUR 2005<\/a>, 16th International Conference on Concurrency Theory, San Francisco, California, 23-26 August 2005.<\/li>\n<li> <a href=\"http:\/\/planning.cis.strath.ac.uk\/vvpsws\/\">VVPS05<\/a>, 1st Workshop on Verification and Validation of       Model-Based Planning and Scheduling Systems, Monterey, California, USA, 6-7 June 2005<\/li>\n<li><a href=\"http:\/\/icalp05.di.fct.unl.pt\/\">ICALP 2005<\/a>, International Colloquium on Automata, Languages and Programming, July 11-15, 2005, Lisboa, Portugal.<\/li>\n<li><a href=\"http:\/\/www.it.uu.se\/formats05\/\">FORMATS&#8217;05<\/a>, 3rd International Conference on Formal Modelling and Analysis of Timed Systems, September 26-28, Uppsala, Sweden.<\/li>\n<li> <a href=\"http:\/\/www.iasted.org\/conferences\/2005\/innsbruck\/se.htm\">SE2005<\/a>, IASTED International Conference on Software Engineering, Innsbruck, Austria, February 15-17, 2005.<\/li>\n<li> <a href=\"http:\/\/www.cs.ucla.edu\/%7Erupak\/gdv2005.htm\">GDV&#8217;05<\/a>: Games in Design  and Verification, July 12,. Edinburgh, Scotland, 2005.<\/li>\n<li> <a href=\"http:\/\/litpc24.ulb.ac.be\/movep\/\">MOVEP&#8217;04<\/a>,  Modelling and Verification of Parallel Processes, Dec.2004, Brussels, Belgium.<\/li>\n<li> <a href=\"http:\/\/www.info-ab.uclm.es\/epew2004\">EPEW<\/a>: First European Workshop on Performance Engineering, Sep. 30 &#8211; Oct. 2, 2004, Madrid, Spain.<\/li>\n<li><a href=\"http:\/\/www.qest.org\/\">QEST<\/a>. 1st International Conference on quantitative Evaluation of Systems, September 27-30, 2004, Twente University, The Netherlands.<\/li>\n<li><a href=\"http:\/\/ase.arc.nasa.gov\/rv2004\">RV&#8217;04<\/a>,  Fourth Workshop on Runtime Verification, April 3-4, 2004, Barcelona, Spain.<\/li>\n<li> <a href=\"http:\/\/www.univ-reims.fr\/wodes04\">WODES&#8217;04<\/a>, IFAC Workshop on Discrete Event Systems, Reims, France, on 22-24 September 2004.<\/li>\n<li> <a href=\"http:\/\/www.math.utu.fi\/ICALP04\/\">LICS&#8217;04<\/a>, Logic in Computer Science, Turku, Finland, July 14-17, 2004<\/li>\n<li> <a href=\"http:\/\/www.daimi.au.dk\/%7Ecpn\/tacas04\/\">TACAS 2004 <\/a>10th International conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 &#8211; april 2, 2004,\u00a0 Barcelona.<\/li>\n<li><a href=\"http:\/\/www.lirmm.fr\/stacs2004\">STACS&#8217;04<\/a>, 21st International Symposium on Theoretical Aspects of Computer Science, Montpellier, France<br \/>\nMarch 25-27, 2004<\/li>\n<li> <a href=\"http:\/\/www.abo.fi\/%7Ekaisa.sere\/15NWPT.html\">NWPT&#8217;03<\/a>, The 15th Nordic Workshop on Programming Theory, Aabo Akademi University, Turku, Finland, October 29-31, 2003<\/li>\n<li> <a href=\"http:\/\/www.cmi.univ-mrs.fr\/%7Eniebert\/FORMATS\/\">FORMATS 2003<\/a>, Formal Modeling and Analysis of Timed Systems, Marseile, September 6-7, 2003 (co-chair)<\/li>\n<li>Computer Aided Verification, <a href=\"http:\/\/www.cs.utexas.edu\/users\/trcenter\/CAV\/cav2003homepage.html\">CAV03<\/a>, Boulder, Colorado, U.S.A,, July 8-12, 2003.<\/li>\n<li><a href=\"http:\/\/concur03.univ-mrs.fr\/\">CONCUR 2003<\/a>, 2-6 September 2003, Marseille, France.<\/li>\n<li>Thirtieth International Colloquium on Automata, Languages and Programming, <a href=\"http:\/\/www.win.tue.nl\/icalp2003\/\">ICALP 2003<\/a>,\u00a0 Eindhoven, The Netherlands, June 30 &#8211; July 4, 2003<\/li>\n<li>Formal Methods and Models for Codesign, <a href=\"http:\/\/www.irisa.fr\/manifestations\/2003\/MEMOCODE\/\">MEMOCODE03<\/a>, Mont Saint-Michel, France, June 24-26, 2003.<\/li>\n<li>IFAC Conference on Analysis and Design of Hybrid Systems, <a href=\"http:\/\/www.supelec-rennes.fr\/adhs03\/\">ADHS03<\/a>, Saint-Malo, France, June 16-18, 2003.<\/li>\n<li>Hybrid Systems: Computation and Control, <a href=\"http:\/\/www-hscc03.imag.fr\/\">HCSS 2003<\/a>, Prague, the Czech Republic, April 3-5, 2003<\/li>\n<li>Tools and Algorithm for the Construction and Analysis of Systems, TACAS 2003.<\/li>\n<li>Nordic Workshop on Programming Theory, NWPT 2002.<\/li>\n<li>Computer Aided Verification, <a href=\"http:\/\/floc02.diku.dk\/CAV\/\">CAV 2002<\/a> (co-chair with Ed Brinksma)<\/li>\n<li>Workshop on Parallel and Distributed Model Checking, <a href=\"http:\/\/www.fi.muni.cz\/concur02\/PDMC\">PDMC<\/a> , 2002.<\/li>\n<li>Models for Time Critical Systems, <a href=\"http:\/\/www.informatik.uni-augsburg.de\/mtcs02\/\">MTCS 2002<\/a> (co-chair with Walter Vogler)<\/li>\n<li>Formal Techniques in Real-Time and Fault Tolerant Systems, <a href=\"http:\/\/www.informatik.uni-oldenburg.de\/ftrtft02\/\">FTRTFT 2002<\/a><\/li>\n<li>Modelling and Verification of Parallel Processes, MOVEP 2002.<\/li>\n<li>Workshop on Theory and Practice of Timed Systems, <a href=\"http:\/\/www-verimag.imag.fr\/%7Emaler\/TPTS.html\">TPTS<\/a> 2002<\/li>\n<li>Tools and Algorithm for the Construction and Analysis of Systems, <a href=\"http:\/\/www.dcs.ed.ac.uk\/tacas2002\/\">TACAS 2002<\/a><\/li>\n<li>Nordic Workshop on Programming Theory, NWPT 2001<\/li>\n<li>Workshop on Real-Time Tools, RT-TOOLS 2001<\/li>\n<li>Computer Aided Verification, CAV 2001<\/li>\n<li><a href=\"http:\/\/concur01.cs.auc.dk\/\">CONCUR 2001<\/a> (co-chair with Mogens Nielsen)<\/li>\n<li>Tools and Algorithms for the Construction and Analysis of Systems, <a href=\"http:\/\/www.disi.unige.it\/etaps2001\/TACAS\/\">TACAS 2001<\/a><\/li>\n<li> <a href=\"http:\/\/www.google.com\/url?sa=U&amp;start=2&amp;q=http:\/\/www-cad.eecs.berkeley.edu\/papm-probmiv2001\/&amp;e=42\"> PAPM-PROBMIV 2001<br \/>\n<\/a><\/li>\n<li>Automation of Mixed Processes: Hybrid Dynamic Systems, <a href=\"http:\/\/astwww.chemietechnik.uni-dortmund.de\/adpm2000\/\">ADPM2000<\/a><\/li>\n<li>The 7th International SPIN Workshop on Model Checking of Software, <a href=\"http:\/\/ase.arc.nasa.gov\/spin2000\">SPIN 2000<\/a><\/li>\n<li>Process Algebra and Performance Models, <a href=\"http:\/\/www.cs.unibo.it\/%7Ebravetti\/papm2000\/\">PAPM&#8217;2000<\/a><\/li>\n<li>Distributed System Validation and Verification, <a href=\"http:\/\/www.iis.sinica.edu.tw\/%7Eeric\/icdcs2k-dsvv\/\">DSVV&#8217;2000<\/a><\/li>\n<li>Tools and Algorithms for the Construction and Analysis of Systems, <a href=\"http:\/\/www-verimag.imag.fr\/TACAS2000\/\">TACAS&#8217;2000<\/a><\/li>\n<li>Logic in Computer Science, <a href=\"http:\/\/logik.mathematik.uni-freiburg.de\/lics\/currlics.html\">LICS&#8217;2000<\/a><\/li>\n<li>Computer Aided Verification, CAV&#8217;2000<\/li>\n<\/ul>\n<div id=\"_mcePaste\" style=\"overflow: hidden; position: absolute; left: -10000px; top: 0px; width: 1px; height: 1px;\">\n<pre>Shaz<\/pre>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>LICS 2016, ACM\/IEEE Symposium on Logic in Computer Science, New York City, July 5-8, 2016 TACAS&#8217;16, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of System VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, January 12-14, 2015, Mumbai, India (PC Chair) ATVA 2015, 13th International Symposium on [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":16,"menu_order":1,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-18","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/18","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=18"}],"version-history":[{"count":39,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/18\/revisions"}],"predecessor-version":[{"id":589,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/18\/revisions\/589"}],"up":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/16"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}