Dear colleagues, Tomorrow's program and Zoom link of the Theoretical Computer Science Session of the Summer Workshop in Mathematics at UnB is below:
Zoom Meeting https://us02web.zoom.us/j/88272156520?pwd=TFI1a1dENE8xVkYrS1dJcVBpZjVwZz09 Meeting ID: 882 7215 6520 Password: 223389 ----------------------------------------- Program: 10/02 ---------------------------------------------- 10:00 - 11:00 *Equivariant ZFA and the foundations of nominal mathematics* - James Gabbay (Heriot-Watt University) 11:00 - 12:00 * Tuple Interpretations to Higher-Order Rewriting Systems* Deivid Vale (Radboud University Nijmegen) 13:30 - 14:30 *A Formalization of the Z Property in Coq* Flávio L. C. de Moura (University of Brasília) 14:30 - 15:30 *Plenary Talk - Pure Mathematics* *Symmetries in Algebraic Geometry and Cremona transformations.* Carolina Araújo (IMPA) 15:50 - 16:50 *Equational Unification Modulo a Non-disjoint Union of Theories* Serdar Erbatur (UT Dallas) I hope to see you there! Daniele. On Mon, Feb 8, 2021 at 6:24 PM Daniele Nantes <[email protected]> wrote: > Dear colleagues, > > the Theoretical Computer Science Session of the Summer Workshop in > Mathematics at the University of Brasília will start tomorrow at 10:00 (UTC > -3). The Zoom link and tomorrow's program are below. > > Zoom Meeting > > https://us02web.zoom.us/j/88272156520?pwd=TFI1a1dENE8xVkYrS1dJcVBpZjVwZz09 > > Meeting ID: 882 7215 6520 > > Password: 223389 > > ----------------------------------------- > Program: 09/02 > ---------------------------------------------- > > 10:00 - 11:00 *Higher-Order Termination * > Cynthia Kop (Radboud University Nijmegen) > > 11:00 - 12:00 * Quantitative Measures for Pattern Matching* > Sandra Alves (University of Porto) > > 13:30 - 14:30 *Anti-Unification: Applications and Recent Results* > David Cerna (Czech Academy of Sciences) > > 14:30 - 15:30 *Plenary Talk - Pure Mathematics* > *Arithmetic and geometry of algebraic surfaces: > the place of elliptic fibrations and K3 surfaces * > Cecília Salgado (UFRJ/Groningen) > > 15:50 - 16:50 *Towards a Fixed- Point Approach to Nominal Disunification* > Leonardo Melo (MSc UnB) > > > I hope to see you there! > > > Best, > > Daniele > > > On Fri, Feb 5, 2021 at 7:24 PM Daniele Nantes <[email protected]> > wrote: > >> Dear colleagues, >> >> I would like to invite you to participate in the *XVIII Seminário >> Informal (, mas Formal!) do GTC-UnB >> <https://sites.google.com/view/gtc-unb/summer-workshop-2021> -- **Informal >> (,but Formal!) Seminar of the GTC-UnB**-- *which will be an *online* >> satellite event of the* XIII Summer Workshop in Mathematics* of the >> University of Brasília, and will occur in the period from Feb, 9th to >> Feb,11th, 2021. >> >> ----------------------------------------- >> Plenary Speaker >> ----------------------------------------- >> >> Valéria de Paiva (Topos Institute Berkeley, CA e DI-Puc-Rio) >> >> ------------------------------------------- >> Invited Speakers: >> -------------------------------------------- >> >> Beniamino Accattoli (Inria) >> Cláudia Nalon (Universidade de Brasília) >> Cynthia Kop (Radboud University Nijmegen) >> David Cerna (Czech Academy of Sciences) >> Flávio L. C. de Moura (Universidade de Brasília) >> James Gabbay (Heriot-Watt University) >> Renata Wasserman (IME-USP) >> Sandra Alves (Universidade do Porto) >> Serdar Erbatur (UT Dallas) >> >> --------------------------------------------- >> Graduate Students >> --------------------------------------------- >> >> Deivid Vale (Radboud University Nijmegen) >> Gabriel Silva (INF-UnB) >> Leonardo Melo (MAT-UnB) >> >> ----------------------------------------------------------- >> Title and Abstracts >> --------------------------------------------------------- >> >> Available in: >> >> https://sites.google.com/view/gtc-unb/summer-workshop-2021 >> >> ---------------------------------------------------------- >> Program >> ---------------------------------------------------------- >> >> Brasília Time (UTC-3) >> Tuesday Wednesday Thursday >> Feb, 9 Feb, 10 Feb, 11 >> 10:00-11:00 Cynthia Kop (Radboud U. Nijmegen) James Gabbay (Heriot-Watt >> Uni.) 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 >> 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 Valeria >> de Paiva (Topos Institute e DI-Puc-Rio) >> 15:30 - 15:50 break break break >> 15:50-16:50 Leonardo Melo (MAT-UnB) Serdar Erbatur (UT Dallas) Renata >> Wasserman (IME-USP) >> >> >> >> The registration is free and can be done in: >> https://www.mat.unb.br/verao2021/inscricoes_en.html >> >> >> I hope to see you there! >> >> Warm regards, >> >> 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 >> > > > -- > Daniele Nantes > Grupo de Teoria da Computação > Departamentos de Matemática e Computação > Universidade de Brasília > www.mat.unb.br/~dnantes > -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMnPOrpDMLV7nPVE%2BzNaSwpc_eTZ8xJJsc%2BCm-cvwCoosvqiAw%40mail.gmail.com.
