Conferències
Comunicacions
33. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms
32. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms
31. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms
30. Higher-order rewriting systems, categorial algebras, and Curry-Howard isomorphisms
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.