We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7ade8cd commit 1e43bc6Copy full SHA for 1e43bc6
content/post/tutorials/index.md
@@ -61,7 +61,7 @@ Here are the details of the scheduled Zoom meeting:
61
## 2025
62
63
<!------------------------------------------------------------------------------------>
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**
+- <img src="photos/GraemeSmith.png" style="width:200px;" /> November 28, 2025, *10am 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**
65
---
66
67
0 commit comments