no message

events/Tetrapod-2018.md

@@ -35,14 +35,14 @@ Of particular interest are
 
 #### Invited speakers and topics
 
-| Speaker           | Modularity in...         |
-| ----------------- | ------------------------ |
-| Catherine Dubois  | Proof Checking           |
-| Georges Gonthier  | Large Proofs             |
-| Till Mossakowski  | Ontologies               |
-| Natarajan Shankar | Proof Assistants         |
-| Doug Smith        | Software Synthesis       |
-| Nicolas M. Thiery | Mathematical Computation |
+| Speaker           | Modularity in...         | Slides                 |
+| ----------------- | ------------------------ | ---------------------- |
+| Catherine Dubois  | Proof Checking           | [slides](Dubois.pdf)   |
+| Georges Gonthier  | Large Proofs             | [slides](Gonthier.pptx)|
+| Till Mossakowski  | Ontologies               |                        |
+| Natarajan Shankar | Proof Assistants         | [slides](Shankar.pdf)  |
+| Doug Smith        | Software Synthesis       | [slides](Smith.ppt)    |
+| Nicolas M. Thiery | Mathematical Computation | [slides](Thiery.html)  |
 
 #### Call for Opinions
 
@@ -177,7 +177,7 @@ ically, the early knowledge applications in a derivation introduce the overall a
 architectural structure and then many more knowledge applications are applied to improve
 performance and to fit the design to the target computational substrate.
 
-#### Modularity in Mathematical Computation
+#### Modularity in Mathematical Computation (Nicolas Thiery)
 Over the last decades, a huge amount of computational software was
 developed for pure mathematics, in particular to support research and
 education. As for any complex ecosystem of software components, the