Update index.md with Gustavo's info

Author: luigiapetre

content/post/tutorials/index.md

@@ -59,6 +59,14 @@ Here are the details of the scheduled Zoom meeting:
 
 
 ## 2025
+<!------------------------------------------------------------------------------------>
+- <img src="photos/DraganaMilovancevic.jpg" style="width:200px;" /> September 26, 2025, 3 pm CEST: [Gustavo Carvalho]([https://people.epfl.ch/dragana.milovancevic/?lang=en](https://ghpc.github.io/)), [Universidade Federal de Pernambuco]([https://lara.epfl.ch/w/](https://www.ufpe.br/inicio)), Brazil: **From specifications to code with B: a personal account on teaching formal methods in Brazil**
+
+
+---
+
+
+
 <!------------------------------------------------------------------------------------>
 - <img src="photos/DraganaMilovancevic.jpg" style="width:200px;" /> August 1, 2025, 3 pm CEST: [Dragana Milovancevic](https://people.epfl.ch/dragana.milovancevic/?lang=en), [EPFL](https://lara.epfl.ch/w/), Switzerland: **Formal Autograding in a Classroom**