|
|
|
|
|
Seminários
A lógica equacional de Birkhoff versus injectividade em categorias
Lurdes Sousa (Departamento de Matemática, Escola Superior de Tecnologia de Viseu)
30 Novembro, 16h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Decidibilidade do supremo de duas pseudovariedades de semigrupos
José Carlos Costa (Centro de Matemática, UMinho)
26 Outubro, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Domínios quantitativos via filtros
Dirk Hofmann (Departamento de Matemática, UAveiro)
12 Outubro, 14h30mn, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Mansidão de supremos envolvendo a pseudo-variedade LSl
Conceição Nogueira (ESTG, Instituto Politécnico de Leiria)
23 Julho, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Teoria de semigrupos finitos - uma perspectiva histórica
Lurdes Teixeira (Centro de Matemática, UMinho)
25 Junho, 14h00min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
A expansão de Ostrowski: aplicações à discrepância das sucessões $(n\alpha)_n$
Luís Roçadas (Departamento de Matemática, UTAD)
18 Junho, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Access control for Dynamic Web Data
Silvia Ghilezan ( Faculty of Technical Sciences, Universidade de Novi Sad, Sérvia)
28 Maio, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Números perfeitos e multiperfeitos
Paulo Almeida (Departamento de Matemática, U. Aveiro)
22 Abril, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Construção automática de provas e de contra-modelos em lógica proposicional bi-intuicionista
Luís Pinto (Departamento de Matemática e Aplicações, U. Minho)
19 Março, 14h00min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Input-state-output representations and constructions of finite-support 2D convolutional codes
Raquel Pinto (Departamento de Matemática, U. Aveiro)
05 Março,
14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Matrices As Arrows: A Typed Approach To Linear Algebra
Hugo Macedo (Departamento de Informática, UMinho)
22
Janeiro, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
Padrões de sinais admissíveis para certas classes de matrizes
Cláudia Mendes Araújo (Centro de Matemática, UMinho)
15
Janeiro, 14h30min, Sala B4009 (Sala de Seminários), DMA, Gualtar
mais informações em
|
|
|