[isabelle] The Second Workshop on Inductive Theorem Proving 20-21 March 2015



*********************************************************************
Call for participation:

The Second Workshop on Inductive Theorem Proving 20-21 March 2015,
Chalmers University, Gothenburg, Sweden.
*********************************************************************

Inductive theorem proving is a topic of growing interest in the
automated reasoning community. Following our successful first
workshop in London 2013, we would like to invite you to a second
workshop on inductive theorem proving. The workshop will be very
informal and aims to give researchers interested in the topic a
chance to meet, exchange ideas and perhaps also try out some of the
available theorem provers. We would like to invite talks featuring
demos and tutorials of inductive theorem provers, challenge
problems, new directions of research or anything else of interest to
the inductive theorem proving community.

The workshop will be free of charge but please register by *1 March*
by filling in the registration form here:
https://docs.google.com/forms/d/1Qpbrk7jBeIepXA-ONfbwpwXZuVguuviwG43Ihqnc3sc/viewform.
If you want to contribute a talk or demo, please submit a title and
a short abstract when you register.

The workshop will take place on Friday 20 March - Saturday 21 March
at Chalmersvillan, Gibraltargatan 1A, Gothenburg
(for map see webpage).

The preliminary schedule is as follows:
 * Friday: Workshop 9:00-17:00
 * Friday evening: Workshop Dinner
 * Saturday: Workshop 9:00-13:00, finishing with lunch

Web page: http://www.cse.chalmers.se/~nicsma/induction/

If you have any questions please contact Moa Johansson
(moa.johansson at chalmers.se<mailto:moa.johansson at chalmers.se>) or Nick Smallbone (nicsma at chalmers.se<mailto:nicsma at chalmers.se>).

Hope to see you in Gothenburg!

The HipSpec crew
(Moa Johansson, Dan Rosén, Nick Smallbone, Koen Claessen)




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.