[isabelle-dev] RDP 2015 Call for Workshops

Makarius makarius at sketis.net
Thu Aug 7 13:47:17 CEST 2014

On Wed, 6 Aug 2014, Aleksy Schubert wrote:

> [apologies for cross posting]
> -----------------------------------------------------------------------
> RDP 2015 Call for Workshops
> (Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland)
> -----------------------------------------------------------------------

Two notes:

   (1) Cross-posting between isabelle-dev and isabelle-users does not make
     any sense, since isabelle-dev is a proper subset of isabelle-users
     (more or less).

   (2) Posting workshop / conference announcements on isabelle-dev does not
     make any sense according to the semantics of the mailing list.


More information about the isabelle-dev mailing list