Skip to content

Commit

Permalink
Update news.toml
Browse files Browse the repository at this point in the history
Add that artifact for iFM 2024 was also accepted.
  • Loading branch information
bobismijnnaam authored Sep 17, 2024
1 parent ea59983 commit 1936f63
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 @@ -529,10 +529,10 @@ 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.
"""

["Paper accepted at iFM 2024"]
["Paper & artifact accepted at iFM 2024"]
date = "2024-08-20"
content = """
The paper **VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory** written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at iFM 2024.
The paper **VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory** written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at iFM 2024. The accompaniying artifact (available <a href="https://doi.org/10.5281/zenodo.13348214">here</a>) has also been accepted with available & reusable badges.
"""

["Two papers accepted at SEFM 2024"]
Expand Down

0 comments on commit 1936f63

Please sign in to comment.