<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> CALL FOR PARTICIPATION</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> CONCUR'07</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> 18th International Conference on Concurrency Theory </FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> September 3th - 8th, 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> Lisbon, Portugal</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> !!! Early registration open until July 31st. !!!</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">CONCUR 2007, the 18th International Conference on Concurrency Theory,</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">will take place in the Gulbenkian Foundation, Lisbon, Portugal,</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">September 4 - 7, 2007. The purpose of the CONCUR conferences is to</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">bring together researchers working on the theory of concurrency and</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">its applications. Check the web site for all details about the</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">scientific program, social program, and registration instructions.</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"> <A href="http://concur07.di.fc.ul.pt">http://concur07.di.fc.ul.pt</A>/</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">INVITED LECTURES</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">================</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">* Luca Aceto, Reykjavik University, Iceland</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">* Peter O'Hearn, University of London, UK</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">* Fred B. Schneider, Cornell University, USA</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">INVITED TUTORIALS</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">=================</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">* Vincent Danos, Université de Paris 7, France</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">* José Fiadeiro, University of Leicester, UK</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">AFFILIATED WORKSHOPS </FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">====================</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Expressiveness in Concurrency (EXPRESS)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">3rd September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Graph Transformation for Verification and Concurrency (GT-VC)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">3rd September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Security Issues in Concurrency (SECCO)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">3rd September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Verification and Analysis of Multi-threaded Java-like Programs (VAMP)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">3rd September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Applying Concurrency Research in Industry (IFIP WG 1.8)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">7th September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">Foundations of Coordination Languages and Software Architectures (FOCLASA)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">8th September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">From Biology To Concurrency and back (FBTC)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">8th September 2007</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier"><BR class="khtml-block-placeholder"></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">International Workshop on Verification of Infinite-State Systems (INFINITY)</FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#0000DD"><FONT class="Apple-style-span" face="Courier">8th September 2007</FONT></FONT></DIV><DIV><BR class="khtml-block-placeholder"></DIV></BODY></HTML>