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

Roman effectfully at gmail.com
Tue Dec 18 21:23:35 CET 2018

Previous message (by thread): [Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]
Next message (by thread): [Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The thesis is absolutely great indeed. Congrats!

Previous message (by thread): [Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]
Next message (by thread): [Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list