Skip to content

Commit a863516

Browse files
authored
Update index.md - special time in red
1 parent 77132c7 commit a863516

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
@@ -61,7 +61,7 @@ Here are the details of the scheduled Zoom meeting:
6161
## 2025
6262

6363
<!------------------------------------------------------------------------------------>
64-
- <img src="photos/GraemeSmith.png" style="width:200px;" /> November 28, 2025, 10 am CET: [Graeme Smith](https://staff.itee.uq.edu.au/smith/), [University of Queensland](https://www.uq.edu.au/), Australia: **Autograding weakest precondition proofs and Dafny specifications**
64+
- <img src="photos/GraemeSmith.png" style="width:200px;" /> November 28, 2025, $${\color{red}10 am CET}$$: [Graeme Smith](https://staff.itee.uq.edu.au/smith/), [University of Queensland](https://www.uq.edu.au/), Australia: **Autograding weakest precondition proofs and Dafny specifications**
6565
---
6666

6767
<!------------------------------------------------------------------------------------>

0 commit comments

Comments
 (0)