diff --git a/cv.tex b/cv.tex index 808c217..145e3e6 100644 --- a/cv.tex +++ b/cv.tex @@ -609,6 +609,80 @@ the digital service of Thales Group. \input{cv-pubs-bib} +\subsection*{Invited talks and seminars} +\label{sec:talks} + +\begin{enumerate} +\item Invited talk \textbf{P Systems with Reactive Membranes} at the + Workshop on Intelligent Information Systems WIIS 2023, at the + Institute of Mathematics and Computer Science ``Vladimir + Andrunachievici'' (Oct 19--21, 2023). +\item Seminar \textbf{Queens of the Hill} at the LACL laboratory, + Université Paris Est Créteil (Oct 9, 2023). +\item SIANA\footnote{SIANA is an association defining itself as an + ``Artistic laboratory, and a pool of digital and hybrid resources + of the Essonne department, and the south of Île-de-France.'' --- + https://www.siana.eu/} public round table \textbf{Stakes of + digital innovations for the society} \textit{(Enjeux sociétaux des + innovations numériques)} at the Corbeil-Essonnes theater (Feb 2, + 2023). +\item Invited talk \textbf{The Many Shapes of Polymorphism} at the + Conference on Membrane Computing (Trieste, Italy) and the Asian + Conference on Membrane Computing (online) (Sep 5--9, 2022). +\item Seminar \textbf{P vs. B: P Systems as a Formal Framework for + Controllability of Boolean Networks} at the TIMC laboratory, + Université Grenoble-Alpes (Jun 7, 2022). +\item Invited talk \textbf{Sequential Reprogramming of Biological + Network Fate} at the special session ``Complex systems'' of the + Finnish Mathematical Days 2022 (Jan 5, 2022). +\item Seminar \textbf{Sequential Reprogramming of Biological Network + Fate} at the University of Turku, Finland (May 28, 2019). +\item Seminar \textbf{Universality and Computational Completeness of + Controlled Leftist Insertion-deletion Systems} at the LIFO + laboratory, Université d'Orléans (Feb 6, 2017). +\item Seminar \textbf{Semilinear Sets, Register Machines, and Integer + Vector Addition (P) Systems} at the LACL laboratory, Université + Paris Est Créteil (Jan 16, 2017). +\item Online invited talk \textbf{Semilinear Sets, Register Machines, + and Integer Vector Addition (P) Systems} at the Yurii + \textsc{Rogozhin} seminar series, Institute of Mathematics and + Computer Science ``Vladimir Andrunachievici'' (Nov 11, 2016). +\item Seminar \textbf{Theory of Computer Science: Why All That Formal + Stuff?}'' at the Tekwill Center of Excellence, Chișinău, Moldova + (Dec 15, 2016). +\item Seminar \textbf{Formal Instruments for Adverse Computations} at + the LORIA laboratory, Université de Lorraine (Mar 25, 2016). +\item Seminar \textbf{Complexity of Model Checking for Reaction + Systems} at the i3S laboratory, Université Côte d'Azur (Mar 24, + 2016). +\item Seminar \textbf{On the Power and Universality of + Biologically-inspired Models of Computation} at the LIF + laboratory, Aix-Marseille Université (Mar 7, 2016). +\item Seminar \textbf{Small Universal Petri Nets: Biochemical + Universality} at the LIFO laboratory, Université d'Orléans (Feb + 22, 2016). +\item Seminar \textbf{Some Results on Leftist Insertion-deletion + Systems} at the LSV laboratory (now LMF), ENS Cachan (Nov 25, + 2015). +\item Online invited talk \textbf{Some Results on Leftist + Insertion-deletion Systems} at the Yurii \textsc{Rogozhin} seminar + series, Institute of Mathematics and Computer Science ``Vladimir + Andrunachievici'' (Nov 13, 2015). +\item Seminar \textbf{Variants of P Systems with Toxic Objects} at + Vienna University of Technology (TU Wien) (Nov 23, 2015). +\item Seminar \textbf{Complexity of Model Checking for Reaction + Systems} at the Combio laboratory, Åbo Akademi, Turku, Finland + (Oct 2, 2014). +\item Seminar \textbf{Model Checking of Reaction Systems: Work in + Progress} at the Combio laboratory, Åbo Akademi, Turku, Finland + (May 25, 2014). +\item Seminar \textbf{Bridging Programming, Natural Computing, Formal + Languages, and Petri Nets} at the Combio laboratory, Åbo Akademi, + Turku, Finland (Apr 14, 2014). +\item Seminar \textbf{Small Universal Petri Nets} at the LACL + laboratory, Université Paris Est Créteil (Jan 27, 2014). +\end{enumerate} + %%% Local Variables: %%% TeX-engine: luatex %%% TeX-master: "hdr"