[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