Caros(as) colegas, gostaria de convidá-los (as) a participar das palestras dos Prof. Manfred Schmidt-Schauss (Goethe Univ., Frankfurt ) e Prof. Christopher Lynch (Clarkson Univ.), que ocorrerão amanhã, dia 19/01. Os dados das palestras estão abaixo:
* Invited talk: Manfred Schmidt-Schauss (Goethe University, Frankfurt)* Title: Nominal unification and extensions for applications in higher-order languages Time: 10:30 am - 11:30 am (GTC-3) *Invited Talk: Christopher Lynch (Clarkson University)* Title: Equational Reasoning, Unification and Applications Time: 15:10 pm - 16:10 pm (GTC-3) Zoom link https://us02web.zoom.us/j/82214315115?pwd=VGFBa0dFWTFUY0UxK08waGRjb0dXQT09 <https://www.google.com/url?q=https%3A%2F%2Fus02web.zoom.us%2Fj%2F82214315115%3Fpwd%3DVGFBa0dFWTFUY0UxK08waGRjb0dXQT09&sa=D&sntz=1&usg=AFQjCNHNRd06Utbni0Sty8H_PbbjAoxY6Q> Confira o restante da programação em: https://sites.google.com/view/xivsummerunb/theory-of-computation?authuser=0 Abraço, Daniele. <https://sites.google.com/view/xivsummerunb/theory-of-computation?authuser=0>-- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMnPOrof5wz4FZ3b_igaoAnVvr-aNBo2OL7ag%2BV8tu%2B2VuGmSg%40mail.gmail.com.
