[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