coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Rodolphe Lepigre <rodolphe.lepigre AT univ-smb.fr>
- To: coq-club AT inria.fr
- Cc: Christophe Raffalli <christophe.raffalli AT univ-savoie.fr>, Pierre Hyvernat <pierre.hyvernat AT univ-savoie.fr>, Clovis Eberhart <ceberhar AT ens-cachan.fr>, Tom Hirschowitz <tom.hirschowitz AT univ-savoie.fr>
- Subject: [Coq-Club] Workshop on Termination and Circular Proofs (Chambéry, 19/07)
- Date: Thu, 8 Jun 2017 15:35:33 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rodolphe.lepigre AT univ-smb.fr; spf=Pass smtp.mailfrom=rlepigre AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr0-f169.google.com
- Ironport-phdr: 9a23:lwC2YBVfjtusEA7GzOr4tXKeCTfV8LGtZVwlr6E/grcLSJyIuqrYbBCPt8tkgFKBZ4jH8fUM07OQ6PG/HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjSwbLdwIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlDkIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDI2yb5UBAfcCM+lXs4byulQAohWlCAmwB+7i0CNEimPs0KA41ekqDAHI3BYnH9ILqHnasNL1O7oVUeCx1KnIzSvMZO5Q1zjj8IjIcx8hoeuSUrltdsfR004vGB7CjlWUsYzlPy2a2v4Js2eF9+pgVO2vi3Q5pAxqvzivwMYsipfQioIOz1DL7j91wIgvJdChTkNwfNCqEJxVty6ANot2RNsvQ3xuuCY71L0KoIW7czIUyJQgxh7QdeaLc4aS4h/lSe2fIi94iWp7dL6jgxu+60utx+3mWsWpzlpHrTBJnsTNu30JzxDf98yKR/Vn8kqu2juDzR3f5v9KLEwuiKbWJJgsyaMqmJUJq0TMBCr2lV32jKCIckUk/fCl6+H9bbXnop+QLoF1ihviPqg3lMyzHOU1PwwUU2iU/uS807Lj/UnnT7lQkvI2lazZvIjbJcQduKG5HxdY3pg/5xu7FTur09QVkWMaIF5bex+LlZXlNlDKLfzgCPewmVWskDNlx/DcOb3hB43ALmLHkLj/ZbZ96kFcyBAtwt1E6JJUD6sOIPP3WkPrqNPYCRo5PxSuw+n7ENV9yp8eWWWXD6CFN6PSqEaE6f4rI+mRf4AYoy39Kvgg5/72l3A1g14dfa+z3ZsWcn+0BPpmI1/KKUbr19wGCCIBuhc0ZO3sklyLFzBJNFioWKdp3DY3D4a+DYqLYo21gbOb0W/vBJpaYWReCl3KFXrwdoqeVt8RbiOMZ9RkmHoKT+7yGMcayRiyuVqimPJcJe3O93hd7Mq72Q==
CALL FOR PARTICIPATION & CONTRIBUTIONS
Workshop on Termination and Circular Proofs
19th of July 2017 - Chambéry, France
https://lama.univ-savoie.fr/~lepigre/termination/
BACKGROUND
Termination is a very active research topic, which is essential for the con-
struction of proof assistants. Indeed, a circular proof (i.e., a proof that
may use its own goal as a premise) is only valid if it is well-founded, and
thus terminating in some sense.
This aim of this one day workshop is to bringing together researchers from
both the termination and the proof assistant communities around a few talks,
in the hope of stimulating interactions and fruitful discussions.
INVITED SPEAKER
Andreas Abel (Gothenburg University / Chalmers)
CONTRIBUTED TALKS
We solicit contributed talks on topics that should relate (in a broad sense)
to termination or/and circular proofs. You should submit a title and a small
abstract by email to the organisers (the sooner, the better).
REGISTRATION
Registration is free of charge, but mandatory on the following web page. It
will only take you thirty seconds as we ask very few informations. Note that
you will not receive any confirmation email, just check that you appear on
the list of participants.
https://lama.univ-savoie.fr/~lepigre/termination/
To make our lives easier, please register as early as possible!
PRELIMINARY PROGRAM
19th of July 2017:
09:30 - 10:00 Breakfast
10:00 - 11:00 Invited talk (Andreas Abel)
11:00 - 11:30 Coffee break
11:30 - 12:00 Contributed talk 1
12:00 - 12:30 Contributed talk 2
12:30 - 14:30 Lunch
14:30 - 15:00 Contributed talk 3
15:00 - 15:30 Contributed talk 4
15:30 - 16:00 Coffee break
16:00 - 16:30 Contributed talk 5
16:30 - 17:00 Contributed talk 6
ORGANISING COMMITTEE
Rodolphe Lepigre (Université Savoie Mont Blanc)
Christophe Raffalli (Université Savoie Mont Blanc)
Pierre Hyvernat (Université Savoie Mont Blanc)
Clovis Eberhart (Université Savoie Mont Blanc)
Tom Hirschowitz (Université Savoie Mont Blanc)
CONTACT
rodolphe.lepigre AT univ-smb.fr
- [Coq-Club] Workshop on Termination and Circular Proofs (Chambéry, 19/07), Rodolphe Lepigre, 06/08/2017
Archive powered by MHonArc 2.6.18.