[isabelle-dev] RDP 2015 Call for Workshops

[Makarius]

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.


 	Makarius