https://sylviamesicek.github.io/ https://sylviamesicek.github.io/categories/ https://sylviamesicek.github.io/categories/coursework/ https://sylviamesicek.github.io/categories/coursework/page/1/ https://sylviamesicek.github.io/categories/formal-verification/ https://sylviamesicek.github.io/categories/formal-verification/page/1/ https://sylviamesicek.github.io/categories/numerical-relativity/ https://sylviamesicek.github.io/categories/numerical-relativity/page/1/ https://sylviamesicek.github.io/cv/ https://sylviamesicek.github.io/presentations/ https://sylviamesicek.github.io/presentations/page/1/ https://sylviamesicek.github.io/presentations/stars2025/ 2025-04-02 https://sylviamesicek.github.io/presentations/urs2023/ 2023-08-04 https://sylviamesicek.github.io/presentations/urs2026/ 2026-04-07 https://sylviamesicek.github.io/publications/ https://sylviamesicek.github.io/publications/atmosphere/ 2023-10-23 https://sylviamesicek.github.io/publications/page/1/ https://sylviamesicek.github.io/tags/ https://sylviamesicek.github.io/tags/oral-presentation/ https://sylviamesicek.github.io/tags/oral-presentation/page/1/ https://sylviamesicek.github.io/tags/poster/ https://sylviamesicek.github.io/tags/poster/page/1/