Added Tetrapod Workshop Speakers

events/Tetrapod-2018.md

@@ -44,7 +44,15 @@ Of particular interest are
 
 #### Invited speakers and topics
 
-Invitations in progress
+| 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 |
+
 
 #### Procedures for selecting papers
   The organizers will select invited speakers and topics.