Free ample monoids
Victoria Gould (Universidade York, UK)
17 de Dezembro, 14h, sala de seminarios do DMAT
more information
|
A geração de semigrupos finitos de transformações
Donald McAlister (Prof. Emeritus, Dep. of Mathematical Sciences Northern Illinois Univ.)
10 de Dezembro, 14h, Sala de Seminários do DMat (sala B4009)
more information
|
Unidade e diversidade na teoria estrutural da demonstração
José Carlos Espírito Santo (DMAT, Univ. Minho)
26 de Novembro, 14h, Sala de seminarios de DMAT
more information
|
Dinâmica dos endomorfismos em sistemas de reescrita confluentes
Pedro Silva (Departamento de Matemática Pura da Faculdade de Ciências da Universidade do Porto)
29 de Outubro, 14h, Anfiteatro MICA
more information
|
Subconjuntos LSI-pontuais de um semigrupo finito
Conceição Nogueira (Escola Superior de Tecnologia e Gestão do Instituto Superior de Leiria, CMAT)
15 de Outubro, 14h, Anfiteatro MICA
more information
|
Non-standard reductions in simply typed, higher order and dependent type systems with inductive types
Sergei Soloviev (Institut de Recherche en Informatique de Toulouse)
14 de Setembro
more information
|
Ultimate Periodicity or the story of "Rho"
Robert Hartwig (North Carolina State University)
21 de Setembro de 2007
more information
|
Homomorfismos e Congruências em Semigrupos Unários com um Subgrupo Associado
Paula Mendes Martins
(CMAT-UM)
11 de Julho 2007
more information
|
Sullivan´s Problem
Bob Sullivan (University of Western Australia)
29 de Junho às 14h 30m, no Anfiteatro MICA
more information
|
Substitution - surprising challenges with inductive families
Ralph Matthes (CNRS e Université de Tolouse
III, França)
29 de Maio, 14 h, Anfiteatro MICA
more information
|