Department of Mathematics, Universidade de Brasília
February 18 - 22, 2019
|
Theory of Computation |
|||||
|
Monday 18/02 |
Tuesday |
Wednesday |
Thursday |
Friday |
|
|
08:00 - 08:30 |
Auditorium-FT |
||||
|
08:30 - 09:00 |
Gregório Pacelli Bessa Auditorium-FT |
John King Auditorium-FT |
José Alberto Cuminato Auditorium-FT |
Enrique Fernandez-Cara Auditorium-FT |
|
|
09:00 - 09:30 |
|||||
|
09:30 - 10:00 |
José Plínio de Oliveira Santos Auditorium-FT |
Djairo Guedes de Figueiredo Auditorium-FT |
Lulu Healy Auditorium-FT |
Luise Kappe Auditorium-FT |
Plamen Koshlukov Auditorium-FT |
|
10:00 - 10:30 |
|||||
|
10:30 - 11:00 |
COFFEE-BREAK/Poster Session (Auditorium-FT) |
||||
|
11:00 - 12:00 |
Minicourse Alejandro Díaz-Caro Room ASS 421/10 |
Minicourse Alejandro Díaz-Caro Room ASS 421/10 |
- |
Minicourse Alejandro Díaz-Caro Room ASS 421/10 |
- |
|
12:30 - 14:30 |
Lunch |
||||
|
14:30 - 15:00 |
Thaynara A. Lima Room B |
Jefferson Santos Room B |
- |
Alejandro Díaz-Caro Room B |
- |
|
15:00 - 15:30 |
- |
- |
|||
|
15:30 - 16:00 |
Vander Ramos Room B |
Deivid Vale Room B |
- |
Ariane A. Almeida Room B |
- |
|
16:00 - 16:30 |
Mehwish Arshid Room B |
- |
Thiago Ferreira Room B |
- |
|
|
16:30 - 17:00 |
COFFEE-BREAK |
||||
|
17:00 - 17:30 |
Nikson F. Ferreira Room B |
Kaliana Dias Room B |
- |
Gabriel F. Silva Room B |
- |
|
17:30 - 18:00 |
- |
Leandro Rezende Room B |
- |
- |
- |
|
18:00 - 20:00 |
Cocktail |
- |
- |
- |
- |
|
20:00 |
- |
Dinner |
- |
- |
|
PLENARY TALKS:
- Djairo Guedes de Figueiredo - Unicamp - “Calculus of Variations: Yesterday and Today”
- Enrique Fernandez-Cara - Universidad de Sevilla - “Some positive and negative results on the control of PDEs”
- Gregório Pacelli Bessa - UFC - “Spectr estimates”
- John King - University of Nottingham - “Blow-up phenomena in reaction diffusion”
- José Alberto Cuminato - ICMC/USP - “Center for mathematical sciences applied to industry”
- José Plínio de Oliveira Santos - Unicamp - “A new approach to integer partitions”
- Luise Kappe - Binghamton University - “It's a wonderful life! - Reflections on the Career of a mathematician”
- Lulu Healy - King's College - London - “Collaborations between teachers and researchers aimed at building an inclusive mathematics education”
- Plamen Koshlukov - Unicamp - “Polynomial Identities in Algebras with Additional Structure and their Codimension Growth”
MINICOURSE:
- Alejandro D. Caro - Universidad Nacional de Quilmes & Universidad de Buenos Aires-CONICET - “Foundations of quantum programming languages”
TALKS:
- Alejandro Díaz-Caro - Universidad Nacional de Quilmes & Universidad de Buenos Aires - “Quantum lambda calculus with quantum control”
- Ariane A. Almeida - CIC/UnB - “Formalizing the Dependency Pairs Criterion for Term Rewriting Systems”
- Deivid Vale - Mat/UnB - “Nominal Equivariant Unification”
- Gabriel F. Silva - Mat/UnB - “Functional Nominal C-Unification”
- Jefferson Santos - EBAPE/FGV - “Towards a Tableaux System for Propositional Minimal Implicational Logic”
- Kaliana Dias - CIC/UnB - “Type System for $\lambda\sigma$ calculus with all de Bruijn Indices”
- Leandro Rezende - CIC/UnB - “A formal characterization of the confluence property and applications.”
- Mehwish Arshid - CIC/UnB - “Asymmetric Unification for exclusive-or theory.”
- Nikson F. Ferreira - CIC/UnB - “A Formalization of the Ford-Johnson Algorithm”
- Thaynara A. Lima - IME/UFG - “Isomorphism Theorems for Rings in PVS”
- Thiago Ferreira - CIC/UnB - “Formalization of the Rice's Theorem”
- Vander Ramos - CIC/UnB - “A Theory of Software Product Line Analysis”
