Vous pouvez vous abonner à nos annonces de séminaires
                     http://gallium.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                        Amphi Turing du bâtiment 1

                            Lundi 7 mars, 10h30

                              ----------------
                              Roberto Di Cosmo
                              ----------------

                            Université Paris 7

            ====================================================
            Some research results in package-based distributions
            ====================================================

Free software distributions, like Debian, RedHat, or Ubuntu, are among the
largest real-world component based systems. Essential building blocks of these
distribution are the packages, with their metadata, and tools to install and
remove packages from the system.  After presenting a formalisation of packages
and distributions, we will survey in this talk a series of results obtained by
different researchers over the past years, and report on the practical
complexity of problems which are, in the worst case, NP-complete or
co-NP-complete.