Dear colleagues this is a gentle reminder of today's Plenary Talk of the Summer Workshop in Mathematics at the University of Brasília:
Categorical Models of Explicit Substitutions - Valeria de Paiva <https://vcvpaiva.github.io/> (Topos Institute and DI-Puc-Rio) Abstract: In this talk, we explore recent approaches to quantitative typing systems for programming languages with pattern matching features. Quantitative (non-idempotent intersection) types have been used to characterise solvability for a pair pattern calculus, in which a qualitative characterisation of head-normalisation was given by means of typability. We show that one can go further and provide upper-bounds/exact measures for head-normalisation, by means of two resource-aware quantitative type systems (system U and system E), which take advantage of specific technical tools. While system U provides upper bounds for the length of head-normalisation sequences and the size of normal forms, system E goes even further and produces exact measures for each of them, as well as discriminating between the different kinds of reduction steps performed. The link for the talk is: https://www.youtube.com/watch?v=w4tTdai9mTg&feature=youtu.be I hope to see you there! Best, Daniele. On Tue, Feb 9, 2021 at 9:21 PM Daniele Nantes <[email protected]> wrote: > 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 > -- 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/CAMnPOroGwY2Ja6JhTNVDa6qGjtm_Uf-4ZC-jtj%2BYm8Z9rUAOzw%40mail.gmail.com.
