CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" > <head><title> FSEN 2013 </title><link href="FSEN13.css" rel="stylesheet" type="text/css" /><link rel="SHORTCUT ICON" href="http://fsen.ir/2013/favicon.ico" /> <script type="text/javascript"> window.onload = choosePic; var Index = 0; var MaxIndex = 140; //丕賳丿賷爻亘賳乇丕爻鬲讴賴丕夭氐賮乇卮乇賵毓賲蹖卮賵丿 function choosePic() { Index = Math.floor((Math.random() * MaxIndex)); document.getElementById("imgBanner").src = "Images/Banner" + Index + ".jpg"; setTimeout(choosePic, 30 * 1000); } </script> </head> <body style="margin:0px; background-color:#404040;"> <form name="aspnetForm" method="post" action="./" id="aspnetForm"> <div> <input type="hidden" name="ctl00_ScriptManager1_HiddenField" id="ctl00_ScriptManager1_HiddenField" value="" /> <input type="hidden" name="__EVENTTARGET" id="__EVENTTARGET" value="" /> <input type="hidden" name="__EVENTARGUMENT" id="__EVENTARGUMENT" value="" /> <input type="hidden" name="__VIEWSTATE" id="__VIEWSTATE" value="/wEPDwUJMjY4MzY3NzQ5D2QWAmYPZBYCAgMPZBYCAgMPZBYCAgMPZBYEZg9kFgYCIQ8UKwACZBAWABYAFgBkAiMPFCsAAmQQFgAWABYAZAIlDxQrAAJkEBYAFgAWAGQCAQ9kFgICAQ9kFgICCw8UKwACZBAWABYAFgBkZNHIToKVy9GGCBTLG79znnn0wvkQZedMKHXBLDBq6cqQ" /> </div> <script type="text/javascript"> //<![CDATA[ var theForm = document.forms['aspnetForm']; if (!theForm) { theForm = document.aspnetForm; } function __doPostBack(eventTarget, eventArgument) { if (!theForm.onsubmit || (theForm.onsubmit() != false)) { theForm.__EVENTTARGET.value = eventTarget; theForm.__EVENTARGUMENT.value = eventArgument; theForm.submit(); } } //]]> </script> <script src="/WebResource.axd?d=HD2ue_hiLFhMXZix75wYhUnEEBzr44lU2L5vieJKmk02evopGTF_Hm3_kN8DQhaiWzytGt7bmuVsHjWSzLmMsVjqQADH8JKLP5hkgMUS-vA1&t=638032433262994813" type="text/javascript"></script> <script src="/ScriptResource.axd?d=gn_JLH5Cha1-425QHQfojKqwRF2yiGmYI_JFPpiNSHA0VWGDAK8TzxLcebnZP9Jtc_19nycCWCx7LoHIR-aQ0qT6lQZWuqOHvy6K7eKdrSTSTVGqsQX88wLV31_7qh-GBRYB4YNoncETxu8squR298LOCXwFEUKvNmVCqk26v_NBth5ydDbDEVWVmbqx0bOZ0&t=ffffffffaa493ab8" type="text/javascript"></script> <script type="text/javascript"> //<![CDATA[ if (typeof(Sys) === 'undefined') throw new Error('ASP.NET Ajax client-side framework failed to load.'); //]]> </script> <script src="/ScriptResource.axd?d=3o_S9XSIkWlbbiFKUYaPAyXRgvqTnXyf6VjSseG8XLdvAYNonBnyMxeFZ2ZkUcmmcHikDrUDHD6_i6AsdRvIaNYiZokFHh5NMeEFAL66cxdh7NemrX891AnRflprrriySmlYw_QPeFjTs3Mh-qmZXnyEBXovEr4cuO5DAlUgGE5nivwqyFklvux8k25yUfGx0&t=ffffffffaa493ab8" type="text/javascript"></script> <div> <input type="hidden" name="__VIEWSTATEGENERATOR" id="__VIEWSTATEGENERATOR" value="A0C2F1DE" /> <input type="hidden" name="__PREVIOUSPAGE" id="__PREVIOUSPAGE" value="pZw22hu11y2g3tR8_hrkqgEQjLO2Ne3DQ46c294PVDnazsb-PO3T6uXfTquhA9eq-BWN6gqld-08QoebAeBXGh4qeA20K8WXWC0vFh_y7NQ1" /> </div> <script type="text/javascript"> //<![CDATA[ Sys.WebForms.PageRequestManager._initialize('ctl00$ScriptManager1', 'aspnetForm', [], [], [], 90, 'ctl00'); //]]> </script> <table id="ctl00_Table1" class="NormalText" cellspacing="0" cellpadding="0" align="Center" border="0" style="border-color:LightCyan;border-width:0px;width:1000px;border-collapse:collapse;"> <tr> <td style="width:220px;"></td><td style="width:780px;"></td> </tr><tr> <td colspan="2"><table cellspacing="0" cellpadding="0" border="0" style="background-color:#094D95;border-color:White;border-width:0px;width:100%;border-collapse:collapse;"> <tr> <td align="center" style="width:650px;"> 5th IPM International Conference on Fundamentals of Software Engineering (FSEN 2013) 24 - 26 April, 2013 Tehran, Iran </td><td align="center" valign="middle"><img src="Images/IPMLogo.png" style="border-width:0px;" /></td> </tr> </table></td> </tr><tr> <td colspan="2" style="height:250px;">  <img src="" id="imgBanner" width="1000px" height="250px" alt=""/> </td> </tr><tr style="height:600px;"> <td align="center" valign="top" style="background-color:#094D95;width:220px;">  <div id="ctl00_Panel1" style="background-color:#9BC6F4;height:17px;"> </div> <a id="ctl00_LinkButton8" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton8", "", false, "", "Default.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Home</a> <a id="ctl00_LinkButton2" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton2", "", false, "", "Default.aspx#TopicsofInterest", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Topics of Interest</a> <a id="ctl00_LinkButton3" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton3", "", false, "", "Default.aspx#CallForPapers", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Paper Submission</a> <a id="ctl00_LinkButton4" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton4", "", false, "", "Default.aspx#Proceedings", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Proceedings</a> <a id="ctl00_LinkButton5" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton5", "", false, "", "Default.aspx#ImportantDates", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Important Dates</a> <a id="ctl00_LinkButtonKeynoteSpeakers" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonKeynoteSpeakers", "", false, "", "KeynoteSpeakers.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Keynote Speakers</a> <a id="ctl00_LinkButton7" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButton7", "", false, "", "Default.aspx#Committees", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Committees</a> <a id="ctl00_LinkButtonProgramme" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonProgramme", "", false, "", "Programme.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Programme</a> <a id="ctl00_LinkButtonRegistration" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonRegistration", "", false, "", "Registration.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Registration</a> <a id="ctl00_LinkButtonVisa" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonVisa", "", false, "", "Visa.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Visa</a> <a id="ctl00_LinkButtonTravelInfo" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonTravelInfo", "", false, "", "TravelInfo.aspx", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">Travel Info</a> <a id="ctl00_LinkButtonGuestBook" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonGuestBook", "", false, "", "Guestbook.aspx", false, true))" style="color:White;text-decoration:none;">Guestbook</a> <a id="ctl00_LinkButtonContactUs" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$LinkButtonContactUs", "", false, "", "ContactUs.aspx", false, true))" style="color:White;text-decoration:none;">Contact Us</a> <a id="ctl00_OfficialHomeLink" href="javascript:WebForm_DoPostBackWithOptions(new WebForm_PostBackOptions("ctl00$OfficialHomeLink", "", false, "", "http://fsen.ir", false, true))" style="color:White;font-family:Tahoma;font-size:13px;font-weight:normal;text-decoration:none;">FSEN Homepage</a> In cooperation with: <img id="ctl00_ImageMap2" src="Images/ifip.gif" usemap="#ImageMapctl00_ImageMap2" style="border-width:0px;" /><map name="ImageMapctl00_ImageMap2" id="ImageMapctl00_ImageMap2"> <area shape="rect" coords="0,0,150,63" href="http://www.ifip.or.at" target="_blank" title="" alt="" /><area shape="rect" coords="0,65,150,90" href="http://www.irisa.fr/s4/wg22" target="_blank" title="" alt="" /> </map> <img id="ctl00_ImageMap1ss" src="Images/ACM-In-Cooperation_small.jpg" usemap="#ImageMapctl00_ImageMap1ss" style="border-width:0px;width:150px;" /><map name="ImageMapctl00_ImageMap1ss" id="ImageMapctl00_ImageMap1ss"> <area shape="rect" coords="0,0,150,49" href="http://www.acm.org" target="_blank" title="" alt="" /> </map> <img id="ctl00_ImageMap1" src="Images/SigsoftLogo.png" usemap="#ImageMapctl00_ImageMap1" style="border-width:0px;width:100px;" /><map name="ImageMapctl00_ImageMap1" id="ImageMapctl00_ImageMap1"> <area shape="rect" coords="0,0,150,49" href="http://www.sigsoft.org" target="_blank" title="" alt="" /> </map> </td><td align="center" valign="top" style="background-color:White;background-image:url(Images/B4.gif);"><div style="background-color:#9BC6F4;height:17px;vertical-align:middle;"> <a id="ctl00_HyperLink1" href="http://fsen.ir/2005/" target="_blank" style="color:White;">FSEN'05</a>  |  <a id="ctl00_HyperLink2" href="http://fsen.ir/2007" target="_blank" style="color:White;">FSEN'07</a>  |  <a id="ctl00_HyperLink3" href="http://fsen.ir/2009" target="_blank" style="color:White;">FSEN'09</a>  |  <a id="ctl00_HyperLinkc3" href="http://fsen.ir/2011" target="_blank" style="color:White;">FSEN'11</a>  |  <a href="http://fsen.ir" target="_blank" style="color:White;">FSEN Homepage</a> </div> <div style="text-align:justify;padding:10px;" class="NormalText"> News <ul> <li><a href="http://link.springer.com/book/10.1007/978-3-642-29320-7/page/1" target="_blank">FSEN 2011 proceedings</a>, published in 2012, have been one of the top 50% most downloaded eBooks in the relevant Springer eBook Collection in 2012, according to a recent report from Springer.</li> <li>FSEN 2013 post-proceedings will soon be published as LNCS 8161.</li> <li>Conference program is available.</li> <li>Deadline Extension -Abstract Submission: October 19, 2012    Extended for 2 weeks: November 2, 2012 -Paper Submission:     October 26, 2012    Extended for 2 weeks: November 9, 2012 </li> <li>The FSEN'13 official website is up now.</li> </ul> About FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry, who work in every area of formal methods. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN events in 2005, 2007, 2009, and 2011, the next event in the FSEN series will take place in Tehran, Iran, April 24-26, 2013.  <img id="ctl00_PlaceHolderContent_ImagePoster" src="Images/FSEN2013-Poster-tmb.jpg" usemap="#ImageMapctl00_PlaceHolderContent_ImagePoster" style="width:200px;border-width:0px;border:1px solid black;" /><map name="ImageMapctl00_PlaceHolderContent_ImagePoster" id="ImageMapctl00_PlaceHolderContent_ImagePoster"> <area shape="rect" coords="0,0,200,300" href="Images/FSEN2013-Poster-Medium.jpg" target="_blank" title="" alt="" /> </map> <a id="ctl00_PlaceHolderContent_LinkButton3" Name="TopicsofInterest" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton3','')"></a> Topics of Interest The topics of this conference include, but are not restricted to, the following: <img id="ctl00_PlaceHolderContent_Image40" src="Images/Circle.gif" style="border-width:0px;" /> Models of programs and systems <img id="ctl00_PlaceHolderContent_Image41" src="Images/Circle.gif" style="border-width:0px;" /> Software specification, validation and verification <img id="ctl00_PlaceHolderContent_Image42" src="Images/Circle.gif" style="border-width:0px;" /> Software architectures and their description languages <img id="ctl00_PlaceHolderContent_Image43" src="Images/Circle.gif" style="border-width:0px;" /> Object and multi-agent systems <img id="ctl00_PlaceHolderContent_Image44" src="Images/Circle.gif" style="border-width:0px;" /> Coordination and feature interaction <img id="ctl00_PlaceHolderContent_Image45" src="Images/Circle.gif" style="border-width:0px;" /> Integration of formal and informal methods <img id="ctl00_PlaceHolderContent_Image46" src="Images/Circle.gif" style="border-width:0px;" /> Integration of different formal methods <img id="ctl00_PlaceHolderContent_Image47" src="Images/Circle.gif" style="border-width:0px;" /> Component-based development <img id="ctl00_PlaceHolderContent_Image48" src="Images/Circle.gif" style="border-width:0px;" /> Service-oriented development <img id="ctl00_PlaceHolderContent_Image49" src="Images/Circle.gif" style="border-width:0px;" /> Model checking and theorem proving <img id="ctl00_PlaceHolderContent_Image50" src="Images/Circle.gif" style="border-width:0px;" /> Software and hardware verification <img id="ctl00_PlaceHolderContent_Image51" src="Images/Circle.gif" style="border-width:0px;" /> CASE tools and tool integration <img id="ctl00_PlaceHolderContent_Image52" src="Images/Circle.gif" style="border-width:0px;" /> Application to industrial cases <img id="ctl00_PlaceHolderContent_Image53" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink4" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> <a id="ctl00_PlaceHolderContent_LinkButton4" Name="CallForPapers" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton4','')"></a> Paper Submission The length of each paper including figures and references must not exceed 15 pages and should conform to the <a href="http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0">Springer LNCS style</a>. All papers must be submitted in PDF or postscript format through the <a target="_blank" href="https://www.easychair.org/account/signin.cgi?conf=fsen2013">EasyChair</a> conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed. <img id="ctl00_PlaceHolderContent_Image5056" src="Images/Circle.gif" style="border-width:0px;" /> You can submit your papers/abstracts via the following link: <a target="_blank" href="https://www.easychair.org/account/signin.cgi?conf=fsen2013">https://www.easychair.org/account/signin.cgi?conf=fsen2013</a> <img id="ctl00_PlaceHolderContent_Image54" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink40" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> <a id="ctl00_PlaceHolderContent_LinkButton5" Name="Proceedings" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton5','')"></a> Proceedings The post-proceedings of FSEN'13 will be published by Springer Verlag in the LNCS series (to be confirmed). There will also be a pre-proceeding for the accepted papers, printed locally by IPM. This pre-proceeding will be made available at the conference. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FSEN'13. Selected participants will be invited to submit an extended version of their papers after the conference. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. The proceedings of FSEN'07, FSEN'09, and FSEN'11 were published in the LNCS series. A special issue of Science of Computer Programming was published (SCP 77(7-8), 2012), containing the extended versions of a selection of papers of FSEN'09. A special issue of Fundamenta Informaticae was published, containing the extended versions of a selection of papers of FSEN'07. The proceedings of FSEN'05 was published in the ENTCS series: ENTCS 159 (2006). Two special issues were published containing the extended versions of a selection of papers of FSEN'05 in Fundamenta Informaticae (FI, vol. 82, 2008) and in Journal of Universal Computing (J.UCS, 13(13), 2007). <img id="ctl00_PlaceHolderContent_Image55" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink41" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> <a id="ctl00_PlaceHolderContent_LinkButton6" Name="ImportantDates" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton6','')"></a> Important Dates <table id="ctl00_PlaceHolderContent_Table1" class="NormalText" border="0"> <tr style="height:20px;"> <td style="width:200px;"><img id="ctl00_PlaceHolderContent_Image58" src="Images/Circle.gif" style="border-width:0px;" /> Abstract Submission: </td><td>October 19, 2012 Extended for 2 weeks: November 2, 2012 </td> </tr><tr style="height:20px;"> <td style="width:200px;"><img id="ctl00_PlaceHolderContent_Image59" src="Images/Circle.gif" style="border-width:0px;" /> Paper Submission: </td><td>October 26, 2012 Extended for 2 weeks: November 9, 2012 </td> </tr><tr style="height:20px;"> <td style="width:200px;"><img id="ctl00_PlaceHolderContent_Image60" src="Images/Circle.gif" style="border-width:0px;" /> Notification: </td><td>December 14, 2012 </td> </tr><tr style="height:20px;"> <td style="width:200px;"><img id="ctl00_PlaceHolderContent_Image77" src="Images/Circle.gif" style="border-width:0px;" /> Camera Ready: </td><td>January 11, 2013 </td> </tr><tr style="height:20px;"> <td style="width:200px;"><img id="ctl00_PlaceHolderContent_Image62" src="Images/Circle.gif" style="border-width:0px;" /> Conference: </td><td>April 24-26, 2013 </td> </tr> </table> <img id="ctl00_PlaceHolderContent_Image56" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink42" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> <a id="ctl00_PlaceHolderContent_LinkButton7" Name="KeynoteSpeakers" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton7','')"></a> Keynote Speakers <img id="ctl00_PlaceHolderContent_Image29sd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink29sd" class="NormalText" href="http://formal.cs.uiuc.edu/meseguer/" target="_blank">Jose Meseguer - University of Illinois at Urbana-Champaign, USA</a> <img id="ctl00_PlaceHolderContent_Image29sssd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink29sssd" class="NormalText" href="https://www2.informatik.hu-berlin.de/top/www/mitarbeiter/wolfgang_reisig" target="_blank">Wolfgang Reisig - Humboldt-Universit盲t zu Berlin, Germany</a> <img id="ctl00_PlaceHolderContent_Image1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink1" class="NormalText" href="http://depend.cs.uni-sb.de/index.php?id=166" target="_blank">Holger Hermanns - Saarland University, Germany</a>   <a id="ctl00_PlaceHolderContent_HyperLink2" href="KeynoteSpeakers.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Click for details</a> <img id="ctl00_PlaceHolderContent_Image57" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink43" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> <a id="ctl00_PlaceHolderContent_LinkButton8" Name="Committees" href="javascript:__doPostBack('ctl00$PlaceHolderContent$LinkButton8','')"></a> General Chair <img id="ctl00_PlaceHolderContent_Image29" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink29" class="NormalText" href="http://www.ipm.ac.ir/personalinfo.jsp?PeopleCode=IP0200021" target="_blank">Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran</a> <img id="ctl00_PlaceHolderContent_Image63" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink44" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> Program Chairs <img id="ctl00_PlaceHolderContent_Image30" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink30" class="NormalText" href="http://homepages.cwi.nl/~farhad" target="_blank">Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image31" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink31" class="NormalText" href="http://ece.ut.ac.ir/msirjani" target="_blank">Marjan Sirjani - Reykjav铆k University, Iceland; University of Tehran, Iran</a> <img id="ctl00_PlaceHolderContent_Image64" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink45" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> Publicity Chair <img id="ctl00_PlaceHolderContent_Image30sd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink30fe" class="NormalText" href="http://www.inrialpes.fr/vasy/people/Gwen.Salaun/" target="_blank">Gwen Salaun - Inria, France</a> <img id="ctl00_PlaceHolderContent_Image64sd" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink45sd" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> Steering Committee <img id="ctl00_PlaceHolderContent_Image32" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink32" class="NormalText" href="http://homepages.cwi.nl/~farhad" target="_blank">Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image34" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink34" class="NormalText" href="http://web.informatik.uni-bonn.de/I/baier/staff/baier/Christel%20Baier.html" target="_blank">Christel Baier - University of Dresden, Germany </a> <img id="ctl00_PlaceHolderContent_Image35" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink35" class="NormalText" href="http://homepages.cwi.nl/~frb" target="_blank">Frank de Boer - CWI, Netherlands; Leiden University, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image36" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink36" class="NormalText" href="http://sharif.edu/~movaghar" target="_blank">Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran </a> <img id="ctl00_PlaceHolderContent_Image37" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink37" class="NormalText" href="http://www.ipm.ac.ir/IPM/people/personalinfo.jsp?PeopleCode=IP0200021" target="_blank">Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran </a> <img id="ctl00_PlaceHolderContent_Image33" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink33" class="NormalText" href="http://ece.ut.ac.ir/msirjani" target="_blank">Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran </a> <img id="ctl00_PlaceHolderContent_Image38" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink38" class="NormalText" href="http://homepages.cwi.nl/~janr" target="_blank">Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image65" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink46" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> Program Committee <img id="ctl00_PlaceHolderContent_Imageqw200" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLinkqw700" class="NormalText" href="http://webpages.iust.ac.ir/azgomi/" target="_blank">Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran </a> <img id="ctl00_PlaceHolderContent_Image2" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink7" class="NormalText" href="http://osl.cs.uiuc.edu" target="_blank">Gul Agha - University of Illinois at Urbana - Champaign, USA </a> <img id="ctl00_PlaceHolderContent_Imageqw201" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLinkqw710" class="NormalText" href="http://www.cs.rug.nl/~aiellom/aiellom/Home.html" target="_blank">Marco Aiello - University of Groningen, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image3" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink8" class="NormalText" href="http://www.cwi.nl/~farhad" target="_blank">Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image33s" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink84s" class="NormalText" href="http://www.inf.tu-dresden.de/index.php?node_id=1467" target="_blank">Christel Baier - TU Dresden, Germany </a> <img id="ctl00_PlaceHolderContent_Image33sssd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink84sss" class="NormalText" href="http://staff.science.uva.nl/~janb/" target="_blank">Jan Bergstra - University of Amsterdam, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image33s12" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink84s12" class="NormalText" href="http://profs.sci.univr.it/~bonacina/" target="_blank">Maria Paola Bonacina - Universita' degli Studi di Verona, Italy</a> <img id="ctl00_PlaceHolderContent_Image33s13" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink84s13" class="NormalText" href="http://www.cs.uwaterloo.ca/~bbonakda/" target="_blank">Borzoo Bonakdarpour - University of Waterloo, Canada</a> <img id="ctl00_PlaceHolderContent_Image33s1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink84s1" class="NormalText" href="http://www.liacs.nl/~marcello/" target="_blank">Marcello Bonsangue - Leiden University, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image7" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink12" class="NormalText" href="http://www.cs.unibo.it/~bravetti" target="_blank">Mario Bravetti - University of Bologna, Italy</a> <img id="ctl00_PlaceHolderContent_Image9" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink14" class="NormalText" href="http://www.ecs.soton.ac.uk/people/mjb" target="_blank">Michael Butler - University of Southampton, UK</a> <img id="ctl00_PlaceHolderContent_Image9ss" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink14ss" class="NormalText" href="http://folk.uio.no/peterol/main.html" target="_blank">Peter Csaba 脰lveczky - University of Oslo, Norway</a> <img id="ctl00_PlaceHolderContent_Image5" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink10" class="NormalText" href="http://homepages.cwi.nl/~frb" target="_blank">Frank de Boer - CWI, Netherlands; Leiden University, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image5s1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink10s1" class="NormalText" href="http://www.win.tue.nl/~evink/" target="_blank">Erik De Vink - Technical University of Eindhoven, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image5s1s" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink10s1s" class="NormalText" href="http://www.cs.ox.ac.uk/people/klaus.draeger/" target="_blank">Klaus Dr盲ger - University of Oxford, UK</a> <img id="ctl00_PlaceHolderContent_Image11sadf" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLinkasdf16" class="NormalText" href="http://babel.ls.fi.upm.es/~fred/" target="_blank">Lars-Ake Fredlund - Universidad Polit茅cnica de Madrid, Spain</a> <img id="ctl00_PlaceHolderContent_Image11" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink16" class="NormalText" href="http://www.cs.vu.nl/~wanf" target="_blank">Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image12" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink17" class="NormalText" href="http://www.cad.t.u-tokyo.ac.jp/" target="_blank">Masahiro Fujita - University of Tokyo, Japan</a> <img id="ctl00_PlaceHolderContent_Image13" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink18" class="NormalText" href="http://www.cs.unibo.it/~gabbri" target="_blank">Maurizio Gabbrielli - University of Bologna, Italy</a> <img id="ctl00_PlaceHolderContent_Image13s1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink18s1" class="NormalText" href="http://ece.ut.ac.ir/faculty/FGhassemi/" target="_blank">Fatemeh Ghassemi - University of Tehran, Iran</a> <img id="ctl00_PlaceHolderContent_Image13s1sdsd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink18s1sdsd" class="NormalText" href="http://home.dei.polimi.it/ghezzi/" target="_blank">Carlo Ghezzi - Dipartimento di Elettronica e Informazione, Italy </a> <img id="ctl00_PlaceHolderContent_Image15" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink20" class="NormalText" href="http://www.win.tue.nl/~jfg" target="_blank">Jan Friso Groote - Technical University of Eindhoven, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image14" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink19" class="NormalText" href="http://www.cs.sunysb.edu/~grosu" target="_blank">Radu Grosu - State University of New York at Stony Brook, USA</a> <img id="ctl00_PlaceHolderContent_Image14sd1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink19sd1" class="NormalText" href="http://ece.sbu.ac.ir/Desktopmodules/Sbu_ProfessorsPage/SP.aspx?userid=1230" target="_blank">Hassan Haghighi - Shahid Beheshti University, Iran</a> <img id="ctl00_PlaceHolderContent_Image14sd2" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink19sd2" class="NormalText" href="http://sharif.edu/~izadi/" target="_blank">Mohammad Izadi - Sharif University of Technology, Iran</a> <img id="ctl00_PlaceHolderContent_Image14sd3" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink19sd3" class="NormalText" href="http://homepages.cwi.nl/~jaghouri/" target="_blank">Mohammad Mahdi Jaghoori - CWI, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image316s1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink321s1" class="NormalText" href="http://einarj.at.ifi.uio.no/" target="_blank">Einar Broch Johnsen - University of Oslo, Norway </a> <img id="ctl00_PlaceHolderContent_Image316s22" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink321s22" class="NormalText" href="http://www.csc.kth.se/~nargeskh/" target="_blank">Narges Khakpour - KTH, Sweden </a> <img id="ctl00_PlaceHolderContent_Image316s22sder" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink321s22sder" class="NormalText" href="http://www-i2.informatik.rwth-aachen.de/~katoen/" target="_blank">Joost-Pieter Katoen - RWTH Aachen University, Germany </a> <img id="ctl00_PlaceHolderContent_Image316" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink321" class="NormalText" href="http://ece.ut.ac.ir/facultymembers/rkhosravi/" target="_blank">Ramtin Khosravi - University of Tehran, Iran </a> <img id="ctl00_PlaceHolderContent_Image16" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink21" class="NormalText" href="http://www.liacs.nl/~joost" target="_blank">Joost Kok - Leiden University, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image17s1" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink22s1" class="NormalText" href="http://people.cs.aau.dk/~kgl/" target="_blank">Kim Larsen - Aalborg University, Denmark</a> <img id="ctl00_PlaceHolderContent_Image17" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink22" class="NormalText" href="http://www.iist.unu.edu/~lzm" target="_blank">Zhiming Liu - United Nations University, Macao, China</a> <img id="ctl00_PlaceHolderContent_Image19" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink24" class="NormalText" href="http://www.math.pku.edu.cn/teachers/sunm/indexen.html" target="_blank">Sun Meng - Peking University, China</a> <img id="ctl00_PlaceHolderContent_Image18" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink23" class="NormalText" href="http://ce.sharif.edu/~mirian" target="_blank">Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran</a> <img id="ctl00_PlaceHolderContent_Image169" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink264" class="NormalText" href="http://www.di.unipi.it/~ugo" target="_blank">Ugo Montanari - University of Pisa, Italy</a> <img id="ctl00_PlaceHolderContent_Image20" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink25" class="NormalText" href="http://cs.swan.ac.uk/~cspdm" target="_blank">Peter Mosses - Swansea University, UK</a> <img id="ctl00_PlaceHolderContent_Image201" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink201" class="NormalText" href="http://www.win.tue.nl/~mousavi" target="_blank">Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands</a> <img id="ctl00_PlaceHolderContent_Image221" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink221" class="NormalText" href="http://sharif.edu/~movaghar" target="_blank">Ali Movaghar - Sharif University of Technology, Iran</a> <img id="ctl00_PlaceHolderContent_Image2422" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink4222" class="NormalText" href="http://ece.uwaterloo.ca/~hdpatel/" target="_blank">Hiren Patel - University of Waterloo, Canada </a> <img id="ctl00_PlaceHolderContent_Image24223" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink42223" class="NormalText" href="http://people.cs.kuleuven.be/~jose.proenca/" target="_blank">Jose Proenca - K.U.Leuven, Belgium </a> <img id="ctl00_PlaceHolderContent_Image223fr" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink223fr" class="NormalText" href="http://www.philipp.ruemmer.org/" target="_blank">Philipp Ruemmer - Uppsala University, Sweden </a> <img id="ctl00_PlaceHolderContent_Image223" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink223" class="NormalText" href="http://homepages.cwi.nl/~janr" target="_blank">Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands </a> <img id="ctl00_PlaceHolderContent_Image30sddd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink30fedd" class="NormalText" href="http://www.inrialpes.fr/vasy/people/Gwen.Salaun/" target="_blank">Gwen Salaun - Grenoble INP, Inria, France</a> <img id="ctl00_PlaceHolderContent_Image4" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink3" class="NormalText" href="http://software.imdea.org/~cesar/" target="_blank">Cesar Sanchez - IMDEA Software Institute, Spain</a> <img id="ctl00_PlaceHolderContent_Image224" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink224" class="NormalText" href="http://www.cs.unibo.it/~sangio" target="_blank">Davide Sangiorgi - University of Bologna, Italy</a> <img id="ctl00_PlaceHolderContent_Image26" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink26" class="NormalText" href="http://www.inrialpes.fr/vasy/people/Wendelin.Serwe/" target="_blank">Wendelin Serwe - Inria, France</a> <img id="ctl00_PlaceHolderContent_Image26sd" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink26sd" class="NormalText" href="http://www.ru.is/faculty/marjan/" target="_blank">Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran</a> <img id="ctl00_PlaceHolderContent_Image27" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink27" class="NormalText" href="http://www.sri.com/about/people/carolyn-talcott" target="_blank">Carolyn Talcott - SRI International, USA</a> <img id="ctl00_PlaceHolderContent_Image27ss" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink27ssd" class="NormalText" href="http://www.liafa.univ-paris-diderot.fr/~touili/" target="_blank">Tayssir Touili - LIAFA, France</a> <img id="ctl00_PlaceHolderContent_Image66d" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink47d" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> Local Organization Chair <img id="ctl00_PlaceHolderContent_Image68" src="Images/Circle.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink51" class="NormalText" href="mailto://shahrabi@ipm.ir" target="_blank">Hamidreza Shahrabi - IPM, Iran</a> <img id="ctl00_PlaceHolderContent_Image69" src="Images/Top.gif" style="border-width:0px;" /> <a id="ctl00_PlaceHolderContent_HyperLink53" href="Default.aspx" style="font-family:Tahoma,Verdana;font-size:10px;color:Blue;">Back to top</a> </div> </td> </tr><tr style="height:20px;"> <td align="center" colspan="2" style="background-color:#555555;">漏 2012 Copyright, School of Computer Science, IPM</td> </tr> </table> </form> </body> </html>