caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal
@ 2019-08-29  9:58 Luigia Petre
  0 siblings, 0 replies; only message in thread
From: Luigia Petre @ 2019-08-29  9:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 5593 bytes --]

# FMTea19 - CALL FOR PARTICIPATION

Formal Methods Teaching Workshop and Tutorial - FMTea19
Porto, October 7, 2019
https://fmtea.github.io/

Affiliated with the 3rd World Congress on Formal Methods<http://formalmethods2019.inesctec.pt/?page_id=84>

FMTea19 aims to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula.

FMTea19 is a full-day event, comprising both a tutorial part in the morning as well as the workshop part in the afternoon. We are extremely happy with both the invited and tutorial lectures in the morning as well as with the enthusiastic response we got to our call for papers.

Tutorial part of FMTea19
We are very pleased to present the following tutorial program in the morning:
-        Invited lecture: Prof Carroll Morgan (University of New South Wales and Data61, Australia) - Is Formal Methods Really Essential?
-        Tutorial lecture: Sir Tony Hoare (Cambridge University Computing Laboratory, UK) - Logic, Algebra, and Geometry at the Foundation of Computer Science
-        Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) - pseuCo.com
-        Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, the Netherlands): Efficient Online Homologation to Prepare Students for Formal Methods Courses

Workshop Part of FMTea19
The workshop program includes the presentation and discussion of 12 papers and 3 posters. We have divided the papers into three panel sessions. Each paper is shortly presented in its panel session and then, the session's presenters participate in a panel discussion of 30 minutes, led by one/two session chairs. The idea is to encourage an open and inclusive discussion that could also engage the audience. The posters will be placed inside FMTea's room and be available for discussion, for instance, during the afternoon coffee break. You can check the accepted papers below:

- Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach
- Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B
- Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Students
- Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
- Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specification of Programming Languages
- Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace Engineering
- María-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From Software in the Small to Software in the Large
- Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer Science Students
- Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method
- Jose Divasón and Ana Romero. Using Krakatoa for Teaching Formal Verification of Java Programs
- Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Geometry at the Foundation of Computer Science (invited paper)
- Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational Relevance of Formal Logic through Formal Proofs
- Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo Creuse. Teaching Deductive Verification through Frama-C and SPARK
- Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal Methods to Future Engineers
- Giampaolo Bella. You Already Used Formal Methods but Did Not Know

The abstracts of all presentations and the FMTea19 schedule can be seen here: https://www.easychair.org/smart-program/FMTea19/.

Registration
Registration is open as follows:
-        Early - until Sep 10 (AoE)
-        Late - from Sep 11 until 5 Oct (AoE)
-        On site - from Oct 6 to Oct 11 (AoE)

Registration is via the FM2019 website: http://formalmethods2019.inesctec.pt/?page_id=2363, where you can check the info on prices, deadlines, etc for FMTea, FM and related events, while the registration platform itself is here: https://www.weezevent.com/fm-19. The early registration fee (until September 10) for FMTea19 is 140 eur. It is very important that you mention FMTea19 in the text box if you register for more than our event (say for the whole week at FM'19). Only in this way we will know that you registered to FMTea and prepare accordingly.

The FMTea19 proceedings will be available only online. This belongs to a global move of the FM'19 events - they are all paperless, in an effort to provide a greener environment. The FMTea19 online proceedings will be available only to the registered FMTea19 participants, so please register in time to catch the early fee, until September 10. The proceedings is published by Springer in the Lecture Notes in Computer Science series, volume 11758.

Please do not hesitate to contact us for any question that may pop up. We are very happy about the FMTea19 program and look forward to meet you all on October 7 in Porto!

Kind regards,
Luigia Petre, Brijesh Dongol, Graeme Smith
(the PC co-chairs)


*** Welcome to FMTea19 ***
*** Welcome to PORTO ***
*** Welcome to Portugal ***
______________________________________________________________


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre<http://www.users.abo.fi/lpetre>



[-- Attachment #2: Type: text/html, Size: 18132 bytes --]

<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
	{font-family:Wingdings;
	panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
	{font-family:Wingdings;
	panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
	{font-family:Calibri;
	panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-family:"Calibri",sans-serif;
	color:black;
	mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:#0563C1;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{mso-style-priority:99;
	color:#954F72;
	text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
	{mso-style-name:msonormal;
	mso-margin-top-alt:auto;
	margin-right:0cm;
	mso-margin-bottom-alt:auto;
	margin-left:0cm;
	font-size:12.0pt;
	font-family:"Times New Roman",serif;}
span.EmailStyle18
	{mso-style-type:personal-compose;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
.MsoChpDefault
	{mso-style-type:export-only;
	font-size:10.0pt;
	font-family:"Calibri",sans-serif;
	mso-fareast-language:EN-US;}
@page WordSection1
	{size:612.0pt 792.0pt;
	margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
	{page:WordSection1;}
/* List Definitions */
@list l0
	{mso-list-id:953370661;
	mso-list-type:hybrid;
	mso-list-template-ids:-72732116 1161439780 136118275 136118277 136118273 136118275 136118277 136118273 136118275 136118277;}
@list l0:level1
	{mso-level-start-at:0;
	mso-level-number-format:bullet;
	mso-level-text:-;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:"Calibri",sans-serif;
	mso-fareast-font-family:Calibri;}
@list l0:level2
	{mso-level-number-format:bullet;
	mso-level-text:o;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:"Courier New";}
@list l0:level3
	{mso-level-number-format:bullet;
	mso-level-text:\F0A7;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:Wingdings;}
@list l0:level4
	{mso-level-number-format:bullet;
	mso-level-text:\F0B7;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:Symbol;}
@list l0:level5
	{mso-level-number-format:bullet;
	mso-level-text:o;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:"Courier New";}
@list l0:level6
	{mso-level-number-format:bullet;
	mso-level-text:\F0A7;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:Wingdings;}
@list l0:level7
	{mso-level-number-format:bullet;
	mso-level-text:\F0B7;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:Symbol;}
@list l0:level8
	{mso-level-number-format:bullet;
	mso-level-text:o;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:"Courier New";}
@list l0:level9
	{mso-level-number-format:bullet;
	mso-level-text:\F0A7;
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	text-indent:-18.0pt;
	font-family:Wingdings;}
ol
	{margin-bottom:0cm;}
ul
	{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="SV-FI" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><b><span lang="EN-US" style="color:#1F497D"># FMTea19 - CALL FOR PARTICIPATION<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Formal Methods Teaching Workshop and Tutorial &#8211; FMTea19<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Porto, October 7, 2019<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><a href="https://fmtea.github.io/">https://fmtea.github.io/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Affiliated with the
</span><span style="color:#1F497D"><a href="http://formalmethods2019.inesctec.pt/?page_id=84"><b><span lang="EN-US">3rd World Congress on Formal Methods</span></b></a></span><span lang="EN-US" style="color:#1F497D"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US" style="color:#1F497D">FMTea19</span></b><span lang="EN-US" style="color:#1F497D"> aims to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways
 to reboot the presence of formal methods in curricula. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">FMTea19 is a full-day event, comprising both a tutorial part in the morning as well as the workshop part in the afternoon. We are extremely happy with both the invited and tutorial lectures in the
 morning as well as with the enthusiastic response we got to our call for papers.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><u><span lang="EN-US" style="color:#1F497D">Tutorial part of FMTea19<o:p></o:p></span></u></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">We are very pleased to present the following tutorial program in the morning:<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Invited lecture: Prof Carroll Morgan (University of New South Wales and Data61, Australia) -
<b>Is Formal Methods Really Essential?</b><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Tutorial lecture: Sir Tony Hoare (Cambridge University Computing Laboratory, UK) -
<b>Logic, Algebra, and Geometry at the Foundation of Computer Science</b><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) -
<b>pseuCo.com</b><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, the Netherlands):
<b>Efficient Online Homologation to Prepare Students for Formal Methods Courses</b><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><u><span lang="EN-US" style="color:#1F497D">Workshop Part of FMTea19<o:p></o:p></span></u></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">The workshop program includes the presentation and discussion of
<b>12 papers</b> and <b>3 posters</b>. We have divided the papers into three panel sessions. Each paper is shortly presented in its panel session and then, the session&#8217;s presenters participate in a panel discussion of 30 minutes, led by one/two session chairs.
 The idea is to encourage an open and inclusive discussion that could also engage the audience. The posters will be placed inside FMTea&#8217;s room and be available for discussion, for instance, during the afternoon coffee break. You can check the accepted papers
 below:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Students<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specification of Programming Languages<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace Engineering<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- María-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From Software in the Small to Software in the Large<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer Science Students<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Jose Divasón and Ana Romero. Using Krakatoa for Teaching Formal Verification of Java Programs<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Geometry at the Foundation of Computer Science (invited paper)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational Relevance of Formal Logic through Formal Proofs<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo Creuse. Teaching Deductive Verification through Frama-C and SPARK<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal Methods to Future Engineers<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">- Giampaolo Bella. You Already Used Formal Methods but Did Not Know<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">The abstracts of all presentations and the FMTea19 schedule can be seen here:
<a href="https://www.easychair.org/smart-program/FMTea19/">https://www.easychair.org/smart-program/FMTea19/</a>.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US" style="color:#1F497D">Registration<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Registration is open as follows:<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Early &#8211; until Sep 10 (AoE)<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">Late &#8211; from Sep 11 until 5 Oct (AoE)<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="color:#1F497D"><span style="mso-list:Ignore">-<span style="font:7.0pt &quot;Times New Roman&quot;">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></span><![endif]><span lang="EN-US" style="color:#1F497D">On site &#8211; from Oct 6 to Oct 11 (AoE)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Registration is via the FM2019 website:
<a href="http://formalmethods2019.inesctec.pt/?page_id=2363">http://formalmethods2019.inesctec.pt/?page_id=2363</a>, where you can check the info on prices, deadlines, etc for FMTea, FM and related events, while the registration platform itself is here:
<a href="https://www.weezevent.com/fm-19">https://www.weezevent.com/fm-19</a>. The early registration fee (until September 10) for FMTea19 is 140 eur. It is very important that you mention FMTea19 in the text box if you register for more than our event (say
 for the whole week at FM'19). Only in this way we will know that you registered to FMTea and prepare accordingly.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">The FMTea19 proceedings will be available only online. This belongs to a global move of the FM'19 events - they are all paperless, in an effort to provide a greener environment. The FMTea19 online
 proceedings will be available only to the registered FMTea19 participants, so please register in time to catch the early fee, until September 10. The proceedings is published by Springer in the Lecture Notes in Computer Science series, volume 11758.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Please do not hesitate to contact us for any question that may pop up. We are very happy about the FMTea19 program and look forward to meet you all on October 7 in Porto!
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Kind regards, <o:p>
</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">Luigia Petre, Brijesh Dongol, Graeme Smith<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">(the PC co-chairs)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">*** Welcome to FMTea19 ***<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">*** Welcome to PORTO ***<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">*** Welcome to Portugal ***<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:#1F497D">______________________________________________________________<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:windowtext"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="color:windowtext"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:windowtext">__<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:windowtext">Luigia Petre, Docent, PhD<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="color:windowtext">Faculty of Science and Engineering<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:windowtext">Åbo Akademi University, Finland<o:p></o:p></span></p>
<p class="MsoNormal"><a href="http://www.users.abo.fi/lpetre"><span style="color:#0563C1">www.users.abo.fi/lpetre</span></a><span style="color:windowtext"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:windowtext"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="color:windowtext"><o:p>&nbsp;</o:p></span></p>
</div>
</body>
</html>

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-29  9:58 [Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Luigia Petre

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git