Email Gateway (Aug 23 2022 at 08:21): Email Gateway (Aug 23 2022 at 08:21):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle Workshop 2020 will be on Tuesday 30-Jun-2020 in Paris, associated
with IJCAR and the "Paris Nord Summer of LoVe". See also:
https://sketis.net/isabelle/isabelle-workshop-2020
https://ijcar2020.org
https://lipn.univ-paris13.fr/summer-of-love-2020
Important dates:
Paper submission deadline: 01-Apr-2020
Notification of acceptance: 01-May-2020
We hope to see many interesting contributions on
(https://easychair.org/conferences/?conf=isabelle2020) and many participants
in Paris-Aubervilliers (https://www.campus-condorcet.fr).
Makarius
Last updated: Apr 24 2024 at 16:18 UTC