XIII Summer Workshop in Mathematics - Theoretical Computer Science Session - Universidade de Brasília

[Daniele Nantes]

Dear colleagues,

I would like to invite you to participate in the  XVIII Seminário Informal (, mas Formal!) do GTC-UnB  -- 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]

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

[Daniele Nantes]

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.

[Daniele Nantes]

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 (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.