Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Workshop on Termination and Circular Proofs (Chambéry, 19/07)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Workshop on Termination and Circular Proofs (Chambéry, 19/07)


Chronological Thread 
  • 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.

Top of Page