[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi everyone,
The workshop on Theory and Practice of Static Analysis (previously
Incorrectness workshop at POPL24) has its call for presentations open!
Deadline is Thursday Nov 7th (website is to be updated with the correct
deadline). See call at:
https://urldefense.com/v3/__https://popl25.sigplan.org/home/tpsa-2025*About__;Iw!!IBzWLUs!RJVFkL0yRD_XXEPZASIGgB5PKIJgqnH2tLfHKphedw-EpXnN1dbFDR-uOwAjg8NHMhyTYnFAxSOTupNItnnefZUK1fHICXFqlfVOMh0$
Cheers,
Sacha
