diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6da391259dd6bbaa9dadfa4969fdc04a9b980804..3365414e9ef9af7b0a5cfddd901599f61ae0438b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,6 +36,6 @@ deploy_staging:
# build the website
- bundle exec jekyll build -d _site
# copy over all the files into the deployment folder
- - cd _site && rsync -rv -e ssh --checksum ./ deploy@magma.informatik.uni-erlangen.de:/var/www/www.kwarc.info --delete
+ - cd _site && rsync -rv -e ssh --checksum ./ deploy@static.kwarc.info:/var/www/www.kwarc.info --delete
only:
- master
\ No newline at end of file
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.
diff --git a/people/tpollinger.md b/people/tpollinger.md
index 009517aaad6de5468e372445900385d9d5494da2..3bd80ed719ed8c54898429c6d7025f8ab0a73bf1 100644
--- a/people/tpollinger.md
+++ b/people/tpollinger.md
@@ -12,4 +12,5 @@ affiliation: Computational Engineering, FAU Erlangen-Nürnberg
---
### Description
-I am doing my Master's thesis at the KWARC group, somewhere in the field between Mathematical Knowledge Representation and High Performance Simulations. If you are interested in the current status of the topic, feel free to contact me.
+I did my Master's thesis at the KWARC group, somewhere in the field between Knowledge Representation and Mathematical Modeling and Simulations.
+