EUTypes Summer School: theory and practice of type theory and applications. 10-14 Juy 2017, Ohrid https://sites.google.com/view/summerschool2017-eutypes/ … HT @khstandrews
-
-
That's the way it normally works (they may have partial funding for Cost Action members). I have a conflict unfortunately.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I’ll try to get in then! (Btw, I just finished chapter 9 of TDD and it’s great I’m enjoying it a lot)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.