-------- 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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgxP2ErDFmycNPaU0UR0feJGHBhO20i%2BuWpd89%3D0o510Q%40mail.gmail.com.
