Skip to content

Commit 57c36b2

Browse files
authored
Update index.md with Gustavo's photo
1 parent 7e875b8 commit 57c36b2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

content/post/tutorials/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ Here are the details of the scheduled Zoom meeting:
6060

6161
## 2025
6262
<!------------------------------------------------------------------------------------>
63-
- <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**
63+
- <img src="photos/GustavoCarvalho.png" 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**
6464

6565

6666
---

0 commit comments

Comments
 (0)