Discussion Leader Interest Survey

36 views
Skip to first unread message

Mark Farrell

unread,
Dec 12, 2015, 3:23:32 PM12/12/15
to Type Theory Study Group
Hi all,

Put together a quick survey to get a sense of who might be interested in leading future discussions (sometimes v.s. recurring, textbook discussions v.s. special topics, etc.). Let us know if you'd be interested in helping out! Even if you're not sure and don't want to fully commit to anything, that's still okay.

http://goo.gl/forms/Y3IhdUuHIj

-Mark

Joseph Abrahamson

unread,
Dec 12, 2015, 4:16:01 PM12/12/15
to Mark Farrell, Type Theory Study Group
This is great! Thanks for putting this together!

--
You received this message because you are subscribed to the Google Groups "Type Theory Study Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to type-theory-study...@googlegroups.com.
To post to this group, send email to type-theory...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/type-theory-study-group/92e9fd20-e52b-4608-b26a-75ac9e1e7fc8%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages