Update

Author: dwslim

content/_index.md

@@ -43,9 +43,7 @@ sections:
           2. National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing \<NRF-NCR25-Fuzz-0001\>).
 
         ### Reading Groups
-        We currently run two reading groups on alternate weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
-          1. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book)
-          2. Logic/Type Theory
+        We currently run an [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) reading group once every 2 weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
 
   # - block: markdown
   #   content:

content/news/2024-06-26-alexey.md

@@ -3,4 +3,4 @@ date: 2024-06-26
 ---
 
 
-Alexey Paznikov joins us as a Research Fellow!
+**Alexey Paznikov** joins us as a Research Fellow!

content/news/2024-08-12-new-members.md

@@ -3,4 +3,4 @@ date: 2024-08-16
 ---
 
 
-PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!
+PhD student **Zihan Zhou**, and undergraduate students **Arsyad Kamili**, **Jed Koh Jin Keat**, **Ramanathan Kumarappan**, **Bryan Lim** and **David Zhu** join us!

content/news/2024-11-19-papers.md

@@ -3,4 +3,7 @@ date: 2024-11-19
 ---
 
 
-Papers accepted: [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185), [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf)
+Papers accepted:
+
+1. [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185)
+2. [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf)

content/news/2025-01-24-popl-src.md

@@ -0,0 +1,8 @@
+---
+date: 2025-01-24
+---
+
+Achievements in the POPL'25 Student Research Competition:
+
+1. **Grace** won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it.
+2. **Jed** won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages.

themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss

@@ -25,7 +25,12 @@
 }
 
 .news-list-item .news-content p {
-  margin-bottom: 0;
+  margin-bottom: 0.2rem;
+}
+
+.news-list-item .news-content :is(ul,ol,dl) {
+  margin-top: 0;
+  font-size: 0.95rem;
 }
 
 .pub-list-item {