Prezados (as), Gostaria de convidá-los a participar do* XVIII Seminário Informal (, mas Formal!) do GTC-UnB*(online)*,* que será parte do* XIII Workshop de Verão da Matemática* da Universidade de Brasília, e que ocorrerá no período de 09 a 12 de fevereiro de 2021.
É com prazer que anunciamos nossos palestrantes convidados: Beniamino Accattoli (Inria) Cláudia Nalon (Universidade de Brasília) Cynthia Kop (Radboud University Nijmegen) David Cerna (Czech Academy of Sciences) Flávio de Moura (Universidade de Brasília) Ivan Araújo (John B. Pierce Lab) James Gabbay (Heriot-Watt University) Renata Wasserman (IME-USP) Sandra Alves (Universidade do Porto) Serdar Erbatur (UT Dallas) Valéria de Paiva (Topos Institute Berkeley, CA e DI-Puc-Rio) O evento também contará com palestras de alunos de pós-graduação de matemática e informática da Universidade de Brasília. A inscrição é gratuita e pode ser feita na página official do Workshop: https://www.mat.unb.br/verao2021/inscricoes_en.html Outras informações podem ser encontradas em https://sites.google.com/view/gtc-unb/summer-workshop (ainda em construção). ---------------------------------------------------------- Programação Preliminar ---------------------------------------------------------- Brasília Time (UTC-3) Monday Tuesday Wednesday Thursday Friday Feb, 8 Feb, 9 Feb, 10 Feb, 11 Feb, 12 08:00-9:00 Plenary Mathematics Plenary Mathematics Plenary Mathematics 09:00-10:00 Plenary Mathematics Plenary Mathematics Plenary Mathematics 10:00-11:00 Cynthia Kop (Radboud U. Nijmegen) James Gabbay (Heriot-Watt University) Beniamino Accattoli (Inria) 11:00- 12:00 Sandra Alves (UPorto) Deivid Vale (Radboud U. Nijmegen) Claudia Nalon (CIC-UnB) 12:00-13:30 lunch lunch lunch lunch 13:30-14:30 David Cerna (Czech Academy of Sciences) Flávio Moura (CIC-UnB) Gabriel Silva (MAT-UnB) 14:30 -15:30 Plenary Dept. Mathematics Plenary Dept. Mathematics Ivan Araújo (John B. Pierce Lab) 15:30 - 16:30 break and poster session break and poster session break and poster session break and poster session 16:30 - 17:30 Valeria de Paiva (Topos Institute, Berkeley, CA e DI-Puc-Rio) Serdar Erbatur (UT Dallas) Renata Wasserman (IME-USP) 17:30 - 18:20 Andres González (MAT-UnB) Leonardo Melo (MAT-UnB) Espero vê-los lá! Um abraço, Daniele. -- 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/CAMnPOrrpe9Y1ny%2BzmNyg0hWDgmeCRT-p-uZD9%3DhC7%3DU1XDNiwg%40mail.gmail.com.
