<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://dev.eiffel.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Zhao</id>
		<title>EiffelStudio: an EiffelSoftware project - User contributions [en]</title>
		<link rel="self" type="application/atom+xml" href="https://dev.eiffel.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Zhao"/>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/Special:Contributions/Zhao"/>
		<updated>2026-04-29T10:06:22Z</updated>
		<subtitle>User contributions</subtitle>
		<generator>MediaWiki 1.24.1</generator>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=VSTTE_address_check&amp;diff=11714</id>
		<title>VSTTE address check</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=VSTTE_address_check&amp;diff=11714"/>
				<updated>2008-10-21T14:03:59Z</updated>
		
		<summary type="html">&lt;p&gt;Zhao: /* Juanjun Zhao */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;__NOTOC__&lt;br /&gt;
The following is the list of the addresses that we DO NOT YET HAVE for the VSTTE 2005 attendees (see [[VSTTE_checked_addresses|here]] for the confirmed addresses). The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.&lt;br /&gt;
&lt;br /&gt;
==HOW TO EDIT YOUR ENTRY==&lt;br /&gt;
* You must be logged in first. Use the &amp;quot;Log in / Create account&amp;quot; link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.&lt;br /&gt;
* Find your name in the list.&lt;br /&gt;
* Click the &amp;quot;Edit&amp;quot; mark to the right of your name.&lt;br /&gt;
* You will find yourself in Wiki edit mode and will see two lines of the form &amp;lt;nowiki&amp;gt;&amp;lt;pre&amp;gt; and &amp;lt;/pre&amp;gt;&amp;lt;/nowiki&amp;gt;. They delimit your entry.&lt;br /&gt;
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.&lt;br /&gt;
&lt;br /&gt;
Thank you for your cooperation and for making this volume possible.&lt;br /&gt;
&lt;br /&gt;
-- The VSTTE organization committee&lt;br /&gt;
&lt;br /&gt;
==&amp;lt;font color=&amp;quot;#a00000&amp;quot;&amp;gt;SAMPLE ENTRY==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
Bertrand Meyer&lt;br /&gt;
Chair of Software Engineering&lt;br /&gt;
Clausiusstrasse 59&lt;br /&gt;
8092 ETH Zentrum&lt;br /&gt;
Zurich&lt;br /&gt;
Switzerland&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Jean-Raymond Abrial ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Ralph Back ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Dines Bjorner ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Willem Paul de Roever ==&lt;br /&gt;
Done&lt;br /&gt;
&amp;lt;pre&amp;gt;Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Michael Ernst ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==David Gill ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Helen Gill ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Allan Goldberg ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Masami Hagiya ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Hagiya's co-author==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Stefan Hallerstede ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Klaus Havelund ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
==Jifeng He==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
Done&lt;br /&gt;
Jifeng He&lt;br /&gt;
Software Engineering Institute&lt;br /&gt;
East China Normal University&lt;br /&gt;
3663 Zhongshan Road(North)&lt;br /&gt;
Shanghai,China&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Andrew Ireland ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Mathai Joseph ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Tiziana Margaria ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
==Edu Metz ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Greg Nelson ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Ernst-Rüdiger Olderog ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
==Sanjiva Prasad ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Ganesan Ramalingam ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Mike Reed ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Martin Rinard ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Grigore Rosu ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Harald Ruess ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==John Rushby ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Mooly Sagiv ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Sagiv's co-author==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Florian Schneider ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
==Michel Sintzoff ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Bernhard Steffen ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Cesare Tinelli ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Georg Weissenbacher ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Steve Zdancewic ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Juanjun Zhao ==&lt;br /&gt;
&amp;lt;pre&amp;gt;&lt;br /&gt;
Jianjun Zhao&lt;br /&gt;
School of Software&lt;br /&gt;
Shanghai Jiao Tong University&lt;br /&gt;
1311 Software Building, 800 Dongchuan Road&lt;br /&gt;
Shanghai 200240, China&lt;br /&gt;
&amp;lt;/pre&amp;gt;&lt;/div&gt;</summary>
		<author><name>Zhao</name></author>	</entry>

	</feed>