| Feb ’20 |
| 24 |
| 12:00 |
Benvolgudes companyes, benvolguts companys,
El professor Jean-Éric Pin (IRIF, CNRS i Université Paris-Diderot) ens visitarà el proper dilluns 24 de febrer i impartirà la xarrada
«Formations of monoids»
el proper dilluns 24 de febrer a les 12.00 a l’aula 1.5 de la Facultat de Matemàtiques.
Ben cordialment,
Ramon
| Oct ’16 | Oct |
| 8 | 15 |
| Oct ’16 |
| 11 |
| 15:00 |
| Oct ’16 |
| 13 |
| 12:00 |
| Oct ’16 |
| 14 |
| 11:00 |
Estimadas 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
en el seminario de Álgebra del segundo piso de la Facultat de Matemàtiques.
Quedáis todos invitados.
Cordialmente,
—
Ramón
| Oct ’15 | Oct |
| 20 | 26 |
El 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.
| Oct ’15 |
| 22 |
| 12:00 |
El proper dijous 22 d’octubre de 2015, a les 12.00, a la sala de graus de la Facultat de Química de la Universitat de València (carrer de Vicent Andrés Estellés, s/n, Burjassot), es procedirà a la defensa de la tesi doctoral d’Enric Cosme i Llópez, dirigida per Adolfo Ballester Bolinches i Jean-Éric Pin i amb títol
«Some contributions to the algebraic theory of automata».
Esteu convidats a assistir a aquest acte.
Actualització 16/10/2015: La defensa es durà a terme a la sala de graus de la Facultat de Química i no a la de Farmàcia, com inicialment estava previst.
The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:
Adolfo Ballester-Bolinches, Jean-Éric Pin, Xaro Soler-Escrivà
Languages associated with saturated formations of groups
Forum Math., 27(3) (2015), 1471–1505
http://dx.doi.org/10.1515/forum-2012-0161
Abstract
In a previous paper, the authors have shown that Eilenberg’s variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.
2010 Mathematics subject classification: 68Q70; 20D10
Keywords: Group formation; regular language; finite automata; finite monoid
The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:
J. Almeida, A. Cano, O. Klíma, J.-É. Pin
On fixed points of the lower set operator
Internat. J. Algebra Comput., 25(1-2) (2015), 259–292
http://dx.doi.org/10.1142/S021819671540010X
Abstract
2010 Mathematics subject classification: Primary: 20M07, Secondary: 20M35
Keywords: Ordered semigroups; pseudovarieties; lower sets; power operator; inequalities; pseudoidentities
The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:
Adolfo Ballester-Bolinches, Jean-Éric Pin, Xaro Soler-Escrivà
Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited
Forum Math., 26(6) (2014), 1737–1761
http://dx.doi.org/10.1515/forum-2012-0055
Abstract
We present an extension of Eilenberg’s variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.
2010 Mathematics subject classification: 20D10; 20M35
Keywords: Group formations; regular languages; semigroups; automata theory
The following paper has been published.
El siguiente artículo ha sido publicado.
El següent article ha sigut publicat.
Jean-Éric Pin, Pedro V. Silva
A noncommutative extension of Mahler’s theorem on interpolation series
European J. Combin., 36, 564-578 (2014)
http://dx.doi.org/10.1016/j.ejc.2013.09.009
Abstract
In this paper, we prove an extension of Mahler’s theorem on interpolation series, a celebrated result of p-adic analysis. Mahler’s original result states that a function from N to Z is uniformly continuous for the p-adic metric dp if and only if it can be uniformly approximated by polynomial functions. We prove the same result for functions from a free monoid A∗ to Z, where dp is replaced by the pro-p metric, the profinite metric on A∗ defined by p-groups.
| Nov ’13 |
| 7 |
| 13:00 |
CONFERÈNCIA DE DIVULGACIÓ
Lloc: Saló de graus Facultat de Ciències Matemàtiques
Dijous 7 de novembre, 13 hores
Títol: Todo lo que querías saber sobre autómatas y nunca te atreviste
a preguntar
Conferenciant: Jean-Éric Pin
Resum: En aquesta xarrada, adreçada a estudiants de grau i postgrau de
matemàtiques i informàtica, es presentarà una introducció a la teoria
d’autòmats i llenguatges formals. Aquesta teoria té la seua aplicació
en àmbits com el de la lingüística, el modelat, els analitzadors
lèxics, l’enginyeria automàtica, l’especificació i verificació formal
i la lògica, entre d’altres.
La xarrada serà impartida en anglès, acompanyada d’una presentació en
castellà.
Jean-Éric Pin és director de recerca del LIAFA (Laboratoire
d’Informatique Algorithmique: Fondements et Applications, unitat mixta
de recerca del CNRS i Université Paris Diderot, Paris 7). És expert en
teoria d’autòmats i de llenguatges formals, així com en semigrups i
topologia profinita. Les seues contribucions en aquestes àrees han
sigut molt destacades. És autor de diversos llibres d’investigació
(«Variétés de langages formels», «Semigroups, Algorithms, Automata and
Languages», «Infinite words», entre d’altres) i del programa «Semigroupe»
de càlcul amb semigrups. També és autor de 145 articles de recerca en
revistes científiques i actes de congressos. Ha dirigit 22 tesis
doctorals i ha sigut investigador principal de diversos projectes
internacionals de recerca. Recentment ha coŀlaborat amb Adolfo
Ballester Bolinches (Departament d’Àlgebra) i altres membres del seu
equip de recerca.
Més informació:
http://www.liafa.jussieu.fr/~jep/
CONFERENCIA DE DIVULGACIÓN
Salón de grados Facultat de Ciències Matemàtiques
Jueves 7 de noviembre, 13 horas
Título: Todo lo que querías saber sobre autómatas y nunca te atreviste
a preguntar
Conferenciante: Jean-Éric Pin
Resumen: En esta charla, dirigida a estudiantes de grado y posgrado de
matemáticas e informática, se presentará una introducción a la teoría
de autómatas y lenguajes formales. Esta teoría tiene su aplicación en
ámbitos como el de la lingüística, el modelado, los analizadores
léxicos, la ingeniería automática, la especificación y verificación
formal y la lógica, entre otros.
La charla será impartida en inglés, acompañada de una presentación en
castellano.
Jean-Éric Pin es director de investigación del LIAFA (Laboratoire
d’Informatique Algorithmique: Fondements et Applications, unidad mixta
de investigación del CNRS y Université Paris Diderot, Paris 7). Es
experto en teoría de autómatas y de lenguajes formales, así como en
semigrupos y topología profinita. Sus contribuciones en estas áreas
han sido muy destacadas. Es autor de varios libros de investigación
(«Variétés de langages formels», «Semigroups, Algorithms, Automata and
Languages», «Infinite words», entre otros) y del programa «Semigroupe»
de cálculo con semigrupos. También es autor de 145 artículos de
investigación en revistas científicas y actas de congresos. Ha
dirigido 22 tesis doctorales y ha sido investigador principal de
diversos proyectos internacionales de investigación. Recientemente ha
colaborado con Adolfo Ballester Bolinches (Departament d’Àlgebra) y
otros miembros de su equipo de investigación.
Más información:
http://www.liafa.jussieu.fr/~jep/
| Nov ’13 | Nov |
| 4 | 11 |
El 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 4 y el 11 de noviembre de 2013. Es experto en teoría de autómatas y de lenguajes formales, así como en semigrupos y topología profinita. Sus contribuciones en estas áreas han sido muy destacadas. Es autor de varios libros de investigación («Variétés de langages formels», «Semigroups, Algorithms, Automata and Languages», «Infinite words», entre otros) y del programa «Semigroupe» de cálculo con semigrupos. También es autor de 145 artículos de investigación en revistas científicas y actas de congresos. Ha dirigido 22 tesis doctorales y ha sido investigador principal de diversos proyectos internacionales de investigación. En la actualidad es miembro de nuestro equipo de investigación.