[Agda] Last call for participation: Workshop in honour of Thierry Coquand's 60th birthday

Ana Bove bove at chalmers.se
Mon Jun 20 15:50:46 CEST 2022

Dear all,

Just a reminder that if you would like to attend the workshop in honour 
of Thierry Coquand on 24–26 August 2022 you need to *register on June 
30th at the latest*.

Registration form is available from the event's web pages: 


On 2022-05-11 15:05, Ana Bove wrote:
> Thierry Coquand, professor at the University of Gothenburg in Sweden, 
> had his 60th birthday on 18 April 2021. We are organizing a scientific 
> meeting to celebrate him and his seminal contributions to mathematical 
> logic, constructive mathematics, theoretical computer science, and the 
> development of proof assistants for type theory. The celebration was 
> originally planned to take place in direct connection with Thierry’s 
> birthday, but had to be postponed several times because of the pandemic.
> The meeting will take place in Gothenburg on 24–26 August 2022, and is 
> open to everyone who wants to join the celebration. It is free of 
> charge, except that participants who wish to join the banquet in the 
> evening on Thursday 25th of August have to pay their bill directly to 
> the restaurant. Participants are also asked to arrange their own 
> travel and accommodation.
> For more information about the meeting please visit the workshop's 
> page at https://tc60.cse.chalmers.se/.
> If you plan to attend the meeting, we kindly ask you to fill in the 
> registration form (available from the link above) by June 30th at the 
> latest so we can plan catering and dinner.
> Sincerely, the organising committee
> Andreas Abel, Ana Bove, Peter Dybjer, Peter LeFanu Lumsdaine and 
> Anders Mörtberg
-- Ana Bove, Docent
email: bove(at)chalmers.se
Phone: (46)(31)7721020
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220620/d0d6a995/attachment.html>

More information about the Agda mailing list