Our paper in the 2025 IEEE 26th Latin American Test Symposium (LATS) on "Preserving and Improving Verifiability of Circuits Based on Local Transformations" is available #online ieeexplore.ieee.org/abstract/doc... #LATS2025 @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer #verification

#LATS2025 - #keynote at the 26th IEEE Latin American Test Symposium 2025, March 11-14, San Andrés Island, Colombia on "Preserving and Improving Verifiability of Circuits based on Local Transformations" cas.polito.it/LATS2025/pro... @unibremen.bsky.social #PolyVer #test #verification

#LATS2025 - 26th IEEE Latin American Test Symposium 2025 starts with the Opening Session cas.polito.it/LATS2025/ @unibremen.bsky.social @dsc-ub.bsky.social #test #verification

#LATS2025 - arrived in San Andres Island, Colombia for the 26th IEEE Latin American Test Symposium 2025; program starts tomorrow with the #tutorials cas.polito.it/LATS2025/ @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #test #verification

#LATS2025 - looking forward to deliver a #keynote at the 26th IEEE Latin American Test Symposium 2025, San Andrés Island, Colombia on "Preserving and Improving Verifiability of Circuits based on Local Transformations" cas.polito.it/LATS2025/pro... @unibremen.bsky.social @dfki.bsky.social #PolyVer