Re: Robin Cockett Doctor Honoris Causa of Tallinn UT

["Sergei Soloviev" <Sergei.Soloviev@irit.fr>]

[-- Attachment #1: Type: text/plain, Size: 2103 bytes --]

Congratulations, Robin!

Sergei

Le Vendredi, Janvier 26, 2024 22:31 CET, Steve Awodey <awodey@cmu.edu> a écrit:

> well deserved - congratulations to Robin!
>
> Best wishes,
>
> Steve
>
> > On Jan 26, 2024, at 1:11 PM, Tarmo Uustalu <tarmo@cs.ioc.ee> wrote:
> >
> > Hello Categories,
> >
> > I thought it should be appropriate to share the news here.
> >
> > The Senate of the Tallinn U of Technology has on 23 Jan 2024 decided to
> > bestow on the U of Calgary professor J. Robin B. Cockett the title of
> > Doctor Honoris Causa of the university. This is for his contributions
> > to advancing the study of mathematical foundations of algorithmics and
> > programming in Tallinn.
> >
> > I am very happy for this distinction to Robin, who we have been
> > privileged to have as a teacher and friend for a long time (25 years!).
> > Robin's shining passion for his subject and his
> > uncompromising thoroughness have been particularly inspiring.
> >
> > I am also very pleased to have our field spotlighted at this university
> > on this occasion; it is no small thing for us.
> >
> > Tarmo U
> >
> >
> >
> > ----------
> >
> > You're receiving this message because you're a member of the Categories mailing list group from Macquarie University.
> >
> > Leave group:
> > https://protect-au.mimecast.com/s/JIJnCr810kCv9yxrf7NwoE?domain=outlook.office365.com<https://protect-au.mimecast.com/s/GqU0C0YKgRs38nKwCD66Sj?domain=outlook.office365.com>


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4312 bytes --]