Some talks

Some talks I gave.

• 28/04/2023 - Automating Concurrent Separation Logic. Ongoing collaboration with James Brotherston, Aquinas Hobor, Loc Quang and Reuben Rowe (15:15, GS01 66-72 Gower St). At the meeting of the project "Interface Reasoning for Interacting Systems (IRIS)" 2023. London. England.


• 12/08/2022 - On the fluidization of Petri nets. (9:25, Isaac Newton Institute, INI) At the INI Concurrency Meeting 2022. Cambridge. England.


• 30/04/2021 - Looking at interfaces in the Educational Technology (EdTech) community. Collaboration with Will Venters and Roser Pujadas (13:05, online event). At the "IRIS Day O'Science" Workshop. April 2021. London. England.


• 13/11/2020 - A taste of fluidization of Petri nets and my new role within the IRIS project. (15:00, online event). At the meeting of the project "Interface Reasoning for Interacting Systems (IRIS)" November 2020. London. England.


• 23/06/2020 - Engaging children and parents in physically active maths sessions. (14:00, online event). At the Interaction Design and Children (IDC) Conference 2020 London. England.


• 14/09/2019 - A Hybrid Learning Space for Physically-Active Mathematics: the case of Numberfit. (10:00, TU Delft). At the Workshop on hybrid learning spaces 2019 in the 14th European Conference on Technology Enhanced Learning Delft, The Netherlands.


• 14/05/2014 - The Bound Reaching Problem on the fluidization of timed Petri nets . (16:50, ENS Cachan) At the 12th International Workshop of Discrete Event Systems. WODES 2014. Cachan. France.


• 14/02/2014 - On the fluidization of Petri Nets. (14h, GREAH Seminary) Université du Havre . Le Havre. France.


• 27/06/2013 - Complexity Analysis of Continuous Petri Nets. (10:30, Università degli studi di Milano-Bicocca) 34th International Conference on Application and Theory of Petri Nets and Concurrency ICATPN 2013. Milano. Italia.


• 16/05/2013 - Computation of the Reachability Graph of Autonomous Hybrid Petri nets. (12h, Sala de Conferencias, Edificio I+D+i) II Jornada de Jóvenes Investigadores del Instituto de Investigación en Ingeniería de Aragón (I3A). Universidad de Zaragoza. España.
  Awarded with the prize "Premio al mejor trabajo de la división".


• 30/01/2013 - Timed Continuous Petri nets: performance evaluation, observability and control. (11h, Biblioteque LSV) LSV. ENS Cachan. France.


• 19/12/2012 - On the fluidization of autonomous Petri nets.(11h, Biblioteque LSV) LSV. ENS Cachan. France.


• 03/10/2012 - Marking homothetic monotonicity and fluidization of autonomous Continous Petri net systems. At the 11th International Workshop of Discrete Event Systems. WODES 2012. Guadalajara. México.
  Artículo nominado al "Best student paper award".


• 27/04/2012 - HAPN: A conceptual framework for the fluidization of PN. I Jornada de Jóvenes Investigadores del Instituto de Investigación en Ingeniería de Aragón (I3A). Universidad de Zaragoza. España.


• 30/08/2011 - On reachability and deadlock-freeness of HAPN. 18th IFAC World Congress. Milano. Italia.

Poster presentations

• 02/08/2019 - Utilizing Cognitive Tutor Authoring Tools (CTAT) to teach AL a math matching exercise. Joint work with Jesslyn Valerie and Joe Kopko. Simon Initiative LearnLab Summer School 2019. Carnegie Mellon University, Pittsburgh. United States. Aug 2019.


• 08/06/2011 - Hybrid Adaptive Petri Nets. DISC PhD School on Control of Discrete-Event Systems: Automata and Petri nets perspectives. Organized by por: DISC European Project. Çagliari, Italia. June 2011.