KTH SOFTWARE MEETUP

Event's organized by KTH Research Team ASSERT
September
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•

Events

You have 0 events pending approval by the calendar admin.
They will show up on the schedule once approved
 
Cover Image for Agentic Anonymous

Agentic Anonymous

​
By Sofia Bobadilla
​
U21
+72
 
Cover Image for John Regehr : Translation Validation for LLVM's 64-bit RISC-V and ARM Backends

John Regehr : Translation Validation for LLVM's 64-bit RISC-V and ARM Backends

​
By Sofia Bobadilla & Martin Monperrus
​
Lindstedtsvägen 3
​
talk
​
visitor