þÿ<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <!-- saved from url=(0014)about:internet --> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title>LIX Colloquium on Emerging Trends in Concurrency Theory</title> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> <style type="text/css">td img {display: block;}</style> <!--Fireworks 8 Dreamweaver 8 target. Created Wed Aug 30 15:35:22 GMT-0500 ( ) 2006--> <script language="JavaScript1.2" type="text/javascript"> <!-- function MM_findObj(n, d) { //v4.01 var p,i,x; if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) { d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);} if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n]; for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document); if(!x && d.getElementById) x=d.getElementById(n); return x; } function MM_nbGroup(event, grpName) { //v6.0 var i,img,nbArr,args=MM_nbGroup.arguments; if (event == "init" && args.length > 2) { if ((img = MM_findObj(args[2])) != null && !img.MM_init) { img.MM_init = true; img.MM_up = args[3]; img.MM_dn = img.src; if ((nbArr = document[grpName]) == null) nbArr = document[grpName] = new Array(); nbArr[nbArr.length] = img; for (i=4; i < args.length-1; i+=2) if ((img = MM_findObj(args[i])) != null) { if (!img.MM_up) img.MM_up = img.src; img.src = img.MM_dn = args[i+1]; nbArr[nbArr.length] = img; } } } else if (event == "over") { document.MM_nbOver = nbArr = new Array(); for (i=1; i < args.length-1; i+=3) if ((img = MM_findObj(args[i])) != null) { if (!img.MM_up) img.MM_up = img.src; img.src = (img.MM_dn && args[i+2]) ? args[i+2] : ((args[i+1])?args[i+1] : img.MM_up); nbArr[nbArr.length] = img; } } else if (event == "out" ) { for (i=0; i < document.MM_nbOver.length; i++) { img = document.MM_nbOver[i]; img.src = (img.MM_dn) ? img.MM_dn : img.MM_up; } } else if (event == "down") { nbArr = document[grpName]; if (nbArr) for (i=0; i < nbArr.length; i++) { img=nbArr[i]; img.src = img.MM_up; img.MM_dn = 0; } document[grpName] = nbArr = new Array(); for (i=2; i < args.length-1; i+=2) if ((img = MM_findObj(args[i])) != null) { if (!img.MM_up) img.MM_up = img.src; img.src = img.MM_dn = (args[i+1])? args[i+1] : img.MM_up; nbArr[nbArr.length] = img; } } } function MM_preloadImages() { //v3.0 var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array(); var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++) if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}} } //--> </script> <script type="text/javascript"> <!-- /* http://www.alistapart.com/articles/zebratables/ */ function removeClassName (elem, className) { elem.className = elem.className.replace(className, "").trim(); } function addCSSClass (elem, className) { removeClassName (elem, className); elem.className = (elem.className + " " + className).trim(); } String.prototype.trim = function() { return this.replace( /^\s+|\s+$/, "" ); } function stripedTable() { if (document.getElementById && document.getElementsByTagName) { var allTables = document.getElementsByTagName('table'); if (!allTables) { return; } for (var i = 0; i < allTables.length; i++) { if (allTables[i].className.match(/[\w\s ]*scrollTable[\w\s ]*/)) { var trs = allTables[i].getElementsByTagName("tr"); for (var j = 0; j < trs.length; j++) { removeClassName(trs[j], 'alternateRow'); addCSSClass(trs[j], 'normalRow'); } for (var k = 0; k < trs.length; k += 2) { removeClassName(trs[k], 'normalRow'); addCSSClass(trs[k], 'alternateRow'); } } } } } /* onload state is fired, append onclick action to the table's DIV */ /* container. This allows the HTML document to validate correctly. */ /* addIEonScroll added on 2005-01-28 */ /* Terence Ordona, portal[AT]imaputz[DOT]com */ function addIEonScroll() { var thisContainer = document.getElementById('tableContainer'); if (!thisContainer) { return; } var onClickAction = 'toggleSelectBoxes();'; thisContainer.onscroll = new Function(onClickAction); } /* Only WinIE will fire this function. All other browsers scroll the TBODY element and not the DIV */ /* This is to hide the SELECT elements from scrolling over the fixed Header. WinIE only. */ /* toggleSelectBoxes added on 2005-01-28 */ /* Terence Ordona, portal[AT]imaputz[DOT]com */ function toggleSelectBoxes() { var thisContainer = document.getElementById('tableContainer'); var thisHeader = document.getElementById('fixedHeader'); if (!thisContainer || !thisHeader) { return; } var selectBoxes = thisContainer.getElementsByTagName('select'); if (!selectBoxes) { return; } for (var i = 0; i < selectBoxes.length; i++) { if (thisContainer.scrollTop >= eval(selectBoxes[i].parentNode.offsetTop - thisHeader.offsetHeight)) { selectBoxes[i].style.visibility = 'hidden'; } else { selectBoxes[i].style.visibility = 'visible'; } } } window.onload = function() { stripedTable(); addIEonScroll(); } --> </script> <style type="text/css"> <!-- /* Terence Ordona, portal[AT]imaputz[DOT]com */ /* http://creativecommons.org/licenses/by-sa/2.0/ */ /* begin some basic styling here */ body { //background: #FFF; //color: #000; font: normal normal 12px Verdana, Geneva, Arial, Helvetica, sans-serif; margin: 10px; padding: 0 } table, td, a { color: #000; font: normal normal 12px Verdana, Geneva, Arial, Helvetica, sans-serif } h1 { font: normal normal 18px Verdana, Geneva, Arial, Helvetica, sans-serif; margin: 0 0 5px 0 } h2 { font: normal normal 16px Verdana, Geneva, Arial, Helvetica, sans-serif; margin: 0 0 5px 0 } h3 { font: normal normal 13px Verdana, Geneva, Arial, Helvetica, sans-serif; //color: #008000; //margin: 0 0 15px 0 } /* end basic styling */ /* define height and width of scrollable area. Add 16px to width for scrollbar */ /* allow WinIE to scale 100% width of browser by not defining a width */ /* WARNING: applying a background here may cause problems with scrolling in WinIE 5.x */ div.tableContainer { clear: both; //border: 1px solid #963; height: 435px; overflow: auto; width: 876px; } /* WinIE 6.x needs to re-account for it's scrollbar. Give it some padding */ \html div.tableContainer/* */ { padding: 0 16px 0 0; width: 860px; } /* clean up for allowing display Opera 5.x/6.x and MacIE 5.x */ html>body div.tableContainer { height: auto; padding: 0; } /* Reset overflow value to hidden for all non-IE browsers. */ /* Filter out Opera 5.x/6.x and MacIE 5.x */ head:first-child+body div[class].tableContainer { height: 435px; overflow: hidden; width: 876px } /* define width of table. IE browsers only */ /* if width is set to 100%, you can remove the width */ /* property from div.tableContainer and have the div scale */ div.tableContainer table { float: left; width: 100% } /* WinIE 6.x needs to re-account for padding. Give it a negative margin */ \html div.tableContainer table/* */ { margin: 0 -16px 0 0 } /* define width of table. Opera 5.x/6.x and MacIE 5.x */ html>body div.tableContainer table { float: none; margin: 0; width: 860px } /* define width of table. Add 16px to width for scrollbar. */ /* All other non-IE browsers. Filter out Opera 5.x/6.x and MacIE 5.x */ head:first-child+body div[class].tableContainer table { width: 876px } /* set table header to a fixed position. WinIE 6.x only */ /* In WinIE 6.x, any element with a position property set to relative and is a child of */ /* an element that has an overflow property set, the relative value translates into fixed. */ /* Ex: parent element DIV with a class of tableContainer has an overflow property set to auto */ thead.fixedHeader tr { position: relative; /* expression is for WinIE 5.x only. Remove to validate and for pure CSS solution */ top: expression(document.getElementById("tableContainer").scrollTop); } /* set THEAD element to have block level attributes. All other non-IE browsers */ /* this enables overflow to work on TBODY element. All other non-IE, non-Mozilla browsers */ /* Filter out Opera 5.x/6.x and MacIE 5.x */ head:first-child+body thead[class].fixedHeader tr { display: block; } /* make the TH elements pretty */ thead.fixedHeader th { font-weight: normal; text-align: left } /* make the A elements pretty. makes for nice clickable headers */ thead.fixedHeader a, thead.fixedHeader a:link, thead.fixedHeader a:visited { display: block; text-decoration: none; width: 100% } /* make the A elements pretty. makes for nice clickable headers */ /* WARNING: swapping the background on hover may cause problems in WinIE 6.x */ thead.fixedHeader a:hover { color: #FFF; display: block; text-decoration: underline; width: 100% } /* define the table content to be scrollable */ /* set TBODY element to have block level attributes. All other non-IE browsers */ /* this enables overflow to work on TBODY element. All other non-IE, non-Mozilla browsers */ /* induced side effect is that child TDs no longer accept width: auto */ /* Filter out Opera 5.x/6.x and MacIE 5.x */ head:first-child+body tbody[class].scrollContent { display: block; //height: 462px; height: 435px; overflow: auto; width: 100% } /* make TD elements pretty. Provide alternating classes for striping the table */ /* http://www.alistapart.com/articles/zebratables/ */ tbody.scrollContent td, tbody.scrollContent tr.normalRow td { border-bottom: none; border-left: none; } tbody.scrollContent tr.alternateRow td { border-bottom: none; border-left: none; } /* define width of TH elements: 1st, 2nd, and 3rd respectively. */ /* All other non-IE browsers. Filter out Opera 5.x/6.x and MacIE 5.x */ /* Add 16px to last TH for scrollbar padding */ /* http://www.w3.org/TR/REC-CSS2/selector.html#adjacent-selectors */ /* define width of TH elements: 1st, 2nd, and 3rd respectively. */ /* All other non-IE browsers. Filter out Opera 5.x/6.x and MacIE 5.x */ /* Add 16px to last TH for scrollbar padding */ /* http://www.w3.org/TR/REC-CSS2/selector.html#adjacent-selectors */ --> </style> </head> <body background="images/fondo.png" onload="MM_preloadImages('images/template_r4_c5_f2.png','images/template_r4_c5_f4.png','images/template_r4_c5_f3.png','images/template_r4_c6_f2.png','images/template_r4_c6_f4.png','images/template_r4_c6_f3.png','images/template_r4_c7_f2.png','images/template_r4_c7_f4.png','images/template_r4_c7_f3.png','images/template_r4_c8_f2.png','images/template_r4_c8_f4.png','images/template_r4_c8_f3.png','images/template_r4_c11_f2.png','images/template_r4_c11_f4.png','images/template_r4_c11_f3.png');"> <table border="0" cellpadding="0" cellspacing="0" width="971"> <!-- fwtable fwsrc="header.png" fwbase="template.png" fwstyle="Dreamweaver" fwdocid = "873302500" fwnested="0" --> <tr> <td><img src="images/spacer.gif" width="5" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="5" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="5" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="31" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="73" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="100" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="80" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="99" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="80" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="117" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="121" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="206" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="48" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="1" border="0" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="1" border="0" alt="" /></td> </tr> <tr> <td colspan="14"><img name="template_r1_c1" src="images/template_r1_c1.png" width="971" height="1" border="0" id="template_r1_c1" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="1" border="0" alt="" /></td> </tr> <tr> <td colspan="3"><img name="template_r2_c1" src="images/template_r2_c1.png" width="15" height="6" border="0" id="template_r2_c1" alt="" /></td> <td rowspan="2" colspan="10"><img name="template_r2_c4" src="images/template_r2_c4.png" width="955" height="81" border="0" id="template_r2_c4" usemap="#m_template_r2_c4" alt="" /></td> <td rowspan="7"><img name="template_r2_c14" src="images/template_r2_c14.png" width="1" height="600" border="0" id="template_r2_c14" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="6" border="0" alt="" /></td> </tr> <tr> <td rowspan="6"><img name="template_r3_c1" src="images/template_r3_c1.png" width="5" height="594" border="0" id="template_r3_c1" alt="" /></td> <td><img name="fondo" src="images/fondo.png" width="5" height="75" border="0" id="fondo" alt="" /></td> <td rowspan="2"><img name="template_r3_c3" src="images/template_r3_c3.png" width="5" height="101" border="0" id="template_r3_c3" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="75" border="0" alt="" /></td> </tr> <tr> <td><img name="template_r4_c2" src="images/template_r4_c2.png" width="5" height="26" border="0" id="template_r4_c2" alt="" /></td> <td><img name="template_r4_c4" src="images/template_r4_c4.png" width="31" height="26" border="0" id="template_r4_c4" alt="" /></td> <td><a href="index.html" onmouseout="MM_nbGroup('out');" onmouseover="MM_nbGroup('over','template_r4_c5','images/template_r4_c5_f2.png','images/template_r4_c5_f4.png',1);" onclick="MM_nbGroup('down','navbar1','template_r4_c5','images/template_r4_c5_f3.png',1);"><img name="template_r4_c5" src="images/template_r4_c5.png" width="73" height="26" border="0" id="template_r4_c5" alt="" /></a></td> <td><a href="programme.html" onmouseout="MM_nbGroup('out');" onmouseover="MM_nbGroup('over','template_r4_c6','images/template_r4_c6_f2.png','images/template_r4_c6_f4.png',1);" onclick="MM_nbGroup('down','navbar1','template_r4_c6','images/template_r4_c6_f3.png',1);"><img name="template_r4_c6" src="images/template_r4_c6.png" width="100" height="26" border="0" id="template_r4_c6" alt="" /></a></td> <td><a href="talks.html" onmouseout="MM_nbGroup('out');" onmouseover="MM_nbGroup('over','template_r4_c7','images/template_r4_c7_f2.png','images/template_r4_c7_f4.png',1);" onclick="MM_nbGroup('down','navbar1','template_r4_c7','images/template_r4_c7_f3.png',1);"><img name="template_r4_c7" src="images/template_r4_c7.png" width="80" height="26" border="0" id="template_r4_c7" alt="" /></a></td> <td><a href="participants.html" onmouseout="MM_nbGroup('out');" onmouseover="MM_nbGroup('over','template_r4_c8','images/template_r4_c8_f2.png','images/template_r4_c8_f4.png',1);" onclick="MM_nbGroup('down','navbar1','template_r4_c8','images/template_r4_c8_f3.png',1);"><img name="template_r4_c8" src="images/template_r4_c8.png" width="99" height="26" border="0" id="template_r4_c8" alt="" /></a></td> <td><a href="venue.html"><img name="template_r4_c9" src="images/template_r4_c9.png" width="80" height="26" border="0" id="template_r4_c9" alt="" /></a></td> <td><a href="accomodation.html"><img name="template_r4_c10" src="images/template_r4_c10.png" width="117" height="26" border="0" id="template_r4_c10" alt="" /></a></td> <td><a href="staff.html" onmouseout="MM_nbGroup('out');" onmouseover="MM_nbGroup('over','template_r4_c11','images/template_r4_c11_f2.png','images/template_r4_c11_f4.png',1);" onclick="MM_nbGroup('down','navbar1','template_r4_c11','images/template_r4_c11_f3.png',1);"><img name="template_r4_c11" src="images/template_r4_c11.png" width="121" height="26" border="0" id="template_r4_c11" alt="" /></a></td> <td><img name="template_r4_c12" src="images/template_r4_c12.png" width="206" height="26" border="0" id="template_r4_c12" alt="" /></td> <td><img name="template_r4_c13" src="images/template_r4_c13.png" width="48" height="26" border="0" id="template_r4_c13" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="26" border="0" alt="" /></td> </tr> <tr> <td colspan="3"><img name="esquinaSupIzq" src="images/esquinaSupIzq.png" width="41" height="40" border="0" id="esquinaSupIzq" alt="" /></td> <td colspan="8"><img name="template_r5_c5" src="images/template_r5_c5.png" width="876" height="40" border="0" id="template_r5_c5" alt="" /></td> <td><img name="esquinaSupDer" src="images/esquinaSupDer.png" width="48" height="40" border="0" id="esquinaSupDer" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="40" border="0" alt="" /></td> </tr> <tr> <td colspan="3" background="images/BoxIzq.png"></td> <td colspan="8" bgcolor="#ffffff" valign="top"><p style="margin:0px"> <div id="tableContainer" class="tableContainer"> <table border="0" cellpadding="0" cellspacing="0" width="100%" class="scrollTable"> <thead class="fixedHeader"> </thead> <tbody class="scrollContent"> <a href="participants.pdf">Printable PDF version</a> <br> <br> <tr><td> <H1>Participants</h1> (Last Updated: 06/08/30) <ol> <li> <A href="http://www.brics.dk/~jfa/" target="_blank">Jesus Almansa</a> <i>NTT Information Sharing Labs, Japan. </i> <li> <A href="http://www.pps.jussieu.fr/~amadio" target="_blank">Roberto Amadio</a> <i> Université Paris 7, France </i> <li> <A href="http://www.lix.polytechnique.fr/~jesarana" target="_blank">Jesus Aranda</a> <i>LIX, Ecole Polytechnique, France and Universidad del Valle, Colombia </i> <li> <A href="http://www.lix.polytechnique.fr/~dbaelde/" target="_blank">David Baelde</a> <i>LIX, Ecole Polytechnique, France. </i> <li> <A href="http://www.win.tue.nl/~josb/" target="_blank">Jos Baeten</a> <i> Eindhoven University of Technology, The Netherlands </i> <li> <A href="http://web.cs.uni-bonn.de/I/baier/staff/baier/index.html" target="_blank">Christel Baier</a> <i> Universität Bonn, Germany </i> <li> <A href="http://www.lix.polytechnique.fr/comete/people/" target="_blank">Romain Beauxis </a> <i> LIX, Ecole Polytechnique, France </i> <li> <A href="http://www.it.uu.se/katalog/jesperb" target="_blank">Jesper Bengtson</a> <i> Uppsala University</i> <li> <A href="http://www.lri.fr/~benzaken/" target="_blank">Veronique Benzaken</a> <i> LRI - Université Paris-Sud 11, France </i> <li> <A href="http://www.doc.ic.ac.uk/~mberger/" target="_blank">Martin Berger</a> <i> Imperial College, UK </i> <li> <A href="http://staff.science.uva.nl/~janb/" target="_blank">Jan Bergstra</a> <i> University of Amsterdam, The Netherlands </i> <li> <A href="http://www.di.unipi.it/~fibonchi" target="_blank">Filippo Bonchi</a> <i> Università di Pisa, Italy </i> <li> <A href="http://www.dsi.unifi.it/~boreale/" target="_blank">Michele Boreale</a> <i> Università di Firenze, Italy </i> <li> <A href="http://www-sop.inria.fr/mimosa/Gerard.Boudol/" target="_blank">Gerard Boudol</a> <i> INRIA Sophia-Antipolis, France </i> <li> <A href="http://www.cs.unibo.it/~bravetti/" target="_blank">Mario Bravetti</a> <i> Università di Bologna, Italy </i> <li> <A href="http://www.dsi.unive.it/~michele/" target="_blank">Michele Bugliesi</a> <i> Università Ca' Foscari Venezia, Italy </i> <li> <A href="http://www.cs.unibo.it/~busi" target="_blank">Nadia Busi</a> <i> Università di Bologna, Italy </i> <li> <A href="http://www.cs.unicam.it/cacciagrano" target="_blank">Diletta Cacciagrano</a> <i> Università di Camerino, Italy </i> <li> <A href="http://www-ctp.di.fct.unl.pt/~lcaires/" target="_blank">Luis Caires</a> <i> Universidade Nova de Lisboa, Portugal </i> <li> <A href="http://www.dcs.qmul.ac.uk/~carbonem/" target="_blank">Marco Carbone</a> <i> Imperial College, UK </i> <li> <A href="http://www.luca.demon.co.uk/" target="_blank">Luca Cardelli</a> <i> Microsoft Research, UK </i> <li> <A href="http://www-users.cs.york.ac.uk/~catano/" target="_blank">Nestor Catano</a> <i> University of York, UK </i> <li> <A href="http://www.di.ens.fr/~castagna/" target="_blank">Giuseppe Castagna</a> <i> École Normale Supérieure, France </i> <li> <A href="http://www-sop.inria.fr/mimosa/personnel/Ilaria.Castellani.html" target="_blank">Ilaria Castellani</a> <i> INRIA Sophia-Antipolis, France </i> <li> <A href="http://homepages.cwi.nl/~chothia/" target="_blank">Tom Chothia</a> <i> CWI, The Netherlands </i> <li> <A href="http://www.lix.polytechnique.fr/~kostas/" target="_blank">Kostas Chatzikokolakis</a> <i> LIX Ecole Polytechnique, France </i> <li> <A href="http://www.math.unipd.it/~crafa/" target="_blank">Silvia Crafa</a> <i> Università di Padova, Italy </i> <li> <A href="http://www.pps.jussieu.fr/~curien/" target="_blank">Pierre-Louis Curien</a> <i> Université Paris 7, France </i> <li> <A href="http://www.pps.jussieu.fr/~danos/" target="_blank">Vincent Danos</a> <i> Université Paris 7, France </i> <li> <A href=" http://www.cs.unicam.it/diberardini" target="_blank">Maria Rita Di Berardini</a> <i> Università di Camerino, Italy </i> <li> <A href="http://homepages.cwi.nl/~frb/" target="_blank">Frank de Boer</a> <i> CWI, The Netherlands </i> <li> <A href="http://www.di.unipi.it/~degano" target="_blank">Pierpaolo Degano</a> <i> Università di Pisa, Italy. </i> <li> <A href="http://www-sop.inria.fr/certilab/Joelle.Despeyroux/" target="_blank">Joelle Despeyroux</a> <i> Inria Sophia-Antipolis, France </i> <li> <A href="http://www.cs.unibo.it/~digiusto" target="_blank">Cinzia Di Giusto</a> <i> Università di Bologna, Italy </i> <li> <A href="http://www.lix.polytechnique.fr/~dowek/" target="_blank">Gilles Dowek</a> <i> LIX - École Polytechnique, France </i> <li> <A href="http://www.fmi.uni-stuttgart.de/szs/people/esparza/" target="_blank">Javier Esparza</a> <i> University of Stuttgart, Germany </i> <li> <A href="http://www.math.unipd.it/~claudia" target="_blank">Claudia Faggian</a> <i> Università degli Studi di Padova, Italy </i> <li> <A href="http://www.cs.vu.nl/~wanf" target="_blank">Wan Fokkink</a> <i> Free University Amsterdam and CWI, The Netherlands </i> <li> <A href="http://research.microsoft.com/~fournet/" target="_blank">Cédric Fournet</a> <i> Microsoft Research, UK </i> <li> <A href="http://www.lsv.ens-cachan.fr/~fribourg/" target="_blank">Laurent Fribourg</a> <i> LSV, CNRS & ENS de Cachan, France </i> <li> <A href="http://www.inrialpes.fr/vasy/people/Hubert.Garavel/" target="_blank">Hubert Garavel</a> <i> INRIA Rhone-Alpes, France </i> <li> <A href="http://research.microsoft.com/~adg/" target="_blank">Andy Gordon</a> <i> Microsoft Research, UK </i> <li> <A href="http://www.dsi.uniroma1.it/~gorla/" target="_blank">Daniele Gorla</a> <i> Università di Roma "La Sapienza", Italy </i> <li> <A href="http://www.di.ens.fr/~goubault/" target="_blank">Eric Goubault</a> <i> CEA-LIST, Saclay, France </i> <li> <A href="http://cic.puj.edu.co/~jg" target="_blank">Julian Gutiérrez</a> <i> Universidad Javeriana - Cali, Colombia </i> <li> <A href="http://www.itu.dk/~hilde/" target="_blank">Thomas Hildebrandt</a> <i> IT University of Copenhagen, Denmark </i> <li> <A href="http://www.pps.jussieu.fr/~hym/" target="_blank">Samuel Hym </a> <i>PPS de l'Université Paris 7, France </i> <li> <A href="http://perso.ens-lyon.fr/daniel.hirschkoff/" target="_blank">Daniel Hirschkoff</a> <i> École Normale Supérieure de Lyon, France </i> <li> <A href="http://research.microsoft.com/~thoare/" target="_blank">Tony Hoare</a> <i> Microsoft Research, UK </i> <li> <A href="http://www.dcs.qmul.ac.uk/~kohei/" target="_blank">Kohei Honda</a> <i> Queen Mary University, UK </i> <li> <A href="http://www.it.uu.se/katalog/magnusj" target="_blank">Magnus Johansson</a> <i> Uppsala University, Sweden </i> <li> <A href="http://wwwhome.cs.utwente.nl/~katoen/" target="_blank">Joost-Pieter Katoen</a> <i> RWTH Aachen University, Germany </i> <li> <A href="http://www.cs.vu.nl/~jwk/" target="_blank">Jan Willem Klop</a> <i> Vrije Universiteit - Amsterdam, The Netherlands </i> <li> <A href="http://www.lsv.ens-cachan.fr/~kremer/" target="_blank">Steve Kremer</a> <i> École Normale Supérieure de Cachan, France </i> <li> <A href="http://moscova.inria.fr/~krivine/" target="_blank">Jean Krivine</a> <i> INRIA, France </i> <li> <A href="http://www.cs.bham.ac.uk/~mzk/" target="_blank">Marta Kwiatkowska</a> <i> University of Birmingham, UK </i> <li> <A href="http://para.inria.fr/~leifer/" target="_blank">James Leifer</a> <i> INRIA Rocquencourt, France </i> <li> <A href="http://www4.in.tum.de/~leucker/" target="_blank">Martin Leucker</a> <i> Technische Universität München, Germany </i> <li> <A href="http://pauillac.inria.fr/~levy/" target="_blank">Jean-Jacques Levy</a> <i> INRIA Rocquencourt, France </i> <li> <A href="http://www.pps.jussieu.fr/~laurent/" target="_blank">Olivier Laurent</a> <i>PPS de l'Université Paris 7, France </i> <li> <A href="http://www.lsv.ens-cachan.fr/~lozes/" target="_blank">Etienne Lozes</a> <i> LSV, CNRS & ENS de Cachan, France </i> <li> <A href="http://www.dsi.unive.it/~mace/ " target="_blank">Damiano Macedonio</a> <i> Università Ca' Foscari di Venezia, Italy </i> <li> <A href="http://www.doc.ic.ac.uk/~maffeis/" target="_blank">Sergio Maffeis</a> <i> Imperial College, UK </i> <li> <A href="http://www.ing.unitn.it/~massacci/" target="_blank">Fabio Massacci</a> <i> Università di Trento, Italy. </i> <li> <A href="http://www.cs.unicam.it/merelli" target="_blank"> Emanuela Merelli </a> <i> Università di Camerino, Italy </i> <li> <A href="http://www.lix.polytechnique.fr/~dale/" target="_blank">Dale Miller</a> <i> INRIA Futurs and LIX - École Polytechnique, France </i> <li> <A href="http://people.csse.uwa.edu.au/info.php?info=george" target="_blank">George Milne</a> <i> University of Western Australia, Australia </i> <li> <A href="http://www.cl.cam.ac.uk/~rm135" target="_blank">Robin Milner</a> <i> Cambridge University, UK </i> <li> <A href="http://www.entcs.org/mislove.html" target="_blank">Michael Mislove</a> <i> Tulane University, USA </i> <li> <A href="http://www-compsci.swan.ac.uk/~csfm/" target="_blank">Faron Moller</a> <i> University of Wales Swansea, UK (Not confirmed yet). </i> <li> <A href="http://www.di.unipi.it/~ugo/" target="_blank">Ugo Montanari</a> <i> Università di Pisa, Italy </i> <li> <A href="http://www-ctp.di.fct.unl.pt/~lm/" target="_blank">Luis Monteiro</a> <i> Universidade Nova de Lisboa, Portugal </i> <li> <A href="http://www.win.tue.nl/~mousavi/" target="_blank">Mohammad Mousavi</a> <i> Eindhoven University of Technology, The Netherlands </i> <li> <A href="http://lampwww.epfl.ch/~uwe/home.shtml" target="_blank">Uwe Nestmann</a> <i> TU Berlin, Germany </i> <li> <A href="http://www.brics.dk/~mn/" target="_blank">Mogens Nielsen</a> <i> BRICS, Denmark </i> <li> <A href="http://www.lix.polytechnique.fr/~colarte" target="_blank">Carlos Olarte</a> <i> LIX, Ecole Polytechnique </i> <li> <A href="http://www.lix.polytechnique.fr/~catuscia" target="_blank">Catuscia Palamidessi</a> <i> INRIA Futurs and LIX-École Polytechnique, France </i> <li> <A href="http://user.it.uu.se/~joachim/" target="_blank">Joachim Parrow</a> <i> Uppsala University, Sweden </i> <li> <A href="http://www.doc.ic.ac.uk/~iccp/" target="_blank">Iain Philips</a> <i> Imperial College, UK </i> <li> <A href="http://www.science.uva.nl/~alban/" target="_blank">Alban Ponse</a> <i> University of Amsterdam, The Netherlands </i> <li> <A href="http://perso.ens-lyon.fr/damien.pous/" target="_blank">Damien Pous</a> <i> École Normale Supérieure de Lyon, France </i> <li> Sylvain Pradalier <i>LIX - École Polytechnique, France </i> <li> <A href="http://www.dsi.unifi.it/~pugliese/" target="_blank">Rosario Pugliese</a> <i> Università di Firenze, Italy </i> <li> <A href="http://dit.unitn.it/~quaglia" target="_blank">Paola Quaglia</a> <i> Università di Trento, Italy </i> <li> <A href="http://www.cogs.susx.ac.uk/users/julianr/" target="_blank">Julian Rathke</a> <i> University of Sussex, UK </i> <li> <A href="http://slc.math.ist.utl.pt/amar.html" target="_blank">Antonio Ravara</a> <i> Instituto Superior Técnico, Portugal </i> <li> Camilo Rueda <i>Universidad Javeriana - Cali, Colombia </i> <li> <A href="http://www.saraswat.org/" target="_blank">Vijay Saraswat</a> <i> IBM TJ Watson Research Lab, USA </i> <li> <A href="http://www.ecs.soton.ac.uk/~vs" target="_blank">Vladimiro Sassone</a> <i> University of Southampton, UK </i> <li> <A href="http://www.eleves.ens.fr/home/saurin/" target="_blank">Alexis Saurin</a> <i> INRIA and LIX Ecole Polytechnnique, France </i> <li> <A href="http://www.ifi.uio.no/~gerardo/" target="_blank">Gerardo Schneider</a> <i> University of Oslo, Norway </i> <li> <A href="http://portal.surrey.ac.uk/computing/people/S.Schneider" target="_blank">Steve Schneider</a> <i> University of Surrey, UK </i> <li> <A href="http://www.lsv.ens-cachan.fr/~phs/" target="_blank">Philippe Schnoebelen</a> <i> LSV Cachan, France </i> <li> <A href="http://profs.sci.univr.it/~segala/" target="_blank">Roberto Segala</a> <i> Università di Verona, Italy </i> <li> <A href="http://www.cl.cam.ac.uk/users/pes20/" target="_blank">Peter Sewell</a> <i> Cambridge University, UK </i> <li> <A href="http://www.lix.polytechnique.fr/Labo/Francois-Regis.Sinot/" target="_blank">François-Régis Sinot</a> <i> LIX - École Polytecnique, France </i> <li> <A href="http://www.brics.dk/~pawel/index.html" target="_blank">Pawel Sobocinski</a> <i> Cambridge University, UK </i> <li> <A href="http://www.cl.cam.ac.uk/~ss368/" target="_blank">Samuel Staton</a> <i> Cambridge University, UK </i> <li> <A href="http://www.lix.polytechnique.fr/~lutz/" target="_blank">Lutz Strassburger</a> <i> INRIA and LIX École Polytechnique, France </i> <li> <A href="http://www.lix.polytechnique.fr/~troina/" target="_blank">Angelo Troina</a> <i> LIX École Polytechnique, France </i> <li> <A href="http://www.cs.le.ac.uk/people/et52" target="_blank">Emilio Tuosto</a> <i> University of Leicester, UK </i> <li> <A href="http://www.ueda.info.waseda.ac.jp/~ueda/" target="_blank">Kazunori Ueda</a> <i> Waseda University, Japan </i> <li> <A href="http://www.mcs.le.ac.uk/~iu3/" target="_blank">Irek Ulidowski</a> <i> University of Leicester, UK </i> <li> <A href="http://www.lix.polytechnique.fr/~fvalenci/" target="_blank">Frank D. Valencia</a> <i> CNRS and LIX École Polytechnique, France </i> <li> <A href="http://www.info.ucl.ac.be/~pvr/cvvanroy.html" target="_blank">Peter Van Roy</a> <i> Université catholique de Louvain, Belgium </i> <li> <A href="http://www.doc.ic.ac.uk/~varacca/" target="_blank">Daniele Varacca</a> <i> Imperial College, UK </i> <li> <A href="http://www.di.fc.ul.pt/~vv/" target="_blank">Vasco Vasconcelos</a> <i> University of Lisbon, Portugal </i> <li> <A href="http://www.it.uu.se/katalog/victor" target="_blank">Bjorn Victor</a> <i> Uppsala University, Sweden </i> <li> <A href="http://www.doc.ic.ac.uk/~mgv98/" target="_blank">Maria Grazia Vigliotti</a> <i> Imperial College, UK </i> <li> <A href="http://www.cl.cam.ac.uk/~gw104/" target="_blank">Glynn Winskel</a> <i> Cambridge University, UK </i> <li> <A href="http://www.wischik.com/lu/" target="_blank">Lucian Wischik</a> <i> Microsoft Corp., USA </i> <li> <A href="http://www.lix.polytechnique.fr/~wu/" target="_blank">Peng Wu</a> <i> CNRS and LIX, Ecole Polytechnique, France</i> <li> <A href="http://www.doc.ic.ac.uk/~yoshida/" target="_blank">Nobuko Yoshida</a> <i> Imperial College, UK </i> <li> <A href="http://moscova.inria.fr/~zappa" target="_blank">Francesco Zappa Nardelli</a> <i> INRIA Rocquencourt, France </i> <li> <A href="http://www.cs.unibo.it/~zavattar/" target="_blank">Gianluigi Zavattaro</a> <i> Università di Bologna, Italy </i> </ol> </tr></td> </tbody> </table> </div> </p> </td> </p></td> <td colspan="2" background="images/BoxDer.png"></td> <td><img src="images/spacer.gif" width="1" height="355" border="0" alt="" /></td> </tr> <tr> <td colspan="3"><img name="esquinaInfIzq" src="images/esquinaInfIzq.png" width="41" height="38" border="0" id="esquinaInfIzq" alt="" /></td> <td colspan="8"><img name="BordeInf" src="images/BordeInf.png" width="876" height="38" border="0" id="BordeInf" alt="" /></td> <td><img name="esquinaInfDer" src="images/esquinaInfDer.png" width="48" height="38" border="0" id="esquinaInfDer" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="38" border="0" alt="" /></td> </tr> <tr> <td colspan="12"><img name="template_r8_c2" src="images/template_r8_c2.png" width="965" height="60" border="0" id="template_r8_c2" usemap="#m_template_r8_c2" alt="" /></td> <td><img src="images/spacer.gif" width="1" height="60" border="0" alt="" /></td> </tr> </table> <map name="m_template_r2_c4" id="m_template_r2_c4"> <area shape="poly" coords="1,1,955,0,955,81,0,81" href="index.html" alt="" /> </map> <map name="m_template_r8_c2" id="m_template_r8_c2"> <area shape="rect" coords="792,8,910,47" href="http://www.lix.polytechnique.fr/comete" target="_blank" alt="" /> <area shape="rect" coords="558,9,723,51" href="http://www.inria.fr" target="_blank" alt="" /> <area shape="rect" coords="346,4,464,58" href="http://www.cnrs.fr" target="_blank" alt="" /> <area shape="rect" coords="192,3,261,53" href="http://www.polytechnique.fr" target="_blank" alt="" /> <area shape="rect" coords="49,0,109,49" href="http://www.lix.polytechnique.fr/" target="_blank" alt="" /> </map> </body> </html>