dossier-complet/publications.tex

185 lines
7.5 KiB
TeX
Raw Normal View History

\defbibcheck{formal}{
\ifboolexpr{
test {\iffieldequalstr{journaltitle}{CoRR}}
or
test {\iffieldequalstr{journaltitle}{bioRxiv}}
}
{\skipentry}
{}
}
\defbibcheck{informal}{%
\ifboolexpr{
test {\iffieldequalstr{journaltitle}{CoRR}}
or
test {\iffieldequalstr{journaltitle}{bioRxiv}}
}
{}
{\skipentry}
}
\defbibfilter{reports}{%
type=thesis or type=report
}
\begin{refsection}[bib/sivanov-dblp.bib,bib/sivanov-extra.bib]
\section{Publications et communications}
J'ai rédigé ou participé à la
2023-09-08 13:13:51 +02:00
rédaction de 77 publications, dont 38 dans des revues internationales
2022-08-29 11:50:45 +02:00
et 28 à des manifestations internationales avec comité de sélection et
publication des actes. Cette section contient une liste complète de
mes publications, par catégorie.
\nocite{*}
\newrefcontext[sorting=ydnt,labelprefix=j]
\printbibliography[
heading=subbibliography,
title={Revues internationales},
type=article,
check=formal
]
\newrefcontext[sorting=ydnt,labelprefix=c]
\printbibliography[
heading=subbibliography,
title={Conférences et ateliers d'audience internationale},
type=inproceedings,
]
\newrefcontext[sorting=ydnt,labelprefix=i]
\printbibliography[
heading=subbibliography,
title={Publications informelles},
type=article,
check=informal
]
2015-05-29 15:52:37 +02:00
\newrefcontext[sorting=ydnt,labelprefix=r]
\printbibliography[
heading=subbibliography,
title={Mémoires et rapports de recherche},
filter=reports
]
{
\setlist[itemize]{leftmargin=6.2ex}
\subsection*{Visites scientifiques}
\begin{enumerate}
2023-06-30 17:44:23 +02:00
\item Visite scientifique à l'Université technique de Vienne ; invité
par Rudolf \textsc{Freund} (août~2023).
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
par Nicolas \textsc{Glade} (juin~2022).
2022-05-11 13:59:44 +02:00
\item Visite scientifique à l'ENS Lyon avec Damien~\textsc{Regnault}
pour collaborer avec Nicolas~\textsc{Schabanel} (juin~2022).
2021-08-27 14:55:17 +02:00
\item Visite scientifique à l'Université technique de Vienne ; invité
par Rudolf \textsc{Freund} (août~2021).
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
par Nicolas \textsc{Glade} (juin~2021).
2020-05-31 19:03:17 +02:00
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
par Nicolas \textsc{Glade} (février~2020).
2019-08-07 10:09:43 +02:00
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
par Nicolas \textsc{Glade} (mai~2019).
2019-08-07 10:06:39 +02:00
\item Visite scientifique à l'Université de Turku, Finlande ; invité
par Ion \textsc{Petre} (mai~2019).
\item Visite scientifique à l'Université technique de Vienne ; invité
par Rudolf \textsc{Freund} (août~2017).
2017-01-26 11:36:36 +01:00
\item Visite scientifique à l'Université technique de Vienne ; invité
par Rudolf \textsc{Freund} (août~2016).
2015-12-10 20:00:27 +01:00
\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku,
Finlande ; invité par Ion \textsc{Petre} (janvier~2016).
\item Visite scientifique à l'Université technique de Vienne ; invité
par Rudolf \textsc{Freund} (novembre~2015).
\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku,
Finlande ; invité par Ion \textsc{Petre} (octobre~2014).
\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku,
Finlande ; collaboration avec Ion \textsc{Petre} (avril--mai 2014).
\item Visite scientifique au Laboratoire d'Algorithmique, Complexité
et Logique, Université Paris Est Créteil ; invité par Serghei
\textsc{Verlan} (août 2011).
\end{enumerate}
2015-05-29 15:52:37 +02:00
\subsection*{Séminaires et exposés}
\begin{enumerate}
2023-02-28 10:56:54 +01:00
\item Participation à la table ronde SIANA « Enjeux sociétaux des
innovations numériques » au Théâtre de Corbeil-Essonnes (2 février
2023).
2022-07-11 13:50:09 +02:00
\item Exposé invité « The Many Shapes of Polymorphism » aux
conférences Conference on Membrane Computing (présentiel) et Asian
Conference on Membrane Computing (distanciel) (59 septembre 2022).
2022-06-02 20:35:24 +02:00
\item Séminaire « P vs. B: P Systems as a Formal Framework for
Controllability of Boolean Networks » au laboratoire TIMC,
Université Grenoble-Alpes (7 juin 2022).
\item Exposé invité « Sequential Reprogramming of Biological Network
Fate » à la session spéciale « Complex systems » de « Finnish
Mathematical Days 2022 » (5 janvier 2022).
2021-08-27 14:55:23 +02:00
\item Exposé « Sequential Reprogramming of Biological Network Fate »
à l'atelier AUTOMATA-WAN (15 juillet 2021).
\item Exposé « Understanding evolution: A Methodology for Evaluating
the Extensibility of Boolean Networks Structure and Function » à la
journée en ligne du GT BIOSS-IA (24 novembre 2020).
2019-08-07 10:06:39 +02:00
\item Séminaire « Sequential Reprogramming of Biological Network
Fate » à l'Université de Turku, Finlande (28 mai 2019).
2017-01-26 12:16:01 +01:00
\item Séminaire « Universality and Computational Completeness of
Controlled Leftist Insertion-Deletion Systems » au Laboratoire
d'Informatique Fondamentale d'Orléans à l'Université d'Orléans (6
février 2017).
\item Séminaire « Semilinear Sets, Register Machines, and Integer
2017-01-26 11:38:45 +01:00
Vector Addition (P) Systems » au Laboratoire d'Algorithmique,
Complexité et Logique de l'Université Paris Est Créteil (16 janvier
2017). Sujet présenté également en téléconférence au séminaire en
hommage à Yurii \textsc{Rogozhin} à l'Institut des Mathématiques et
d'Informatique de Moldavie (11 novembre 2016).
2017-01-26 22:37:16 +01:00
\item Séminaire « Theory of Computer Science: Why All That Formal
2017-01-26 12:22:27 +01:00
Stuff? » pour le Centre d'excellence en informatique « Tekwill » à
Chișinău, Moldavie (15 décembre 2016).
2016-03-19 00:57:43 +01:00
\item Séminaire « Formal Instruments for Adverse Computations » au
Laboratoire lorrain de recherche en informatique et ses applications
(Le Loria) à l'Université de Lorraine (25 mars 2016).
2016-03-13 15:36:50 +01:00
\item Séminaire « Complexity of Model Checking for Reaction Systems »
au Laboratoire d'Informatique, Signaux et Systèmes de Sophia
Antipolis (24 mars 2016).
\item Séminaire « On the Power and Universality of
Biologically-inspired Models of Computation » au Laboratoire
d'Informatique Fondamentale à l'Aix-Marseille Université (7 mars
2016).
\item Séminaire « Small Universal Petri Nets : Biochemical
Universality » au Laboratoire d'Informatique Fondamentale d'Orléans
à l'Université d'Orléans (22 février 2016).
2015-12-10 20:49:14 +01:00
\item Séminaire « Some Results on Leftist Insertion-deletion Systems »
au Laboratoire Spécification et Vérification à l'ENS de
Cachan (25 novembre 2015). Sujet présenté également en téléconférence au
séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut des
2015-12-10 20:49:14 +01:00
Mathématiques et d'Informatique de Moldavie (13 novembre 2015).
\item Séminaire « Variants of P systems with Toxic Objects » à
l'Université technique de Vienne (23 novembre 2015).
2015-05-29 15:52:37 +02:00
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
au laboratoire Combio, Åbo Akademi, Turku, Finlande (2 octobre
2014).
\item Séminaire «~Model Checking of Reaction Systems: Work in
Progress~» au laboratoire Combio, Åbo Akademi, Turku, Finlande (25
mai 2014).
\item Séminaire «~Bridging Programming, Natural Computing, Formal
Languages, and Petri Nets~» au laboratoire Combio, Åbo Akademi,
Turku, Finlande (14 avril 2014).
\item Séminaire «~Small Universal Petri Nets~» au Laboratoire
d'Algorithmique, Complexité et Logique à l'Université Paris Est
Créteil (27 janvier 2014).
\end{enumerate}
2015-05-30 21:23:49 +02:00
\subsection*{Posters}
\begin{itemize}
\item Poster « Small Universal Petri Nets with Inhibitor Arcs » lors
d'évaluation du Laboratoire d'Algorithmique, Complexité et Logique
par AERES (décembre 2013).
2015-05-30 21:23:49 +02:00
\end{itemize}
}
\end{refsection}
%%% Local Variables:
%%% mode: LaTeX
%%% mode: auto-fill
%%% ispell-local-dictionary: "fr"
%%% End: