lero RSS Feed http://sites.lero.ie/fm2011/programcommittee.html?rss fm2011 / Program Committee en fm2011 / Program Committee <p><strong>GENERAL CHAIR</strong></p><p><a href="http://en.wikipedia.org/wiki/Michael_Hinchey" target="_blank">Mike Hinchey</a>, <a href="http://www.lero.ie/" target="_blank">Lero</a>, Ireland</p><p><strong>PC CHAIRS</strong></p><p><a href="http://en.wikipedia.org/wiki/Michael_Butler_%28computer_scientist%29" target="_blank">Michael Butler</a>, <a href="http://users.ecs.soton.ac.uk/mjb/" target="_blank">University of Southampton</a>, UK</p><p><a href="http://research.microsoft.com/en-us/people/schulte/" target="_blank">Wolfram Schulte</a>, <a href="http://research.microsoft.com/" target="_blank">Microsoft Research</a>, USA</p><p><strong>PROGRAMME COMMITTEE</strong></p><table width="599"><colgroup><col width="85" /><col width="113" /><col width="282" /><col width="119" /></colgroup><tr><td>Farhad</td><td>Arbab</td><td>CWI Amsterdam</td><td>The Netherlands</td></tr><tr><td>Jos</td><td>Baeten</td><td>Eindhoven University of Technology</td><td>The Netherlands</td></tr><tr><td>Anindya</td><td>Banerjee</td><td>IMDEA Software Institute</td><td>Spain</td></tr><tr><td>David</td><td>Basin</td><td>ETH Zurich</td><td>Switzerland   </td></tr><tr align="left" valign="top"><td>Eerke</td><td>Boiten</td><td>University of Kent</td><td>UK</td></tr><tr align="left" valign="top"><td>Jonathan</td><td>Bowen</td><td>Museophile Limited</td><td>UK</td></tr><tr><td>Einar</td><td>Broch Johnsen</td><td>University of Oslo</td><td>Norway</td></tr><tr><td>Michael</td><td>Butler</td><td>University of Southampton</td><td>UK</td></tr><tr align="left" valign="top"><td>Andrew</td><td>Butterfield</td><td>Trinity College Dublin</td><td>Ireland</td></tr><tr><td>Ana</td><td>Cavalcanti</td><td>University of York</td><td>UK</td></tr><tr><td>Byron</td><td>Cook</td><td>Microsoft Research Cambridge</td><td>UK</td></tr><tr><td>Jin Song</td><td>Dong</td><td>National University of Singapore</td><td>Singapore</td></tr><tr><td>Colin</td><td>Fidge</td><td>QUT Brisbane</td><td>Australia</td></tr><tr><td>Bernd</td><td>Finkbeiner</td><td>Universität des Saarlandes</td><td>Germany</td></tr><tr><td>John</td><td>Fitzgerald</td><td>University of Newcastle</td><td>UK</td></tr><tr><td>Marc</td><td>Frappier </td><td>Université de Sherbrooke</td><td>Canada</td></tr><tr><td>Dimitra</td><td>Giannakopoulou</td><td>Carnegie Mellon / NASA Ames</td><td>USA</td></tr><tr><td>Stefania</td><td>Gnesi</td><td>ISTI-CNR Pisa</td><td>Italy</td></tr><tr><td>Reiner</td><td>Hähnle</td><td>Chalmers University of Technology</td><td>Sweden</td></tr><tr><td>Klaus</td><td>Havelund</td><td>NASA JPL</td><td>USA</td></tr><tr><td>Mats</td><td>Heimdahl</td><td>University of Minnesota</td><td>USA</td></tr><tr><td>Jane</td><td>Hillston</td><td>University of Edinburgh</td><td>UK</td></tr><tr><td>Daniel</td><td>Jackson</td><td>MIT</td><td>USA</td></tr><tr align="left" valign="top"><td>Randolph</td><td>Johnson</td><td>National Security Agency</td><td>USA</td></tr><tr><td>Sarfraz</td><td>Khurshid</td><td>University of Texas at Austin</td><td>USA</td></tr><tr><td>Gerwin</td><td>Klein</td><td>NICTA Sydney</td><td>Australia</td></tr><tr><td>Daniel</td><td>Kroening</td><td>University of Oxford</td><td>UK</td></tr><tr><td>Regine</td><td>Laleau</td><td>Université Paris-Est</td><td>France</td></tr><tr><td>Peter Gorm</td><td>Larsen</td><td>Engineering College Aarhus</td><td>Denmark</td></tr><tr><td>Kim</td><td>Larsen</td><td>Aalborg University</td><td>Denmark</td></tr><tr><td>Timo</td><td>Latvala</td><td>Space Systems Finland</td><td>Finland</td></tr><tr><td>Gary</td><td>Leavens</td><td>University of Central Florida</td><td>USA</td></tr><tr><td>Elizabeth</td><td>Leonard</td><td>Naval Research Lab</td><td>USA</td></tr><tr><td>Michael</td><td>Leuschel</td><td>Heinrich-Heine-Universität Düsseldorf</td><td>Germany</td></tr><tr><td>Zhiming</td><td>Liu</td><td>UNU-IIST</td><td>Macao</td></tr><tr><td>Tom</td><td>Maibaum</td><td>McMaster University </td><td>Canada</td></tr><tr><td>Joao</td><td>Marques-Silva</td><td>University College Dublin</td><td>Ireland</td></tr><tr align="left" valign="top"><td>Sjouke</td><td>Mauw</td><td>University of Luxembourg</td><td>Luxembourg</td></tr><tr><td>Annabelle</td><td>McIver</td><td>Macquarie University</td><td>Australia</td></tr><tr align="left" valign="top"><td>Simão</td><td>Melo de Sousa</td><td>Universidade da Beira Interior</td><td>Portugal</td></tr><tr><td>Tobias</td><td>Nipkow</td><td>Technische Universität München </td><td>Germany</td></tr><tr><td>Manuel</td><td>Nunez</td><td>University Complutense de Madrid </td><td>Spain</td></tr><tr align="left" valign="top"><td>José</td><td>Nuno Oliveira</td><td>Universidade do Minho</td><td>Portugal</td></tr><tr><td>Colin</td><td>O'Halloran</td><td>QinetiQ</td><td>UK</td></tr><tr><td>Ganesan</td><td>Ramalingam</td><td>Microsoft Research India</td><td>India</td></tr><tr><td>S</td><td>Ramesh</td><td>General Motors India Science Laboratory</td><td>India</td></tr><tr><td>Grigore</td><td>Rosu</td><td>University of Illinois at Urbana-Champaign</td><td>USA</td></tr><tr><td>Andreas</td><td>Roth</td><td>SAP </td><td>Germany</td></tr><tr><td>Augusto</td><td>Sampaio</td><td>Universidade Federal de Pernambuco</td><td>Brazil</td></tr><tr align="left" valign="top"><td>Wolfgang</td><td>Schreiner</td><td>Johannes Kepler University</td><td>Austria</td></tr><tr><td>Wolfram</td><td>Schulte</td><td>Microsoft Research Redmond</td><td>USA</td></tr><tr><td>Kaisa </td><td>Sere</td><td>Åbo Akademi University</td><td>Finland</td></tr><tr><td>Kenji</td><td>Taguchi</td><td>AIST</td><td>Japan</td></tr><tr><td>Andrzej  </td><td>Tarlecki</td><td>University of Warsaw</td><td>Poland</td></tr><tr><td>Mark</td><td>Utting</td><td>Waikato University</td><td>New Zealand</td></tr><tr align="left" valign="top"><td>Huibiao</td><td>Zhu</td><td>East China Normal University</td><td>China</td></tr></table><p><strong>WORKSHOP CHAIRS</strong></p><p><a href="http://www.vassev.com/" target="_blank">Emil Vassev</a>, Lero, Ireland</p><p><a href="http://www.computing.dcu.ie/~davids/" target="_blank">David Sinclair</a>, Lero, Ireland</p><p><strong>TUTORIALS CHAIR</strong></p><p><a href="http://www.nicoplat.com/" target="_blank">Nico Plat</a>, <a href="http://www.west.nl/en" target="_blank">West Consulting</a>, The Netherlands</p><p><strong>INDUSTRY DAY CHAIRS</strong></p><p><a href="http://www.scss.tcd.ie/Andrew.Butterfield/" target="_blank">Andrew Butterfield</a>, <a href="http://www.tcd.ie/" target="_blank">Trinity College Dublin</a>, Ireland</p><p><a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lecomte:Thierry.html" target="_blank">Thierry Lecomte</a>, <a href="http://www.clearsy.com/" target="_blank">ClearSy</a>, France</p><p><strong>DOCTORAL CHAIR</strong></p><p><a href="http://www.csis.ul.ie/staff/norahpower/" target="_blank">Norah Power</a>, Lero, Ireland</p><p><strong>PUBLICITY CHAIR</strong></p><p><a href="http://www.jpbowen.com/" target="_blank">Jonathan Bowen</a>, <a href="http://www.museophile.com/" target="_blank">Museophile Limited</a>, UK</p> Fri, 20 May 2011 14:40:00 GMT http://sites.lero.ie/fm2011/programcommittee.html lero http://sites.lero.ie/fm2011/programcommittee.htmlFri, 20 May 2011 14:40:00 GMT