[Club2] Fw: Re: Thu. Sept. 8, 14:00, talk by Matej Urbas

[Andrei Popescu]

Reminder: we have a talk 2 hours from now.

Cheers, 
  Andrei

--- On Mon, 9/5/11, Andrei Popescu <uuomul at yahoo.com> wrote:

> From: Andrei Popescu <uuomul at yahoo.com>
> Subject: Re: [Club2] Thu. Sept. 8, 14:00, talk by Matej Urbas
> To: club2 at mailbroy.informatik.tu-muenchen.de
> Date: Monday, September 5, 2011, 10:24 PM
> Dear All,
> 
> On Thursday, we have a talk by Matej Urbas, who's visiting
> Thomas this weak. Info follows.  
> 
> Cheers, 
>   Andrei    
> 
> Matej Urbas
> Heterogeneous reasoning with spider diagrams and
> Isabelle/HOL
> ====================================================
> Thu. Sept. 8, 14:00, MI 00.09.055 ("Alan Turing")
> 
> Abstract:
> 
>     I will outline the ongoing work of integrating a
> diagrammatic
> reasoner with Isabelle. The goal is to produce a
> heterogeneous reasoning
> framework, which will allow the user to interactively mix
> diagrammatic
> and sentential proof steps.
> 
>     The term `heterogeneous' refers to reasoning in two
> languages: One
> is diagrammatic, for which we have chosen the language of
> spider
> diagrams, and the other one is sentential, for which we
> use
> Isabelle/HOL. The latter is also used to formalise spider
> diagrams,
> translate between the two languages, and reconstruct
> diagrammatic proof
> steps.
> 
>     In the end, I will briefly introduce plans and
> considerations for
> the user interface of the framework.
> 
> 
>