Visitas de los profesores Francesco Catino y Maddalena Miccoli (17-21/10/2019) y de Paola Stefanelli y Marzia Mazzotta (17/10-01/11/2019)

Oct ’19Nov
171

Los profesores Francesco Catino y Maria Maddalena Miccoli (Università del Salento, Lecce, Italia) nos visitan del 17 al 21 de octubre de 2019. Ambos son expertos en teoría de grupos y recientemente desarrollan su trabajo de investigación en el ámbito de las brazas y de las soluciones de la ecuación cuántica de Yang-Baxter. Marzia Mazzotta (estudiante de doctorado de la Università del Salento) y la doctora Paola Stefanelli (doctora por la Università del Salento) también nos visitan del 17 de octubre al 1 de noviembre de 2019. El objeto de estas visitas es iniciar una colaboración con miembros del equipo en el estudio de las brazas finitas y sus generalizaciones y sus aplicaciones al estudio de la ecuación cuántica de Yang-Baxter.

Visita de Yangming Li (29/06-07/07/2019)

Jun ’19Jul
297

El profesor Yangming Li (Guangdong University of Education, Guangzhou, R. P. China) nos visita del 29 de junio al 7 de julio de 2019, con ocasión de la defensa de la tesis doctoral de Hangyang Meng que se llevará a cabo el día 1 de julio y para realizar trabajo de investigación conjunto con miembros del equipo. El profesor Li es experto en teoría abstracta de grupos y colaborador habitual del equipo de investigación.

Visitas de Rex Dark y Arnold D. Feldman (30/03-30/04/2019)

Mar ’19Abr
3030

Los profesores Rex Dark (National University of Ireland, Galway, Irlanda) y Arnold D. Feldman (Franklin and Marshall College, Lancaster, PA, Estados Unidos de América) nos visitan del 30 de marzo al 30 de abril de 2019.  Ambos son especialistas en teoría abstracta de grupos finitos, en particular, en clases de grupos y permutabilidad y colaboradores habituales del equipo de investigación.

 

Visita de Jean-Éric Pin (08-15/10/2016)

Oct ’16Oct
815
Oct ’16
11
15:00
Oct ’16
13
12:00
Oct ’16
14
11:00

Jean-Éric PinEstimadas compañeras, estimados compañeros:

El profesor Jean-Éric Pin, del Institut de Recherche en Informatique Fondamentale (IRIF), CNRS y Université Paris-Diderot, visitará el Departament de Matemàtiques entre el 8 y el 15 de octubre. El profesor Pin es especialista en la teorías de semigrupos y de autómatas y lenguajes formales. Durante su visita impartirá un curso de seis horas titulado

«Stone duality and formal languges»

los días

  • martes 11, 15.00-17.00,
  • jueves 13, 12.00-14.00,
  • viernes 14, 11.00-13.00

en el seminario de Álgebra del segundo piso de la Facultat de Matemàtiques.

Quedáis todos invitados.

Cordialmente,

Ramón

Visita del profesor Jorge Almeida (31/08-07/09/2016)

Ago ’16Sep
317

Estimados compañeros, estimadas compañeras:

El profesor Jorge Almeida (Universidade do Porto, Portugal) visitará el Departament de Matemàtiques entre el 31 de agosto y el 7 de septiembre de 2016. Es experto en teoría de semigrupos, autómatas y lenguajes formales. Durante su estancia impartirá dos charlas:

  • Viernes 2 de septiembre, 12.00 h
    Seminario del Instituto Universitario de Matemática Pura y Aplicada
    Universitat Politècnica de València
    «Recent progress on concatenation hierarchies of star-free languages»
    Resumen:
    A celebrated theorem of Schützenberger (1965) states that a language can be expressed in the letters using only finite union, complementation, and concatenation (the so-called star-free languages) if and only if its syntactic semigroup has only trivial subgroups. On the other hand, McNaughton and Papert (1971) showed that such languages are precisely those that may be defined by first order sentences, where words are viewed as finite linear orders with predicates for each letter to express that the letter appears in a specific position. The combination of the two theorems provides an algorithm to decide when a regular language admits such a definition. A further ingredient was given by W. Thomas (1982), who showed that the analogue of the arithmetical hierarchy in this context, determined by the alternation of quantifiers, is intimately connected with the alternation of the closures under union, intersection, and concatenation, versus union and complementation, a hierarchy first introduced by Brzozowski (1971). The major open problem in this area is whether one can compute the minimum number of quantifier alternations needed to define a given star-free language. The purpose of the talk is to survey recent progress on this topic.
  • Martes 6 de septiembre, 12.00 h
    Seminario de Álgebra, Departament de Matemàtiques
    Universitat de València
    «Rauzy graphs and the free profinite semigroup»
    Resumen:
    Symbolic dynamical systems have been studied from many viewpoints, in particular in an attempt to classify them. Several algebraic and combinatorial structures have been associated to them. In the case of minimal systems, we have established a relationship between Rauzy graphs, which describe the successive reading of blocks of symbols of fixed length and certain profinite subgroups of the free profinite semigroup on the underlying set of symbols. More precisely, we have shown that these groups may be obtained as inverse limits of the profinite completions of the fundamental groups of the Rauzy graphs as the length of the blocks varies. This is joint work with Alfredo Costa (University of Coimbra).

Cordialmente,

Ramón.

 

Visita de Julio Lafuente

Oct ’15Oct
2228

Julio LafuenteEl profesor Julio Lafuente, catedrático de Álgebra de la Universidad Pública de Navarra-Nafarroako Unibertsitate Publikoa, visitará la Universitat de València entre los días 22 y 28 de octubre de 2015. Es experto en teoría de grupos y ha sido investigador principal del proyecto coordinado en que ha estado integrado nuestro equipo de investigación.

 

Visitas Jan Rutten y Alexandra Silva

Oct ’15Oct
2123

Jan RuttenAlexandra SilvaLos profesores Jan Rutten (Radboud Universitet, Nijmegen y CWI, Amsterdam) Alexandra Silva (University College, London) visitarán la Universitat de València durante los días 21, 22 y 23 de octubre de 2015. Son expertos en álgebra universal y sus intereses en investigación incluyen los fundamentos coalgebraicos de la computación y los métodos formales para la ingeniería de la programación, especialmente programación orientada a servicios y basada en componentes. Vendrán como miembros del tribunal de la tesis doctoral de Enric Cosme i Llópez.