<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear all,</p>
<p>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 <b>register
on June 30th at the latest</b>.</p>
<p>Registration form is available from the event's web pages:
<a class="moz-txt-link-freetext" href="https://tc60.cse.chalmers.se/">https://tc60.cse.chalmers.se/</a></p>
<p>Best<br>
</p>
<div class="moz-cite-prefix">On 2022-05-11 15:05, Ana Bove wrote:<br>
</div>
<blockquote type="cite"
cite="mid:d29fba8f-fbf1-1efe-ab04-826ee270bb69@chalmers.se">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.
<br>
<br>
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.
<br>
<br>
For more information about the meeting please visit the workshop's
page at <a class="moz-txt-link-freetext" href="https://tc60.cse.chalmers.se/">https://tc60.cse.chalmers.se/</a>.
<br>
<br>
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.
<br>
<br>
Sincerely, the organising committee
<br>
Andreas Abel, Ana Bove, Peter Dybjer, Peter LeFanu Lumsdaine and
Anders Mörtberg
<br>
<br>
<br>
<br>
</blockquote>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
email: bove(at)chalmers.se
Phone: (46)(31)7721020
<a class="moz-txt-link-freetext" href="http://www.cse.chalmers.se/~bove">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>