The 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024)

On By yutakang

We’re thrilled to announce that our proposal for the 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024) has been officially accepted for IJCAR 2024!

For more information, visit the website: WAIT2024