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 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.

 

Charla de Paz Jiménez “Clases de isomorfía de transversales (quasigrupos)” 26/02/2014 11.00

Feb ’14
26
11:00

Paz Jiménez SeralLa profesor Paz Jiménez Seral, de la Universidad de Zaragoza, impartirá el próximo miércoles 26 de febrero de 2014, a las 11.00, la charla titulada

«Clases de isomorfía de transversales (quasigrupos)»

en el seminario del Departament d’Àlgebra de la Universitat de València (Facultat de Matemàtiques, segunda planta).

Estáis todos invitados.

Más información sobre Paz Jiménez Seral en la entrada

http://permut.blogs.uv.es/2014/02/18/visita-de-paz-jimenez-seral/

 

Charla de Ramón Esteban «Cómo usar las matemáticas para comunicarnos» martes 11/02 18.00 en La Nau Gran

Feb ’14
11
18:00

El próximo martes 11 de febrero de 2014, a las 18.00, en la sala de actos «Charles Darwin» del aulario del campus de Burjassot, Ramón Esteban impartirá la charla titulada

«Cómo usar las matemáticas para comunicarnos»

como parte del 12º ciclo de conferencias «Temas de actualidad en Ciencias» de «La nau Gran», el programa universitario de la Universitat de València para mayores de 55 años. Estáis invitados a asistir.

Nota: Esta charla estaba prevista originalmente para el 8 de abril.

Resumen

En esta charla veremos algunos problemas que se pueden dar en el ámbito de la comunicación y cómo las matemáticas pueden ayudarnos a resolverlos. En concreto, uno de los problemas es el ruido puede producir errores en la transmisión de información que es necesario corregir o, al menos, detectar. Este es el objeto de la llamada teoría de códigos. Los dígitos o caracteres de control constituyen un mecanismo para mitigar el efecto de esos errores. La aritmética modular o aritmética del reloj nos permite diseñar sistemas de dígitos de control que nos sirven para detectar o corregir errores. Por otra parte, hay ocasiones en que interesa mantener en secreto alguna comunicación a salvo de terceras personas. Para ello, es necesario cifrarlo de modo que si alguien lo intercepta, no pueda entenderlo. De nuevo, la aritmética del reloj resulta ser una potente herramienta matemática que está en la base del diseño de muchos sistemas criptográficos. Durante la charla presentaremos las nociones básicas de la teoría de códigos y de la criptografía y mostraremos algunos ejemplos de dígitos de control y de sistemas criptográficos basados en la aritmética modular.

 

Charla de Li Yangming

Feb ’14
17
11:00

fotoYangmingEl profesor Li Yangming, de la Guangdong University of Education, impartirá la charla titulada

«Some generalizations of Burnside’s theorem»

el próximo lunes 17 de febrero, a las 11.00, en el seminario del Institut Universitari de Matemàtica Pura i Aplicada de la Universitat Politècnica de València (campus de Vera, edificio 8E, acceso F, 4ª planta).

Estáis todos invitados.

 

Charla de Guo Xiuyun

Feb ’14
10
11:00

GuoXiuyunEl profesor Guo Xiuyun, de la Universidad de Shanghai, impartirá la charla titulada

«The automizers and normalizers in finite groups»

el próximo lunes 10 de febrero de 2014, a las 11.00, en el seminario del Departament d’Àlgebra de la Universitat de València (2º piso de la Facultat de Matemàtiques).

Estáis todos invitados.

 

Xarrada de divulgació professor Jean-Éric Pin/Charla de divulgación profesor Jean-Éric Pin

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/

 

 

Charla Leonid Kurdachenko

May ’13
28
12:00

Leonid KurdachenkoEl profesor Leonid Kurdachenko, de la Universidad Nacional de Dnepropetrovsk (Ucrania), de visita en nuestro departamento, impartirá la charla titulada

Around Schur’s, Baer’s and Neumann’s theorems

el próximo martes 28 de mayo de 2013, a las 12.00, en el seminario del Departament d’Àlgebra (Facultat de Matemàtiques, segundo piso).

Estáis todos invitados.

Charla Francesco de Giovanni

Abr ’13
12
12:00

DeGiovanniEl profesor Francesco de Giovanni, de la Università degli Studi di Napoli «Federico II», que nos visita entre el 9 y el 13 de abril de 2013, impartirá la charla titulada

Soluble groups of infinite rank

el próximo viernes día 12 de abril, a las 12.00, en el seminario del Departament d’Àlgebra de la Universitat de València (Facultat de Matemàtiques, 2º piso).

Estáis todos invitados.

Charla Jan Rutten

Mar ’13
13
11:00

El profesor Jan Rutten, CWI, Ámsterdam, y Universidad Radboud, Nijmegen, que nos visita entre el 11 y el 15 de marzo, impartirá la charla titulada

The method of coalgebra – an overview

el próximo miércoles 13 de marzo de 2013, a las 11.00, en el seminario del Departament d’Àlgebra de la Universitat de València (Facultat de Matemàtiques, 2º piso).

Resumen:

Since the early nineties, coalgebra has become an active area of research in which one tries to understand all kinds of infinite data types, automata, transition systems and dynamical systems from a unifying perspective. The focus of coalgebra is on observable behaviour and one uses coinduction as a central methodology, both for behavioural specifications and to prove behavioural equivalences. These days, one uses coalgebraic techniques in a wide variety of areas, ranging from automata theory to software engineering to ecology. In this talk, we shall illustrate the coalgebraic approach by discussing a number examples, including streams, automata and circuits.

Estáis todos invitados.