69d86eabdb
They are not really precise — the SymPy publication appears twice in journal papers, some festschrifts appear in conference proceedings, etc. Check out the HDR CV for some more up-to-date stats. On the other hand, maintaining these stats is an additional effort, which does not make too much sense therefore.
195 lines
7.9 KiB
TeX
195 lines
7.9 KiB
TeX
\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}
|
||
|
||
\nocite{*}
|
||
|
||
\newrefcontext[sorting=ydnt,labelprefix=ch]
|
||
\printbibliography[
|
||
heading=subbibliography,
|
||
title={Chapitres de livre},
|
||
type=inbook
|
||
]
|
||
|
||
\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
|
||
]
|
||
|
||
\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}
|
||
\item Visite scientifique à l'équipe TAPDANCE, Maynooth University,
|
||
Irlande ; invité par Damien \textsc{Woods} (avril--août 2024).
|
||
\item Visite scientifique à l'Université technique de Vienne (TU Wien) ; invité
|
||
par Rudolf \textsc{Freund} (août~2023).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (juin~2022).
|
||
\item Visite scientifique à l'ENS Lyon avec Damien~\textsc{Regnault}
|
||
pour collaborer avec Nicolas~\textsc{Schabanel} (juin~2022).
|
||
\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).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (février~2020).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (mai~2019).
|
||
\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).
|
||
\item Visite scientifique à l'Université technique de Vienne ; invité
|
||
par Rudolf \textsc{Freund} (août~2016).
|
||
\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}
|
||
|
||
\subsection*{Séminaires et exposés}
|
||
\begin{enumerate}
|
||
\item Exposé invité « P Systems with Reactive Membranes » au Workshop
|
||
on Intelligent Information Systems WIIS 2023 à l'Institut des
|
||
Mathématiques et d'Informatique de Moldavie, (19--21 octobre 2023).
|
||
\item Séminaire « Queens of the Hill » au Laboratoire d'Algorithmique,
|
||
Complexité et Logique (LACL) de l'Université Paris Est Créteil
|
||
(UPEC) (9 octobre 2023).
|
||
\item Participation à la table ronde SIANA « Enjeux sociétaux des
|
||
innovations numériques » au Théâtre de Corbeil-Essonnes (2 février
|
||
2023).
|
||
\item Exposé invité « The Many Shapes of Polymorphism » aux
|
||
conférences Conference on Membrane Computing (présentiel à Trieste,
|
||
Italie) et Asian Conference on Membrane Computing (distanciel) (5–9
|
||
septembre 2022).
|
||
\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).
|
||
\item Exposé « Sequential Reprogramming of Biological Network Fate »
|
||
à l'atelier AUTOMATA-WAN (CIRM, Marseille, 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).
|
||
\item Séminaire « Sequential Reprogramming of Biological Network
|
||
Fate » à l'Université de Turku, Finlande (28 mai 2019).
|
||
\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
|
||
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).
|
||
\item Séminaire « Theory of Computer Science: Why All That Formal
|
||
Stuff? » pour le Centre d'excellence en informatique « Tekwill » à
|
||
Chișinău, Moldavie (15 décembre 2016).
|
||
\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).
|
||
\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).
|
||
\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
|
||
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).
|
||
\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}
|
||
|
||
\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).
|
||
\end{itemize}
|
||
}
|
||
\end{refsection}
|
||
|
||
%%% Local Variables:
|
||
%%% mode: LaTeX
|
||
%%% mode: auto-fill
|
||
%%% ispell-local-dictionary: "fr"
|
||
%%% End:
|