HOME
Confirmed Speakers Confirmed Participants Certificates Photos
REGISTRATION
General Plenary Talks Thematic Sessions Posters Abstracts
COMMITTEES
Announcements Accommodation Location About Mat/UnB Contact
LATEST EDITIONS
PORTUGUÊS
BACK
WORKSHOP


XII Summer Workshop in Mathematics

Department of Mathematics, Universidade de Brasília
February 10 to 14, 2020


Theory of Computation



Organizer: Daniele Nantes
Room: Room B-MAT and AS 432/10-MAT (see the program for more details)
Complete program: Click here
See the daily schedule for all abstracts
The minicourse Interactively Proving Mathematical Theorems has a maximum of 20 participants. To participate in this minicourse, register here.


Organizer: Daniele Nantes
Room: Room B-MAT and AS 432/10-MAT (see the program for more details)
Complete program: Click here

See the daily schedule for all abstracts
The minicourse Interactively Proving Mathematical Theorems has a maximum of 20 participants. To attend this Minicourse, register here.

Daily Schedule

Monday (10/02)
11:30-12:30 - Leandro O. Rezende
11:30-12:30
Leandro O. Rezende

Institution: UnB
Title: Extending the Locally Nameless Representation with an Explicit Substitution Operator
Room: B

Abstract

Abstract.



14:00-15:10 - Samuel Gomes da Silva
14:00-15:10
Samuel Gomes da Silva

Institution: UFBA
Title: Reductions between certain incidence problems and the Continuum Hypothesis
Room: B

Abstract

Abstract.

15:10-16:00 - Bruno Delboni
15:10-16:00
Bruno Delboni

Institution: UnB
Title: β-equivalence of linear planar λ-terms
Room: B

Abstract

Abstract.

16:30-17:20 - Francicleber Martins Ferreira
16:30-17:20
Francicleber Ferreira

Institution: UFC
Title: Bounded-Degree Fixed-Points in Linear Time
Room: B

Abstract

Abstract.


Tuesday (11/02)
11:30-12:30
Thiago F. Ramos
11:30-12:30 - Thiago F. Ramos

Institution: UnB
Title: Formalization of Rice’s Theorem for a Turing Complete Functional Language Model series
Room: B

Abstract

Abstract.



14:10-15:10
Alexander Baumgartner
14:10-15:10 - Alexander Baumgartner

Institution: Universidad de O’Higgins
Title: Properties of Rule-Based Anti-Unification Algorithms
Room: B

Abstract

Abstract.

15:10-16:00
Gabriel da Silva
15:10-16:00 - Gabriel da Silva

Institution: UnB
Title: Nominal C-Unification
Room: B

Abstract

Abstract.

16:30-18:15
Interactively Proving
Mathematical Theorems
16:30-18:15 - Minicourse - Interactively Proving Mathematical Theorems

Lecturers: Thaynara Arielly Lima (UFG), Mauricio Ayala-Rincón (UnB)
Room: LABIE

Abstract

Abstract.


Wednesday (12/02)
11:30-12:30
Ariane Almeida
11:30-12:30 - Ariane Alves Almeida

Institution: UnB
Title: Formalizing Termination of Functional Programs and Term Rewriting Systems in PVS
Room: ASS 432/10

Abstract

Abstract.



14:10-15:10
Bruno Lopes Vieira
14:10-15:10 - Bruno Lopes Vieira

Institution: UFF
Title: A logical framework for exogenous component-based software reasoning with Reo
Room: B

Abstract

Abstract.

15:10-16:00
Kaliana Dias
15:10-16:00 - Kaliana Dias

Institution: UnB
Title: Principal Typing for the λσdB-calculus
Room: B

Abstract

Abstract.

16:30-18:15
Interactively Proving
Mathematical Theorems
16:30-18:15 - Minicourse - Interactively Proving Mathematical Theorems

Lecturers: Thaynara Arielly Lima (UFG), Mauricio Ayala-Rincón (UnB)
Room: LABIE

Abstract

Abstract.


Thursday (13/02)