\defbibcheck{notarXiv}{%
  \iffieldequalstr{journaltitle}{CoRR}{\skipentry}{}
}

\defbibcheck{arXiv}{%
  \iffieldequalstr{journaltitle}{CoRR}{}{\skipentry}
}

\defbibfilter{reports}{%
  type=thesis or type=report
}

\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
\section{Publications et communications}
Lors de mon parcours scientifique, j'ai rédigé ou participé à la
rédaction de 32 publications, dont 14 dans des revues internationales
et 13 à 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=notarXiv
]

\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=arXiv
]

\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{itemize}
\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{itemize}

\subsection*{Séminaires et exposés}
\begin{itemize}
\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{itemize}

\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: