FW: Meetup for MSc and PhD students "Initial Types Club"; please advertise
12 views
Skip to first unread message
Joao Marcos
Oct 16, 2020, 10:39:09 AM10/16/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
-------- Forwarded Message --------
From: Sandro Stucki
Dear Colleagues, dear Initial Types Club members,
on Thursday, 5 Nov at 4pm we restart the weekly virtual meetings of the
Initial Types Club (ITC)
https://initialtypes.github.io/Club/
via Zoom. The ITC is a series of informal weekly gatherings, mainly for
MSc and PhD students interested in types and programming languages
(TAPL), to
* meet,
* listen to lectures on types and programming languages, and
* give presentations on suitable topics (including their own thesis).
The level of the talks is envisioned to be beyond that of MSc classes
but below that of our research seminars. Thus, the club shall bridge the
gap between teaching and research in TAPL topics.
*** Please advertise this course in your MSc classes (if suitable) and
recommend it to interested students (PhD, MSc, and outstanding BSc
students). ***
Cheers
/Sandro
From: Sandro Stucki
Dear Colleagues, dear Initial Types Club members,
on Thursday, 5 Nov at 4pm we restart the weekly virtual meetings of the
Initial Types Club (ITC)
https://initialtypes.github.io/Club/
via Zoom. The ITC is a series of informal weekly gatherings, mainly for
MSc and PhD students interested in types and programming languages
(TAPL), to
* meet,
* listen to lectures on types and programming languages, and
* give presentations on suitable topics (including their own thesis).
The level of the talks is envisioned to be beyond that of MSc classes
but below that of our research seminars. Thus, the club shall bridge the
gap between teaching and research in TAPL topics.
*** Please advertise this course in your MSc classes (if suitable) and
recommend it to interested students (PhD, MSc, and outstanding BSc
students). ***
Cheers
/Sandro
Reply all
Reply to author
Forward
0 new messages