Skip to content

Commit

Permalink
Update news.toml
Browse files Browse the repository at this point in the history
Added surnames of authors
  • Loading branch information
OmerSakar authored Jan 23, 2024
1 parent ace8dda commit 7677899
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion data/news.toml
Original file line number Diff line number Diff line change
Expand Up @@ -426,7 +426,7 @@ content = """
["Journal Paper accepted at JSS"]
date = "2024-01-23"
content = """
> The paper **Survey of Annotation Generators for Deductive Verifiers** written by Sophie and Marieke has been accepted to be published in the journal of <a href="https://www.sciencedirect.com/journal/journal-of-systems-and-software" target="_blank">Systems & Software</a>. """
> The paper **Survey of Annotation Generators for Deductive Verifiers** written by Sophie Lathouwers and Marieke Huisman has been accepted to be published in the journal of <a href="https://www.sciencedirect.com/journal/journal-of-systems-and-software" target="_blank">Systems & Software</a>. """


["New PhD candidate Robert Mensing"]
Expand Down

0 comments on commit 7677899

Please sign in to comment.