Conferències

Comunicacions

33. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms

 Yangzhou University, 5 de març de 2025.

32. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms

 Yangzhou University, 3 de març de 2025.

31. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms

 Nantong University, 28 de febrer de 2025.

30. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms

 Shanghai University, 19 de febrer de 2025.

29. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms

 TACL 2024, Topology, Algebra, and Categories in Logic, Universitat de Barcelona, 1 de juliol de 2024.

28. Palabras para el camino

 XXIII Encuentro Nacional de Estudiantes de Matemáticas, Universitat de València, 26 de juliol de 2022.

27. Les màquines del llenguatge

 Setmana Cultural de la Facultat de Matemàtiques, Universitat de València, 18 de març de 2021.

26. Sobre el álgebra libre parcial asociada a una especificación

V Congreso de Jóvenes Investigadores RSME, Universitat Jaume I, 29 de gener de 2020.

25. Autómata

Vida útil y métodos de reciclaje

 XIX Encuentro Nacional de Estudiantes de Matemáticas, Universitat de València, 24 de juliol de 2018.

24. \(\mathsf{K}_{4}\)-free graphs as a free algebra

 4º Congreso de Jóvenes Investigadores de la RSME, Universitat de València, 6 de setembre de 2017.

23. \(\mathsf{K}_{4}\)-free graphs as a free algebra

 MFCS 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg Universitet, 21 d’agost de 2017.

22. On recognizability of graphs of bounded tree-width

Groupe de Travail - Plume, École Normale Supérieure de Lyon, 29 de maig de 2017.

21. A complete axiomatisation of isomorphism of partial 2-trees

 Congreso Bienal de la Real Sociedad Matemática Española, Universidad de Zaragoza, 3 de febrer de 2017.

20. \(\mathsf{K}_{4}\)-free graphs as a free algebra

Algebra and Combinatorics Seminar, Universidad Autónoma de Madrid - ICMAT, 31 de gener de 2017.

19. A complete axiomatisation of isomorphism of treewidth 2 graphs, I & II

Groupe de Travail - Plume, École Normale Supérieure de Lyon, 5 i 12 de desembre de 2016.

18. Calculus of relations: Axiomatisation and algorithms

 Primer Congrés Predoc, Universitat de València, 22 de juliol de 2016.

17. Formations of monoids, congruences, and formal languages

Groupe de Travail - Plume, École Normale Supérieure de Lyon, 2 de maig de 2016.

16. The dual equivalence of equations and coequations for automata

Groupe de Travail - Plume, École Normale Supérieure de Lyon, 25 d’abril de 2016.

15. Acciones de monoides fieles y transitivas

 3r Congreso de Jóvenes Investigadores de la RSME, Universidad de Murcia, 8 de setembre de 2015.

14. Faithful and transitive monoid actions

 Joint International Meeting of the American, European and Portuguese Mathematical Societies, Universidade do Porto, 11 de juny de 2015.

13. Computabilitat

Seminari d’Àlgebra i Geometria, Universitat de València, de l’1 d’abril al 13 de maig de 2015.

12. Accions de monoides fidels i transitives

 Segundo Congreso del Máster y Doctorado en Investigación Matemática, Universitat de València, 12 de Gener de 2015.

11. Equivalencia dual entre ecuaciones y coecuaciones para autómatas

 Seminario de Álgebra, Nafarroako Unibertsitate Publikoa, Universidad Pública de Navarra, 11 de desembre de 2014.

10. Introducción a las coálgebras

Streams

 VIII Jornadas Matemáticas, Universidad Distrital Francisco José de Caldas, Bogotá, 20 de novembre de 2014.

9. The dual equivalence of equations and coequations for automata

 COIN: COalgebra In the Netherlands, Radboud Universiteit Nijmegen, 15 de maig de 2014.

8. A decomposition theorem for finite monoid actions

 ACG Seminar, Centrum Wiskunde & Informatica, 15 d’abril de 2014.

7. Accions de monoides

 Primer Congreso del Máster y Doctorado en Investigación Matemática, Universitat de València, 14 de gener de 2014.

6. Variedades y covariedades de lenguajes

 2º Congreso de Jóvenes Investigadores de la RSME, Universidad de Sevilla, 17 de setembre de 2013.

5. A brief introduction to coalgebras

 Maths and Stats seminar, University of Canberra, 25 de juliol de 2013.

4. Varieties and covarieties of languages

 Algebra Seminar, Australian National University, 16 de juliol de 2013.

3. Una visión coalgebraica de la teoría de autómatas

 PEJIM 2012, Universidad de La Laguna, 9 de setembre de 2012.

2. Coàlgebra aplicada a la teoria d’autòmats

 Seminari Predoc de Matemàtiques, Universitat de València, 24 de maig de 2012.

1. Universal coalgebra

 Seminar on non-classical logics, Universitat de Barcelona, 22 - 23 de febrer de 2012.

Organització

1. RAMiCS 2017

 16th International Conference on Relational and Algebraic Methods in Computer Science, 2017.