[Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]
James Chapman
jmchapman at gmail.com
Tue Dec 18 23:48:10 CET 2018
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
More information about the Agda
mailing list