The 5th International Workshop on Automated (Co)inductive Theorem Proving (Nancy, France, on July 2, 2024)

Call for Papers Invited Talks Program

404

Page not found :(

The requested page could not be found.

The 5th International Workshop on Automated (Co)inductive Theorem Proving (Nancy, France, on July 2, 2024)

The 5th International Workshop on Automated (Co)inductive Theorem Proving (Nancy, France, on July 2, 2024)
wait.in.france@gmail.com

WAIT2024
YutakangE

Join us for the 5th workshop on Automated (Co)inductive Theorem Proving. Don't miss this opportunity to engage with experts and shape the future of verification techniques.