[Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]

Jesper Cockx Jesper at sikanda.be
Wed Dec 19 11:06:49 CET 2018


Wow, thank you all so much! This certainly wouldn't have been possible
without the outstanding support of the whole Agda community.

-- Jesper

On Tue, Dec 18, 2018 at 11:49 PM James Chapman <jmchapman at gmail.com> wrote:

> Congratulations Jesper!
>
> On Tue, 18 Dec 2018 at 20:41, Apostolis Xekoukoulotakis
> <apostolis.xekoukoulotakis at gmail.com> wrote:
> >
> > Congrats!
> >
> > On Tue, Dec 18, 2018 at 10:23 PM Roman <effectfully at gmail.com<mailto:
> effectfully at gmail.com>> wrote:
> > The thesis is absolutely great indeed. Congrats!
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se<mailto:Agda at lists.chalmers.se>
> > https://lists.chalmers.se/mailman/listinfo/agda
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181219/9aef3074/attachment.html>


More information about the Agda mailing list