Skip to content

Commit

Permalink
Update news.toml
Browse files Browse the repository at this point in the history
Updated date...
  • Loading branch information
OmerSakar authored Jul 18, 2024
1 parent b423b4a commit e7e4438
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions data/news.toml
Original file line number Diff line number Diff line change
Expand Up @@ -518,15 +518,15 @@ content = """
"""

["Two Member Graduation: Jort Mol Lous & Tycho Dubbeling"]
date = "2024-01-18"
date = "2024-07-18"
content = """
Two of our ex-bachelor students, Jort Mol Lous & Tycho Dubbeling, have graduated. Jort's bachelor thesis is titled <a href="https://purl.utwente.nl/essays/100726">"Automatic Precondition Generation For VerCors"</a> and Tycho's bachelor thesis is titled <a href="https://purl.utwente.nl/essays/100843">"Predicate Subtyping in VerCors"</a>. Well done Tycho and Jort! We wish you best of luck in your future endeavors.
"""



["Former VerCors Team Member Graduation: Naum Tomov"]
date = "2024-01-18"
date = "2024-07-18"
content = """
A former member of the VerCors team and now ex-master student, Naum Tomov has graduated. Well done Naum! We wish you best of luck in your future endeavors.
"""
Expand Down

0 comments on commit e7e4438

Please sign in to comment.