[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] TFM09: Call for Papers (Formal Methods Week, Eindhoven,November 6th 2009)




--Apple-Mail-10-528098311
Content-Type: multipart/alternative;
	boundary=Apple-Mail-9-528098060


--Apple-Mail-9-528098060
Content-Transfer-Encoding: 7bit
Content-Type: text/plain;
	charset=US-ASCII;
	delsp=yes;
	format=flowed

                                                TFM2009
                  2nd Int. FME Conference on Teaching Formal Methods
                         "Widening Access to Formal Methods"
                            Friday, November 6th 2009
                               co-located with
              FM2009 : 16th International Symposium on Formal Methods
             Eindhoven, the Netherlands, November 2 - November 6, 2009

                                CALL FOR PAPERS

                     (URL: http://www.di.uminho.pt/tfm09)


1. About the conference
-----------------------
Ten years after the First World Formal Methods Congress (FM'99) in  
Toulouse,
formal methods communities from all over the world will once again  
have an
opportunity to come together.  As part of the First Formal Methods  
Week event
surrounding the FM2009 conference in Eindhoven, Formal Methods Europe  
will
be organizing TFM2009, the Second International Conference on  
Teaching Formal
Methods.

The conference will serve as a forum to explore the successes and  
failures
of Formal Methods (FM) education, and to promote cooperative projects to
further education and training in FMs. We would like to provide a  
forum for
lecturers, teachers, and industrial partners to discuss their  
experience,
present their pedagogical methodologies, and explore best practices.

TFM2009 follows in a series of recent events on teaching formal methods,
including: two BCS-FACS TFM workshops (Oxford in 2003, and London in  
2006),
the TFM 2004 conference in Ghent (with proceedings published as Springer
LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with  
FM'06),
FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located
with ICFEM), etc.

2. Topics of interest
---------------------
Formal methods (FM) have an important role to play in the development of
complex computing systems - a role acknowledged in industrial  
standards such
as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise  
modeling
notations, semantic markup languages, and model-driven techniques. There
is a growing need for software engineers who can work effectively  
with simple,
mathematical abstractions, and with practical notions of inference  
and proof.
However, there is little clear guidance ? for educators, for  
managers, or
for the engineers themselves ? as to what might comprise a basic  
education
in FM. Neither the present IEEE/ACM Software Engineering Body of  
Knowledge
(SWEBOK) nor the forthcoming Graduate Software Engineering Reference  
Curriculum
(GSWERC) provide the kind of specific information that teachers and  
practitioners
need to establish an adequate, balanced programme of learning in FM.

Original contributions are solicited that provide insight, opinions, and
suggestions for courses of action regarding the teaching FMs,  
including but
not limited to the following aspects:

     * experiences of teaching FMs, both successful and unsuccessful;
     * educational resources including the use of books, case studies  
and the internet;
     * the education of weak and mathphobic students;
     * the integration, or otherwise, of FMs into the curriculum,  
including
       contributions to the definition of a Formal Methods Body of  
Knowledge (FMBOK);
     * the advantages of FM-trained graduates in the workplace;
     * changing attitudes towards FMs in students, academic staff and  
practitioners;
     * the necessary mathematical background.

Submissions may be up to 20 pages long, using the Springer LNCS  
format. Negotiations
are under way with Springer Verlag for the publication of the  
proceedings
of the conference in the LNCS series.

3. Important dates
------------------
Please put the following dates in your diary:

Submission deadline	May 25, 2009
Notification of acceptance	July 6, 2009
Final version	August 3, 2009

4. How to submit
----------------
Papers for TFM2009 will be processed through the EasyChair conference  
management system.To submit your paper, please visit:

       http://www.easychair.org/conferences/?conf=tfm2009

5. Invited speakers
-------------------
To be announced

6. Programme Committee
----------------------
Izzat Alsmadi	(North Dakota State University, USA)
Dines Bjorner	(IIMM Institute, Denmark)
Eerke Boiten	(University of Kent, UK)
Raymond Boute	(Universiteit Gent, Belgium)
Andrew Butterfield	(Trinity College, Dublin)
Jim Davies	(University of Oxford, UK)
David Duce	(Oxford Brookes University, UK)
John Fitzgerald	(University of Newcastle upon Tyne, UK)
Jeremy Gibbons	(University of Oxford, UK)
Randolph Johnson	(National Security Agency, USA)
Michael Mac an Airchinnigh	(Trinity College, Dublin)
Dino Mandrioli	(Politecnico di Milano, Italy)
Jose Oliveira	(Universidade do Minho, Portugal)
Kees Pronk	(Technische Universiteit Delft, NL)
Bernhard Schaetz	(Tecnical University of Munique, Germany)
Wolfgang Schreiner	(Johannes Kepler University Linz, Austria)
Simao Melo de Sousa	(Universidade da Beira Interior, Portugal)
Kenji Taguchi	(National Institute of Informatics, Japan)
Jeannette Wing	(Carnegie-Mellon University, USA)

7. Sponsorship
----------------------
TFM2009 is supported by FME, the Formal Methods Europe Association




--Apple-Mail-9-528098060
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=ISO-8859-1

<html><body style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
-webkit-line-break: after-white-space; "><div><div><div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space"><font =
class=3D"Apple-style-span" color=3D"#000000">=A0=A0 =A0</font>=A0=A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0=A0</span>TFM2009</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
</span>2nd Int. FME Conference on Teaching Formal Methods</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 </span>"Widening Access to Formal =
Methods"</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 </span>Friday, November 6th 2009</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 </span>co-located =
with</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0=A0 =A0 =A0 =A0 =A0 =A0 </span>FM2009 =
: 16th International Symposium on Formal Methods</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =A0 =A0 =
=A0 =A0 </span>Eindhoven, the Netherlands, November 2 - November 6, =
2009</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0=A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 </span>CALL FOR =
PAPERS</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 </span>(URL: <a =
href=3D"http://www.di.uminho.pt/tfm09";>http://www.di.uminho.pt/tfm09</a>)<=
/div><div style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: =
0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">1. About =
the conference</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; =
">-----------------------</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Ten years =
after the First World Formal Methods Congress (FM'99) in =
Toulouse,</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">formal methods communities from =
all over the world will once again have an</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
">opportunity to come together.<span class=3D"Apple-converted-space">=A0 =
</span>As part of the First Formal Methods Week event</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">surrounding the FM2009 conference in Eindhoven, =
Formal Methods Europe will</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">be organizing =
TFM2009, the Second International Conference on Teaching =
Formal</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">Methods.</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">The =
conference will serve as a forum to explore the successes and =
failures</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">of Formal Methods (FM) =
education, and to promote cooperative projects to</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">further education and training in FMs. We would like =
to provide a forum for</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">lecturers, teachers, and =
industrial partners to discuss their experience,</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">present their pedagogical methodologies, and explore =
best practices.</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">TFM2009 follows in a series of recent events on =
teaching formal methods,</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">including: =
two BCS-FACS TFM workshops (Oxford in 2003, and London in =
2006),</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">the TFM 2004 conference in Ghent =
(with proceedings published as Springer</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">LNCS =
Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with =
FM'06),</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">FORMED (Budapest, at ETAPS =
2008), FMET 2008 (Kitakyushu 2008, co-located</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">with ICFEM), etc.</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
min-height: 14px; "><br></div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">2. Topics of =
interest</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">---------------------</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Formal methods (FM) have an important role to play =
in the development of</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">complex computing systems - =
a role acknowledged in industrial standards such</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">as IEC 61508 and ISO/IEC 15408, and in the =
increasing use of precise modeling</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">notations, =
semantic markup languages, and model-driven techniques. There</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">is a growing need for software engineers who can =
work effectively with simple,</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">mathematical =
abstractions, and with practical notions of inference and =
proof.</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">However, there is little clear =
guidance ? for educators, for managers, or</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">for the =
engineers themselves ? as to what might comprise a basic =
education</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">in FM. Neither the present =
IEEE/ACM Software Engineering Body of Knowledge</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">(SWEBOK) nor the forthcoming Graduate Software =
Engineering Reference Curriculum</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">(GSWERC) =
provide the kind of specific information that teachers and =
practitioners</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">need to establish an adequate, =
balanced programme of learning in FM.</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
min-height: 14px; "><br></div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Original =
contributions are solicited that provide insight, opinions, =
and</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">suggestions for courses of =
action regarding the teaching FMs, including but</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">not limited to the following aspects:</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0 =A0 </span>* experiences of teaching =
FMs, both successful and unsuccessful;</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0 =A0 </span>* educational resources =
including the use of books, case studies and the internet;</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =
</span>* the education of weak and mathphobic students;</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =
</span>* the integration, or otherwise, of FMs into the curriculum, =
including</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0 =A0 =A0 </span>contributions to the =
definition of a Formal Methods Body of Knowledge (FMBOK);</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =
</span>* the advantages of FM-trained graduates in the =
workplace;</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0 =A0 </span>* changing attitudes =
towards FMs in students, academic staff and practitioners;</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; "><span class=3D"Apple-converted-space">=A0 =A0 =
</span>* the necessary mathematical background.</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
">Submissions may be up to 20 pages long, using the Springer LNCS =
format. Negotiations</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">are under way with Springer =
Verlag for the publication of the proceedings</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">of the conference in the LNCS series.</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">3. =
Important dates</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">------------------</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Please put the following dates in your =
diary:</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Submission deadline<span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>May 25, 2009</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Notification of acceptance<span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	</span>July 6, =
2009</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">Final version<span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	</span>August 3, =
2009</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">4. How to submit</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
">----------------</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">Papers for TFM2009 will be =
processed through the EasyChair conference management system.To submit =
your paper, please visit:</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: =
14px; "><br></div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; "><span =
class=3D"Apple-converted-space">=A0 =A0 =A0 </span><a =
href=3D"http://www.easychair.org/conferences/?conf=3Dtfm2009";>http://www.e=
asychair.org/conferences/?conf=3Dtfm2009</a></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; min-height: 14px; "><br></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">5. =
Invited speakers</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">-------------------</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">To be announced</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: =
14px; "><br></div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">6. Programme Committee</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">----------------------</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Izzat =
Alsmadi<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(North Dakota State University, USA)</div><div style=3D"margin-top:=
 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Dines =
Bjorner<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(IIMM Institute, Denmark)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Eerke =
Boiten<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(University of Kent, UK)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Raymond =
Boute<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Universiteit Gent, Belgium)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Andrew =
Butterfield<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Trinity College, Dublin)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Jim =
Davies<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(University of Oxford, UK)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">David =
Duce<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Oxford Brookes University, UK)</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">John =
Fitzgerald<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(University of Newcastle upon Tyne, UK)</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Jeremy Gibbons<span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>(University of Oxford, =
UK)</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">Randolph Johnson<span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	</span>(National =
Security Agency, USA)</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">Michael Mac an =
Airchinnigh<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Trinity College, Dublin)</div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Dino =
Mandrioli<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Politecnico di Milano, Italy)</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Jose =
Oliveira<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Universidade do Minho, Portugal)</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Kees =
Pronk<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Technische Universiteit Delft, NL)</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Bernhard =
Schaetz<span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Tecnical University of Munique, Germany)</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Wolfgang Schreiner<span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>(Johannes Kepler University Linz, =
Austria)</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">Simao Melo de Sousa<span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Universidade da Beira Interior, Portugal)</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">Kenji Taguchi<span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>(National Institute of =
Informatics, Japan)</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; ">Jeannette Wing<span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>(Carnegie-Mellon University, USA)</div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; =
min-height: 14px; "><br></div><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">7. =
Sponsorship</div><div style=3D"margin-top: 0px; margin-right: 0px; =
margin-bottom: 0px; margin-left: 0px; ">----------------------</div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px; ">TFM2009 is supported by FME, the Formal Methods =
Europe Association</div><div style=3D"margin-top: 0px; margin-right: =
0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; =
"><br></div></div></div><br></div><br></body></html>=

--Apple-Mail-9-528098060--

--Apple-Mail-10-528098311
Content-Transfer-Encoding: base64
Content-Type: application/pkcs7-signature;
	name=smime.p7s
Content-Disposition: attachment;
	filename=smime.p7s

MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIJ6jCCBCEw
ggOKoAMCAQICBAQAA9QwDQYJKoZIhvcNAQEFBQAwdTELMAkGA1UEBhMCVVMxGDAWBgNVBAoTD0dU
RSBDb3Jwb3JhdGlvbjEnMCUGA1UECxMeR1RFIEN5YmVyVHJ1c3QgU29sdXRpb25zLCBJbmMuMSMw
IQYDVQQDExpHVEUgQ3liZXJUcnVzdCBHbG9iYWwgUm9vdDAeFw0wNTA1MDUxNDA3MDBaFw0xMjA1
MDUyMzU5MDBaMD4xCzAJBgNVBAYTAnB0MRUwEwYDVQQKEwxNVUxUSUNFUlQtQ0ExGDAWBgNVBAMT
D01VTFRJQ0VSVC1DQSAwMjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAN0N2tOSOeBz
mTNW52Z0lF8dai+9/j7REYIiJfjG2GrD/lC/pd8kBHaZZtYQYo6QuoD8Rz1y6Mz9+bZEgm9r+E7H
WOoBPIeuVF2Q3Tol/4gcnBvNeubCwMtjQJYnz2zHiho8iPRXmtDLfWkXzVzPtUgsjooZh1w1ePr9
5tdiF4+fjv5eUcYn/27Oxj0Gy+FwCU9nAKZ2nO8g/92NgJZOP1uQgap4+GBlAK3xKyGkj0WohkhA
GYhEuvfol8aeS7Hgq9EmeCqvpVIIJc+jORHsHAzG+69xAiTN+KZf3LsJc47QDQibzU4kcifaLfBk
/+vuZf9GX/QYAcifB3cvKBqP4jcCAwEAAaOCAW8wggFrMEUGA1UdHwQ+MDwwOqA4oDaGNGh0dHA6
Ly93d3cucHVibGljLXRydXN0LmNvbS9jZ2ktYmluL0NSTC8yMDE4L2NkcC5jcmwwHQYDVR0OBBYE
FB3DuYilGL5gpyymY8pmKvwMJ8G9MFMGA1UdIARMMEowSAYJKwYBBAGxPgEAMDswOQYIKwYBBQUH
AgEWLWh0dHA6Ly93d3cucHVibGljLXRydXN0LmNvbS9DUFMvT21uaVJvb3QuaHRtbDCBiQYDVR0j
BIGBMH+heaR3MHUxCzAJBgNVBAYTAlVTMRgwFgYDVQQKEw9HVEUgQ29ycG9yYXRpb24xJzAlBgNV
BAsTHkdURSBDeWJlclRydXN0IFNvbHV0aW9ucywgSW5jLjEjMCEGA1UEAxMaR1RFIEN5YmVyVHJ1
c3QgR2xvYmFsIFJvb3SCAgGlMA4GA1UdDwEB/wQEAwIBBjASBgNVHRMBAf8ECDAGAQH/AgEBMA0G
CSqGSIb3DQEBBQUAA4GBABe6tGhEuFeobKVmaJmt7Qq84Na2i6IazEX4vp720nXMT+VS3UsP5btB
Y3uvIETXOZKaG9/bRVEtJH6smOyFVvqdRRGKS0DYnMesAIIvckozZBSen2/+X/qP0W7WCWXomlJU
IMwLN2J3Br6XTCof68TEVpdw+Y0qvxZUKw2Qd/SGMIIFwTCCBKmgAwIBAgIEQmmaQDANBgkqhkiG
9w0BAQUFADA+MQswCQYDVQQGEwJwdDEVMBMGA1UEChMMTVVMVElDRVJULUNBMRgwFgYDVQQDEw9N
VUxUSUNFUlQtQ0EgMDIwHhcNMDgwMjE5MTM1ODQ5WhcNMTAwMjE4MTQxMTU2WjCB2TELMAkGA1UE
BhMCUFQxFTATBgNVBAoTDE1VTFRJQ0VSVC1DQTEWMBQGA1UECxMNQ0VSVElQT1IgLSBSQTESMBAG
A1UECxMJQ29ycG9yYXRlMTwwOgYDVQQLEzNEZXBhcnRhbWVudG8gZGUgSW5mb3JtYXRpY2EgRXNj
b2xhIGRlIEVuZ2VuaGFyaWEgVU0xCzAJBgNVBAsTAkRJMRQwEgYDVQQLEwtQZXJzb25hbCBJRDEm
MCQGA1UEAxMdSm9zZSBOdW5vIEZvbnNlY2EgZGUgT2xpdmVpcmEwgZ8wDQYJKoZIhvcNAQEBBQAD
gY0AMIGJAoGBALR/h1Abc6rct5HF8nJEhvZVf6dGJSAQnUWKju/UEm6GtcXTT7JmXpwc4PY8L2r4
aT18ymbigIz0tovLciPFbeaMoCDf0ugamsnNMjTvDK7FfiAGA0zJwttTooi7tEHWcy9CXGAThtLS
AVqJHmJk1ZjmAnztGq54GdQJmpomYLXjAgMBAAGjggKtMIICqTALBgNVHQ8EBAMCA/gwOAYIKwYB
BQUHAQEELDAqMCgGCCsGAQUFBzABgRxodHRwOi8vb2NzcC5tdWx0aWNlcnQuY29tL2NhMIHgBgNV
HSAEgdgwgdUwTQYJKwYBBAGwPAoCMEAwPgYIKwYBBQUHAgEWMmh0dHA6Ly93d3cubXVsdGljZXJ0
LmNvbS9jcHMvbXVsdGljZXJ0LWNhLWNwcy5odG1sMIGDBgsrBgEEAbA8CgKHbTB0MHIGCCsGAQUF
BwICMGYeZABoAHQAdABwADoALwAvAHcAdwB3AC4AbQB1AGwAdABpAGMAZQByAHQALgBjAG8AbQAv
AGMAcAAvAG0AdQBsAHQAaQBjAGUAcgB0AC0AYwBhAC0AMQAwADAANQAuAGgAdABtAGwwEQYJYIZI
AYb4QgEBBAQDAgWgMBsGA1UdEQQUMBKBEGpub0BkaS51bWluaG8ucHQwggEABgNVHR8EgfgwgfUw
gZqggZeggZSGL2h0dHA6Ly93d3cubXVsdGljZXJ0LmNvbS9jYS9tdWx0aWNlcnQtY2EtMDIuY3Js
hmFsZGFwOi8vbGRhcC5tdWx0aWNlcnQuY29tL2NuPU1VTFRJQ0VSVC1DQSUyMDAyLG89TVVMVElD
RVJULUNBLGM9UFQ/Y2VydGlmaWNhdGVSZXZvY2F0aW9uTGlzdD9iYXNlMFagVKBSpFAwTjELMAkG
A1UEBhMCcHQxFTATBgNVBAoTDE1VTFRJQ0VSVC1DQTEYMBYGA1UEAxMPTVVMVElDRVJULUNBIDAy
MQ4wDAYDVQQDEwVDUkw1NzAfBgNVHSMEGDAWgBQdw7mIpRi+YKcspmPKZir8DCfBvTAdBgNVHQ4E
FgQUDi9HBNh+xcTI/vUV9INhcPaKM88wCQYDVR0TBAIwADANBgkqhkiG9w0BAQUFAAOCAQEAOrES
3it/2h6jW4skj4aNy6FB5FYS2Dx6Va7qTBfUcAwlTGD82L4pfGb/KKbYyXsgthN/YDbFUZZxMf0n
a7uuKEu7+7YcrDgYKtyZ4+jMuvwiv4jpKcS0acnL/F/LTsx9+YpVmY9FZj4aWkyj6eENrBnAJF/y
P97yJjn31AuB+tj3qEcZOKF2agN7Wx3vykC2m5S7OlSlkQg9GUN8g2a/VxarnR7ceAaHWo+oyiTQ
UmAEwT+mh1HZBjGvgf1f7LKlxKuHQ6Tda75BHuXgP1rb7Qn+gHaniJqLwv12hyBK+NNmd8mxyLuh
PDcEPMYsyVNhJG/wp2/g2ipfh+b7+yEfrTGCAf0wggH5AgEBMEYwPjELMAkGA1UEBhMCcHQxFTAT
BgNVBAoTDE1VTFRJQ0VSVC1DQTEYMBYGA1UEAxMPTVVMVElDRVJULUNBIDAyAgRCaZpAMAkGBSsO
AwIaBQCgggENMBgGCSqGSIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTA5MDQy
NzEwMzE0M1owIwYJKoZIhvcNAQkEMRYEFEOnKHX94Xzo+P4TqdjwM+zMxB38MFUGCSsGAQQBgjcQ
BDFIMEYwPjELMAkGA1UEBhMCcHQxFTATBgNVBAoTDE1VTFRJQ0VSVC1DQTEYMBYGA1UEAxMPTVVM
VElDRVJULUNBIDAyAgRCaZpAMFcGCyqGSIb3DQEJEAILMUigRjA+MQswCQYDVQQGEwJwdDEVMBMG
A1UEChMMTVVMVElDRVJULUNBMRgwFgYDVQQDEw9NVUxUSUNFUlQtQ0EgMDICBEJpmkAwDQYJKoZI
hvcNAQEBBQAEgYAzQxavmca93zlbYJYFbyW3ytn5cO/XufYY+2V+0iH7vNNwppw/9YpRvpThGJk/
bdwBXKVjyWry+GeXWCxLXnidABeDhEDgj3n92UA8Sbd/80PkZ5MQDSLXKtp48/A595PP/UURO1KN
bXAQLtFNPKIJ6O3oEV+lqAoeTmtUEnjfmwAAAAAAAA==

--Apple-Mail-10-528098311--