diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md index e45a9d46e6818f8f77f119685cb0a026aa6c0b24..10e0eee392980931bf02e40503cb2c3ce4de5499 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.