Meeting 4: 30.01.2016
58 views
Skip to first unread message
Ilan Godik
Jan 28, 2016, 11:10:31 AM1/28/16
to Type Theory Study Group
Hello everyone!
The next meeting will take place on Saturday, 30-01-2016 at 2PM EST / 7PM GMT. (As most voted on Doodle)
The topics for the next meeting are:
- Chapter 5: Dynamics
- Chapter 6: Type Safety
Please suggest questions and topics for discussion!
Hosts: Danny Gratzer, Ilan Godik, and maybe You!
- Ping me if you are interested in participating in the live meeting.
Cheers,
Ilan Godik.
Hendrik Boom
Jan 29, 2016, 4:55:06 PM1/29/16
to Type Theory Study Group
On Thu, Jan 28, 2016 at 08:10:31AM -0800, Ilan Godik wrote:
> Hello everyone!
>
> The next meeting will take place on *Saturday, 30-01-2016 *at *2PM EST /
> Hello everyone!
>
> 7PM GMT*. (As most voted on Doodle)
>
> The topics for the next meeting are:
> - Chapter 5: Dynamics
> - Chapter 6: Type Safety
>
> - Hackpad:
> https://ttsg.hackpad.com/Type-Theory-Study-Group-Meeting-4-D3F5fMCPeUv
> Please suggest questions and topics for discussion!
>
> Hosts: Danny Gratzer, Ilan Godik, and maybe You!
> - Ping me if you are interested in participating in the live meeting.
I hope to be there, but I do not yet know how to connect.
> The topics for the next meeting are:
> - Chapter 5: Dynamics
> - Chapter 6: Type Safety
>
> - Hackpad:
> https://ttsg.hackpad.com/Type-Theory-Study-Group-Meeting-4-D3F5fMCPeUv
> Please suggest questions and topics for discussion!
>
> Hosts: Danny Gratzer, Ilan Godik, and maybe You!
> - Ping me if you are interested in participating in the live meeting.
-- hendrik
>
> Cheers,
> Ilan Godik.
>
> --
> 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/f639d980-269c-4fbb-807b-04f7576e3f2e%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
Ilan Godik
Jan 29, 2016, 5:14:45 PM1/29/16
to Type Theory Study Group
On Friday, January 29, 2016 at 11:55:06 PM UTC+2, Hendrik Boom wrote:
On Thu, Jan 28, 2016 at 08:10:31AM -0800, Ilan Godik wrote:
> Hello everyone!
>
> The next meeting will take place on *Saturday, 30-01-2016 *at *2PM EST /
> 7PM GMT*. (As most voted on Doodle)
>
> The topics for the next meeting are:
> - Chapter 5: Dynamics
> - Chapter 6: Type Safety
>
> - Hackpad:
> https://ttsg.hackpad.com/Type-Theory-Study-Group-Meeting-4-D3F5fMCPeUv
> Please suggest questions and topics for discussion!
>
> Hosts: Danny Gratzer, Ilan Godik, and maybe You!
> - Ping me if you are interested in participating in the live meeting.
I hope to be there, but I do not yet know how to connect.
-- hendrik
>
> Cheers,
> Ilan Godik.
>
> --
> 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-group+unsub...@googlegroups.com.
Ilan Godik
Jan 31, 2016, 12:35:33 PM1/31/16
to Type Theory Study Group
The recording of the meeting is avaliable here: https://www.youtube.com/watch?v=_JfAyMe5uLA
Cheers,
Ilan.
Reply all
Reply to author
Forward
0 new messages