Add Invited talk and seminars.
This commit is contained in:
parent
9078a4862c
commit
e5f2b26188
1 changed files with 74 additions and 0 deletions
74
cv.tex
74
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"
|
||||
|
|
Loading…
Reference in a new issue