From 632806fd5fc5018b1886fe82d5d7a339f98288e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Tue, 7 Nov 2017 23:46:30 +0100
Subject: [PATCH] Added Tetrapod Workshop Speakers

---
 events/Tetrapod-2018.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index e45a9d4..10e0eee 100644
--- a/events/Tetrapod-2018.md
+++ b/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.
-- 
GitLab