[TYPES/announce] Postdoctoral fellowship on SAT modulo ODE

[Alexandre Chapoutot]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]