BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Julius Marx (Hochschule RheinMain)
DTSTART:20260122T180000Z
DTEND:20260122T183000Z
DTSTAMP:20260420T025156Z
UID:LT2026/37
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/37/">
 MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL in Lean</a>
 \nby Julius Marx (Hochschule RheinMain) as part of Lean Together 2026\n\n\
 nAbstract\nThis talk introduces MRiscX\, a domain-specific language (DSL) 
 designed to lower the barrier to entry into the world of formal methods. E
 mbedded in Lean\, MRiscX allows RISC-V assembly code to be easily annotate
 d with formal specifications\, which can then be interactively verified. B
 y enabling the correctness of assembly code to be proven with minimal effo
 rt\, MRiscX makes it significantly easier for newcomers to get started wit
 h formal methods.\n
LOCATION:https://researchseminars.org/talk/LT2026/37/
END:VEVENT
END:VCALENDAR