-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTeaching.html
29 lines (27 loc) · 2.26 KB
/
Teaching.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Teaching</title>
<meta charset='utf-8' />
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
<meta content='width=device-width,initial-scale=1' name='viewport' />
<link href='web.css' rel='stylesheet' type='text/css' />
<meta content='web.tex' name='src' />
</head><body>
<!-- l. 136 --><div class='crosslinks'><p class='noindent'>[<a href='Research.html'>next</a>] [<a href='contentsname.html'>prev</a>] [<a href='contentsname.html#tailcontentsname.html'>prev-tail</a>] [<a href='#tailTeaching.html'>tail</a>] [<a href='web.html#Teaching.html'>up</a>] </p></div>
<h3 class='sectionHead' id='teaching'><span class='titlemark'>1 </span> <a id='x3-20001'></a>Teaching</h3>
<ul class='itemize1'>
<li class='itemize'><a href='https://mery54.github.io/fmt/'>Using Event-B for checking contracts</a> is an experiment carried out at Telecom Nancy
to present contracts in several forms and was presented at the FMT workshop (see
<a href='https://link.springer.com/chapter/10.1007/978-3-031-71379-8_6'>publication</a>).
</li>
<li class='itemize'><a href='https://mery54.github.io/teaching/mosos/'>Lectures MOSOS on formal modelling</a> that I teach in the third year of <a href='https://telecomnancy.univ-lorraine.fr'>Telecom Nancy</a>
(corresponding to the fifth year at Uniersity) and in the University’s Masters in Computer
Science. Part of the course is taught at <a href='https://www.maynoothuniversity.ie/'>Maynooth University in Ireland</a> as part of
Rosemary Monahan’s course on my formal methods.
</li>
<li class='itemize'><a href='https://mery54.github.io/teaching/mvsi/'>Lectures MVSI on verification nd modelling of programs</a>.
</li></ul>
<!-- l. 163 --><div class='crosslinks'><p class='noindent'>[<a href='Research.html'>next</a>] [<a href='contentsname.html'>prev</a>] [<a href='contentsname.html#tailcontentsname.html'>prev-tail</a>] [<a href='Teaching.html'>front</a>] [<a href='web.html#Teaching.html'>up</a>] </p></div>
<!-- l. 163 --><p class='indent'><a id='tailTeaching.html'></a></p>
</body>
</html>