[Agda] Date for PhD defense

Martin Escardo m.escardo at cs.bham.ac.uk
Wed Mar 29 22:37:36 CEST 2017


Oh, mistake! Apologies to all involved. I deleted HoTT, but didn't
notice Agda and coq-club.

Embarrassing.

Sorry about that.

Martin

On 29/03/17 21:36, Martin Escardo wrote:
> 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