~~NOCACHE~~
---- datatemplateentry ----
template    : en:templates:equipe
type        : Thematic team
nom         : Analysis and conception of systems
nomcourt    : systemes
responsable : jkrivine
pole        : pps
----

\\ === Research themes ===

We aim at developing formal or mathematical methods for modeling real
natural or man-made systems, and to solve concrete problems.  This
field of research is connected with [[http://www.irill.org|IRILL]], with which we are working
on efficient methods for the correct deployment of large software
components. We develop programming languages for specific application
domains like data bases and web programming. We also work on
probabilistic and graphical systems, based on rewriting or process
algebra, for the modeling of concurrent systems.

The pole wishes to develop its inter-disciplinary activities in the field
of biological systems and models. Furthermore, our activities are
connected to the [[https://www.softwareheritage.org|Software Heritage foundation]] which was founded by
members of IRIF, and which we continue to support.

  * The Coq Proof Assistant
  * The Babel Routing Protocol
  * Programming Languages
  * Software Components
  * Concurrent and Probabilistic Systems
  * Linear Rewriting

\\ === Seminar and working groups ===

[[::en:seminaires:pps:]] \\
[[::en:seminaires:acs:]] \\
[[::en:seminaires:programmation:]]\\
[[::en:seminaires:types:]]

/*
\\ === Members ===

{{page>.:db:annuaire_en}}
*/
\\ === Permanent members  ===

{{page>.:db:annuaire_perm_en}}

\\ === Non-permanent members ===

{{page>.:db:annuaire_noperm_en}}