Software@LTH events
01 June
03 June
07 June
08 June
10 June
PhD defence: Certifying Correctness for Combinatorial Algorithms by Using Pseudo-Boolean Reasoning
From: 2022-06-10 14:15 to 17:00 Type: Disputation
[more]16 June
Erik Gärtner - Active and Physics-Based Human Pose Estimation
From: 2022-06-16 10:00 to 11:30 Type: Föreläsning
[more]