Re: Post-doc in Bath on the semantics of a bureaucracy-free formalism

> Hello,
> 
> We have a new project starting this February. We are looking for
> somebody who could help us use semantics to design a formalism that
> is free of every kind of known bureaucracy. The official advert, with
> salary and instructions on how to apply, will probably be ready this
> Monday and I will send it to the major mailing lists, but Frogs
> deserves a preview.
> 
> I'll be happy to answer any questions regarding this position and I
> encourage you to get in touch if you are interested. If you know
> somebody who might be interested, please let them know as soon as
> possible, because we aim to hire in the next few hours.
> 
> Ciao,
> 
> -Alessio
> 

Does the EPSRC project include a software implementation (eg in Isabelle) of 
Formalism B?

Saludos,
Karn