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.

Visita Jean-Éric Pin

Oct ’15Oct
2026

Jean-Éric PinEl profesor Jean-Éric Pin, director de investigaciones del LIAFA (CRNS-Université Paris Diderot, Paris 7) visitará el Departament d’Àlgebra de la Universitat de València entre el 20 y el 26 de octubre de 2015. Es experto en teoría de autómatas y de lenguajes formales, así como en semigrupos y topología profinita. En la actualidad es miembro de nuestro equipo de investigación.

Visita de Paz Jiménez Seral

Abr ’15
15
15:00

Paz Jiménez

La profesora Paz Jiménez Seral, del Departamento de Matemáticas de la Universidad de Zaragoza, visita la Universitat de València entre el miércoles 15 y el viernes 17 de abril de 2015. Paz es investigadora del proyecto «Propiedades aritméticas y estructurales de los grupos, aplicaciones II», coordinado con el nuestro, y trabaja en el estudio de los grupos finitos a través de sus acciones y en clases de grupos finitos.

Visita y charla del profesor Gil Kaplan

May ’14May
2629
May ’14
27
11:30

El profesor Gil Kaplan, de la School of Computer Science del Academic College of Tel Aviv-Yafo (Israel), visitará el Departament d’Àlgebra de la Universitat de València entre los días 26 y 29 de mayo de 2014. El profesor Kaplan es especialista en teoría abstracta de grupos finitos.

El martes 27 de mayo, a las 11.30, impartirá la charla titulada

Nilpotency, solvability and the twisting function of finite groups

en el seminario del Departament d’Àlgebra de la Universitat de València (segundo piso de la Facultat de Matemàtiques). Estáis todos invitados.

 

Visita de Paz Jiménez Seral

Feb ’14Feb
2427

Paz Jiménez SeralLa profesora Paz Jiménez Seral, del Departamento de Matemáticas de la Universidad de Zaragoza, visitará la Universitat de València entre el lunes 24 y el jueves 27 de febrero de 2014. Paz es investigadora del proyecto «Propiedades aritméticas y estructurales de los grupos, aplicaciones II», coordinado con el nuestro, y trabaja en el estudio de los grupos finitos a través de sus acciones y en clases de grupos finitos.