Email Gateway (Aug 22 2022 at 17:03): Email Gateway (Aug 22 2022 at 17:03):From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
Dear colleagues,
The Fourth International Workshop on Automated (Co)inductive Theorem Proving (WAIT 2018) will take place in Amsterdam on 28 and 29 June 2018. See
http://matryoshka.gforge.inria.fr/wait2018/
for details. Please let us know if you would like to attend or give a talk. The list of confirmed participants is online.
The event is co-located with a more informal event, the Matryoshka 2018 workshop on higher-order automated reasoning, from 25 to 27 June 2018, which you could also consider attending: http://matryoshka.gforge.inria.fr/matryoshka2018/.
Regards,
Jasmin
Last updated: Nov 21 2024 at 12:39 UTC