Free ample monoids
Victoria Gould (Universidade York, UK)
17 de Dezembro, 14h, sala de seminarios do DMAT
mais informações em
|
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)
mais informações em
|
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
mais informações em
|
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
mais informações em
|
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
mais informações em
|
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
mais informações em
|
Ultimate Periodicity or the story of "Rho"
Robert Hartwig (North Carolina State University)
21 de Setembro de 2007
mais informações em
|
Homomorfismos e Congruências em Semigrupos Unários com um Subgrupo Associado
Paula Mendes Martins
(CMAT-UM)
11 de Julho 2007
mais informações em
|
Sullivan´s Problem
Bob Sullivan (University of Western Australia)
29 de Junho às 14h 30m, no Anfiteatro MICA
mais informações em
|
Substitution - surprising challenges with inductive families
Ralph Matthes (CNRS e Université de Tolouse
III, França)
29 de Maio, 14 h, Anfiteatro MICA
mais informações em
|