ander Malkis. MultithreadedCartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial ● Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki. Reducing Bounded Realizability Analysis to Reachability Checking ● Igor Potapov. InsertionDeletion Systems over Relational Words (informal presentation)