news
| Sep 26, 2025 | Joining PC of FORTE26 |
|---|---|
| Sep 16, 2025 | Research Visit Australia |
| Jul 24, 2025 | Joining PC of FM26 |
| Jan 28, 2025 | New SoCP paper |
| Oct 17, 2024 | Augusto Sampaio visiting our group |
| Oct 15, 2024 | New FAC paper |
| Oct 10, 2024 | FMBC 25 @ ETAPS 2025 |
| Aug 31, 2024 | Paper accepted for ICTAC24 |
| Aug 22, 2024 | Paper accepted for SEFM24 |