[Agda] Date for PhD defense
Martin Escardo
m.escardo at cs.bham.ac.uk
Wed Mar 29 22:36:30 CEST 2017
Dear Tarmo,
I would like to attend this. Could you please confirm when you intend
the PhD defense to be?
Many thanks!
Best,
Martin
On 29/03/17 21:33, Benedikt Ahrens wrote:
>
> Workshop on
> Foundations for Practical Formalization of Mathematics
>
> 26 - 27 April 2017
> Nantes, France
>
> Meeting in the framework of the COST EUTypes Action
> (https://eutypes.cs.ru.nl/)
>
>
> # Goals of the workshop
>
> Proof assistants are now state of the art tools for formalizing
> mathematical reasoning, both for the verification of proofs in
> mathematics itself and for the verification of software and hardware in
> computer science.
>
> The workshop aims to bring together researchers interested in
> formalizing mathematics and in proof assistants based on dependent type
> theory, homotopy type theory, higher inductive types and cubical type
> theory, to discuss how type-based proof assistant can be used for the
> practical formalization and verification of mathematical proofs.
>
> # Call for contributions
>
> We encourage talk proposals on the aforementioned topics. To propose a
> talk, please send an email with title and abstract to Benedikt Ahrens
> (benedikt DOT ahrens AT inria DOT fr).
>
> # Funding
>
> Funding for travel and accommodation is available. If you would like to
> be considered for funding, please mention this in your talk proposal.
>
> # Further information
>
> Further information is available on https://fpfm.github.io/ .
>
--
Martin Escardo
http://www.cs.bham.ac.uk/~mhe
More information about the Agda
mailing list