Periodic Dissemination ReportDeliverable D6.2

Nature : Deliverable

Due date : 31/01/2009

Delivery Date: 28/01/2009

Start date of project : 01/02/2008

Duration : 36 months

Distribution: Public

Web site: www.mancoosi.org Blog: blog.mancoosi.org

December 13, 2009

Specific Targeted Research ProjectContract no.214898Seventh Framework Programme: FP7-ICT-2007-1

List of the authors

Project acronym MANCOOSIProject full title Managing the Complexity of the Open Source InfrastructureProject number 214898Authors list Roberto Di Cosmo 〈roberto@dicosmo.org〉

Sophie Cousin 〈sophie.cousin@univ-paris-diderot.fr〉Arnaud Laprevote 〈laprevote@edge-it.com〉Vanessa Wall 〈vwall@mandriva.com〉

Internal reviewWorkpackage number WP6Deliverable number 2Document type DeliverableVersion 1Due date 31/01/2009Actual submission date 28/01/2009Distribution PublicProject coordinator Roberto Di Cosmo 〈roberto@dicosmo.org〉

Deliverable D6.2 Version 1 page 1 of 16

December 13, 2009

Contents

1 Introduction 3

2 The Mancoosi Project Server Infrastructure 3

2.1 Website Organization and Access Logs . . . . . . . . . . . . . . . . . . . . . . . . 3

2.2 Visits to the Mancoosi Web Site . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2.3 The Mancoosi Weblog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.4 Collaborative Infrastructure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.5 Open Source Mailing List Server . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3 Mancoosi in the Press and on the Web 5

3.1 Mancoosi in the Press . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3.2 Mancoosi on the Web . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

4 Mancoosi Conferences and Publications 10

5 Conclusion 11

A Summary of Partners Dissemination Activities 11

A.1 Universite Paris Diderot – Paris 7 (UPD) . . . . . . . . . . . . . . . . . . . . . . 11

A.2 Edge-IT (EDG) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

A.3 Universita Degli Studi dell’Aquila (UDA) . . . . . . . . . . . . . . . . . . . . . . 13

A.4 INESC-ID (INI) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

A.5 Caixa Magica Software (CXA) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

A.6 Universite de Nice Sophia Antipolis (UNSA) . . . . . . . . . . . . . . . . . . . . . 14

A.7 Tel Aviv University (TAU) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

A.8 ILOG (ILG) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

A.9 Universite Catholique de Louvain (UCL) . . . . . . . . . . . . . . . . . . . . . . . 15

A.10 Pixart (PXT) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

Deliverable D6.2 Version 1 page 2 of 16

December 13, 2009

1 Introduction

This report describes the dissemination activities related to the Mancoosi project over the firstperiod of the project, starting on February 1st, 2008 and ending on January 31, 2009. The reportfirst describes the server infrastructure used to disseminate information related to Mancoosi. Itthen gives an overview of the coverage of Mancoosi in the press. Then, it gives a detail of thepublications within the scope of the project and finally, the appendix provides a summary ofthe partners dissemination activities.

2 The Mancoosi Project Server Infrastructure

The Mancoosi project dissemination and collaboration infrastructure has been chosen and builtusing mostly free software components, and is open to the public for review and collaboration.This infrastructure consists of a web site, a weblog, a wiki and a series of mailing lists.

2.1 Website Organization and Access Logs

The domain name mancoosi.org was reserved and bought in 2007. The URL http://www.mancoosi.org points to a set of web pages that contain a description of the project, a descriptionof the objectives of each technical workpackage, links to the partners web sites and all theMancoosi deliverables, papers and technical reports. Given that Mancoosi follows up on theresearch work already undertaken in the scope of the FP6 EDOS project, the Mancoosi website points a page dedicated to results from EDOS dependency checking. The home page alsohas a link to the Mancoosi weblog.

The web pages are fully compliant with the W3C web standards and have been built taking intoconsideration accessibility issues for the visual impaired, by avoiding script languages, and usingCascading Style Sheets to decorate the information, which is fully available to any e-visitors,even the ones resorting to text-based browsers like lynx, which are customary among the visualimpaired.

2.2 Visits to the Mancoosi Web Site

From the launch of the project, we have been collecting statistics on the hits to the Mancoosiweb site. The graph and table below show the visits to the Mancoosi web site since February2008.

Deliverable D6.2 Version 1 page 3 of 16

December 13, 2009

The data above show a regular interest to the web site during the first six months of the project,i.e. from the beginning of the project to August 2008. The Mancoosi web site has experienceda significant peak in the number of its visitors from the launch of the press release in September2008.

2.3 The Mancoosi Weblog

The Universite Paris Diderot team has set up a weblog to allow members of the Consortium topost entries related to the various activities of the project1.

The Mancoosi partners are encouraged to post any entry related to Mancoosi activities (theMancoosi collaboration meetings, pictures at a conference, related results, etc.) on the weblogto disseminate Mancoosi activities in an informal way. It is a multi author blog based onDotclear. Anybody (who has been given the rights to do so) can post, still preserving hisidentity as post author.

Up to now, 14 posts have been posted since April 2008 to inform the wide public on Mancoosimeetings, conferences related to the research work of Mancoosi, articles written and publishedwithin the scope of the project, etc.

2.4 Collaborative Infrastructure

An open source collaborative platform has been set up by the Edge-IT team to allow discussionamong the members of the consortium, using a server deploying the XWiki wiki implementation2.The wiki is a private platform by default that allows members to share information, documentsand files related to Mancoosi. The wiki contains a significant collection of information useful forcollaboration within the consortium, such as calls for papers, articles resulting from the workaccomplished within the project, presentations at conferences, deliverables, agendas, slides andminutes of all the consortium meetings and bulletins on administrative issues.

A section of the wiki is dedicated to administrative issues and management of the project andonly gives access to the coordination team at Universite Paris Diderot.

1http://blog.mancoosi.org/2http://mancoosi.xwiki.com/xwiki/

Deliverable D6.2 Version 1 page 4 of 16

December 13, 2009

2.5 Open Source Mailing List Server

In addition to the web site, the weblog and the collaborative platform, the members of UniversiteParis Diderot have deployed a series of internal mailing lists, based on the French open sourceSympa mailing list manager. Members of the Consortium as a whole use these mailing lists forscientific, administrative and coordination issues.

Each technical workpackage has its mailing list. Reasearchers and programmers interested incooperating with Mancoosi can ask for subscription to one or more of these technical mailinglists.

3 Mancoosi in the Press and on the Web

3.1 Mancoosi in the Press

The press release presenting Mancoosi to the public was launched by Edge-IT’s communicationteam on September 4, 2008. The text of the English version is as follows:

MANCOOSI – MAnaging the COmplexity of the Open SOurce Infras-tructure

A consortium consisting of 10 research institutions and industrial partners from 6different countries is launching the MANCOOSI project, an EU-funded researchproject aiming at improving support for software upgrades in the field of Free andOpen Source software.

MANCOOSI, standing for MANaging the COmplexity of the Open Source Infras-tructure, has a total budget of 4.4 million euros, including a 3.3 million euros fundingfrom the European Union.

Free and Open Source software is developed through the cooperation of volunteerprogrammers, public institutions, and software industry. This mode of developmentguarantees transparency of the inner working of the software, and encourages usersto become contributors themselves. Free and Open Source software continues to gainits share among system installations, not only among home users but also amongpower users in industry, public institutions, and Internet services.

Free and Open Source software usually evolves in a rapid succession of new versions.Software developed and published in this way is bundled into packages by softwaredistributions for easy deployment and installation, as for instance distributions of theGNU/Linux operating system and its huge collection of application software. Thesecollections of available packages are constantly updated for the benefit of the userwho needs the latest versions of software products, to fix security issues for instance.Consistent distributions of these software packages are published by editors, whichmay be released in updated versions several times a year, but over time each user’smachine inevitably ends up with a unique mixture of software components comingfrom different versions of her preferred distribution, and also from external sources.Maintaining the set of components installed on a machine in a consistent state is adaunting task that is becoming recurrent.

The rapid evolution of the software base makes upgrades a recurrent task that needsto be both safe and easy, for home users that do not want to waste time on system

Deliverable D6.2 Version 1 page 5 of 16

December 13, 2009

administration, and as smooth as possible for power users that cannot afford systemdowntime due to failed upgrades.

This is a difficult task: a free software distribution is made up of dozens of thousandsof software packages, interconnected by complex dependency and conflict relation-ships which change with the evolution of the software packages. As a consequence,even when a user wants to upgrade a single package it may be necessary to removeor install many other packages on the system. Finding an upgrade path of a complexsoftware installation is a complex task in terms of algorithms, and finding a pathtaking into account the preferences or resource constraints of the user is even moredifficult.

To address this challenging problem, the MANCOOSI project will:

• define formal models of a software platform and add transactional support toexisting tools to ensure that it is possible to unroll a failed upgrade attempt;

• develop specialized algorithms and tools for the discovery and optimization ofupgrade paths

• mobilize a large research community to take part in an international competi-tion for solving upgrade and other maintainability issues collected as a corpusof actual, real-world descriptions of upgrade failures

Did you know?

Some of the Mancoosi partners have collaborated in the framework of the EDOSproject which was devoted to the specific problem of building Linux distributions.This has led – among the various other results of the EDOS project – to the develop-ment of groundbreaking tools that allow to efficiently check the consistency of a setof packages: these tools are today succesfully adopted and used daily in mainstreamLinux distributions ranging from Caixa Magica, to Debian and Mandriva.

The main target of the project is the Free and Open Source infrastructure, as it pro-vides a real-world example of what tomorrow’s complex, quickly changing softwaresystems will look like, but the applicability of these models and algorithms goes farbeyond Free and Open Source software, and technologies developed in Mancoosi willpave the way to the maintainability of the software systems of the future, especiallyfor systems of systems, even when they are not Free or Open Source. To achieveMancoosi’s goals, the consortium brings together a mixture of actors, ranging fromindustry to academia to user communities. Mancoosi’s Partners are:

• Universite Paris Diderot – Paris 7 (France) (Coordinator)

• Edge-IT (France)

• Universita degli Studi dell’Aquila (Italy)

• INESC-ID (Portugal)

• Caixa Magica (Portugal)

• Universite de Nice Sophia Antipolis (France)

• Tel Aviv University (Israel)

• ILOG (France)

• Universite Catholique de Louvain (Belgium)

Deliverable D6.2 Version 1 page 6 of 16

December 13, 2009

• Pixart (Argentina)

For further informations, please contact:Prof. Roberto Di CosmoMancoosi CoordinatorE-mail: roberto@dicosmo.orgWWW : http://www.mancoosi.orgUniversite Paris Diderot – Paris 7Case 7014175, rue du chevaleret75205 Paris Cedex 13 - FRANCE

The press release has been translated in French, Italian and Portuguese. The translated versionsare available in pdf format on the Mancoosi web site3.

Many articles followed in the specialised press. Below are examples of French articles presentingMancoosi published in September 2008 that appeared on web magazines such as 01net, ZDNet,the web site of the Nouvel observateur, a well-known French magazine, linuxfr.org, Le Journaldu Net and in GNT (Generation Nouvelles Technologies). They are presented in chronologicalorder.

• Compte-rendu 2eme seminaire GT Logiciel Libre System@tic : EDOS et Mancoosi (2/2),30/05/2008, Weblog pro Olivier Berger4;

• The Mancoosi research project, August 2008, DebConf8 web site5;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 04/09/2008,ZDNet6;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 04/09/2008,Nouvel observateur web site7;

• Ilog: partenaire du projet Mancoosi, 04/09/2008, Le Journal du Net, Economy section8;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 04/09/2008,lexpansion.com9;

• Le projet Mancoosi vise a ameliorer les mises a jour de logiciels libres, 04/09/2008, itr-manager.com10;

• Ilog: partenaire du projet Mancoosi, 04/09/2008, challenges.fr11;3http://www.mancoosi.org/news.html4http://tinyurl.com/ajsnoq5https://penta.debconf.org/dc8_schedule/events/251.en.html6http://www.zdnet.fr/actualites/informatique/0,39040745,39383031,00.htm?xtor=RSS-17http://tempsreel.nouvelobs.com/depeches/medias/multimedia/20080905.ZDN6595/mancoosi__un_

projet_europeen_dedie_aux_mises_a_jour_de_.html8http://www.journaldunet.com/economie/actualite/depeche/boursier/24/554519/ilog_partenaire_

du_projet_mancoosi.shtml9http://tinyurl.com/ameh3w

10http://www.itrmanager.com/articles/81240/projet-mancoosi-vise-ameliorer-mises-jour-logiciels-libres.

html11http://bourse.challenges.fr/news.hts?menu=news_actualites&urlAction=news.hts%3Fmenu%3Dnews_

actualites&idnews=FPS080904_20298503&numligne=29&date=080904

Deliverable D6.2 Version 1 page 7 of 16

December 13, 2009

• Ilog: partenaire du projet Mancoosi, 04/09/2008, Yahoo France, Finance12;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 05/09/2008,lejournaldelinfo.canalblog.com13;

• Mancoosi: l’Europe se bouge pour les mises a jour de logiciels libres, 05/09/2008, linfor-maticien.com14;

• Le projet europeen Mancoosi veut optimiser les mises a jour des logiciels open source,05/09/2008, 01net15;

• Open Source: lancement d’un projet de recherche sur le versioning, 05/09/2008, Le Journaldu Net, Solutions section16;

• L’Europe se concerte pour optimiser la mise a jour des logiciels libres, 05/09/2008, ate-lier.fr17;

• Mancoosi : mises a jour de logiciels libres, 05/09/2008, editoblog.eu18;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 05/09/2008,opensource.tn19;

• Mancoosi: un projet europeen dedie aux mises a jour de logiciels libres, 06/09/2008,linuxfr.org20;

• L’Europe finance l’amelioration de la maintenabilite du logiciel libre, 08/09/2008, cio-online.com21;

• Open source: Mancoosi veut reinventer la mise a jour logicielle, 08/09/2008, Le Mag IT,l’informatique pour et par les pros22;

• Mancoosi: vers une maintenance uniformisee du logiciel?, 08/09/2008, GNT (GenerationNouvelles Technologies)23;

• Mancoosi: vers une maintenance uniformisee du logiciel?, 08/09/2008, GNT, GenerationNouvelles technologies24;

• Mancoosi met a jour des logiciels libres, 10/09/2008, editoweb.eu25;12http://fr.biz.yahoo.com/04092008/17/ilog-partenaire-du-projet-mancoosi.html13http://lejournaldelinfo.canalblog.com/archives/2008/09/05/10477374.html14http://www.linformaticien.com/Actualit%E9s/tabid/58/newsid496/4912/

mancoosi-l-europe-se-bouge-pour-les-maj-de-logiciels-libres/Default.aspx15http://tinyurl.com/c27s9816http://tinyurl.com/atnprg17http://www.atelier.fr/recherche/10/05092008/collaboration--europe--logiciels--mancoosi-37099-.

html18http://www.editoblog.eu/Mancoosi-mises-a-jour-de-logiciels-libres_a57.html19http://www.opensource.tn/fr/articles.php?artid=31820http://linuxfr.org/2008/09/06/24457.html21http://tinyurl.com/bowu5s22http://tinyurl.com/dcmjxw23http://www.generation-nt.com/mancoosi-maintenance-mise-jour-logiciel-libre-linux-actualite-148441.

html24http://www.generation-nt.com/mancoosi-maintenance-mise-jour-logiciel-libre-linux-actualite-148441.

html25http://www.editoweb.eu/Mancoosi-met-a-jour-des-logiciels-libres_a10977.html

Deliverable D6.2 Version 1 page 8 of 16

December 13, 2009

• Roberto Di Cosmo: ”Mancoosi est un projet de RD avec une approche scientifique”,12/09/2008, eweekeurope.fr26;

• Projet Mancoosi: nouveau projet lance par un consortium de 10 partenaires industriels etacademiques internationaux de la recherche, September 2008, mag-securs.com, Le Maga-zine de la securite informatique27;

• Les distributions Linux ameliorent leur securite, 16/10/2008, eweekeurope.fr28;

• Solving package dependencies: from EDOS to Mancoosi, November 2008, HAL Servor29;

Below are examples of articles that appeared in the Argentinean press, even before the projectbecame active:

• Pixart es parte del proyecto Mancoosi, October 24, 2007, Espacio Linux30;

• Pixart Argentina es parte del proyecto Mancoosi, October 24, 2007, VivaLinux!31;

• Pixart elegida por la Comunidad Europea, November 1, 2007, canal-ar.com.ar32;

• Entrevista sobre Pixart en el proyecto Mancoosi, November 2, 2007, SoftwareLibre.Net33;

• Proyecto Mancoosi: por Argentina, va Pixart, November 4, 2007, Tecnozona34;

A presentation of the project also appeared on the Portuguese magazine online, Semana In-formatica n.877, April 4-10 200835 and on the Portuguese web magazine Tek on March 18,200836.

Morover, Ralf Treinen from Universite Paris Diderot wrote the monthly column “Debianopolis”for the issue 1/2009 of the German Linux Magazin highlighting the benefits of EDOS andMancoosi to the debian project37.

3.2 Mancoosi on the Web

When typing Mancoosi on Google, we discovered that an entry on the project has been addedto Wikipedia with a link to the project web site in March 2008. Though short, this entry showsan interest for the project and its thematic. The entry goes as follows:

The consortium MANCOOSI (MANaging the COmplexity of the Open Source In-frastructure) is a project financed by European Union that it has as primary target

26http://tinyurl.com/cekmty27http://www.mag-securs.com/spip.php?article1144428http://www.eweekeurope.fr/news/les-distributions-linux-ameliorent-leur-securite-17729http://hal.archives-ouvertes.fr/hal-00340581/fr/30http://actualidad.espaciolinux.com/2007/10/24/787/31http://www.vivalinux.com.ar/biz/pixart-en-mancoosi.html32http://www.canal-ar.com.ar/Noticias/NoticiaMuestra.asp?Id=508833http://www.softwarelibre.net/entrevista_sobre_pixart_en_el_proyecto_mancoosi34http://www.tecnozona.com.ar/?q=node/119735http://www.semanainformatica.xl.pt/877/act/200.shtml36http://tek.sapo.pt/Arquivo/entidades_portuguesas_participam_em_projecto_811838.html37http://www.linux-magazin.de/heft_abo/ausgaben/2009/01

Deliverable D6.2 Version 1 page 9 of 16

December 13, 2009

the creation of a solid and flexible estructure for the handling of packages, controllerand library in operating systems based on UNIX and standardize the packages dom-inated by APT for DEB and RPM.

Between the participants is: University of Diderot, Edge-IT, Mandriva, Caixa Magica,Tel Aviv University, Pixart, and others.

4 Mancoosi Conferences and Publications

A significant effort has been made over the first year of the project to raise interest in Mancoosiand its research theme among the scientific community.

The following articles have been accepted for publication:

• New Encodings from Max-CSP into Partial Max-SAT, 39th International Symposium onMultiple-Valued Logic (ISMVL 2009), May 21-23, 2009, Naha, Okiwana, Japan, by JosepArgelich, Alba Cabiscol, Ines Lynce and Felip Manya.

• Optimized Union of Non-Disjoint Distributed Data Sets, EDBT’09, March 2009, SaintPetersburg, Russia, by Itay Dar, Tova Milo and Elad Verbin.

• CNF Instances from the Software Package Installation Problem, RCRA’08, December12-13, 2008, Udine, Italy, by Josep Argelich and Ines Lynce.

• Package Upgrades in FOSS Distributions: Details and Challenges, HotSWUp’08, October20, 2008, Nashville, USA, by Roberto Di Cosmo, Paulo Trezentos and Stefano Zacchiroli.

• Managing Model Conflicts in Distributed Development, MODELS 2008, September 28 –October 3, 2008, Toulouse, France, by Antonio Cicchetti, Davide Di Ruscio and AlfonsoPierantonio.

• Automating Model Co-evolution in Model-Driven Engineering, EDOC 2008, September15-19, 2008, Munchen, Germany, by Antonio Cicchetti, Davide Di Ruscio, Romina Eramoand Alfonso Pierantonio.

• On SAT Technologies for Dependency Management and Beyond, Workshop ASPL08,September 2008, Limerick, Ireland, by Daniel Le Berre, Universite d’Artois.

• Solving Package Dependencies: From EDOS to Mancoosi, DebConf’08, Mar del Plata,Argentina, August 2008, by Ralf Treinen and Stefano Zacchiroli.

• Enriching Topic-Based Publish-Suscribe Systems with Related Content, SIGMOD’08,June 12, 2008, Vancouver, Canada, by Rubi Boim and Tova Milo.

• Meta-model Differences for Supporting Model Co-evolution, 2nd Int. Workshop on Model-Driven Software Evolution (MoDSE 2008), Athens, Greece, April 1-4, 2008, by AntonioCicchetti, Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio.

The following article has been submitted for publication:

Deliverable D6.2 Version 1 page 10 of 16

December 13, 2009

• Towards a Model Driven Approach to Upgrade Complex Software Systems, 4th Interna-tional Working Conference on Evaluation of Novel Approaches to Software Engineering(ENASE 2009), May 6-10, 2009, Milan, Italy, by Antonio Cicchetti, Davide Di Ruscio,Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli.

The articles above mention that the research carried out has received funding from the EuropeanCommunity’s Seventh Framework Programme.

5 Conclusion

Considering that the project has only been running for one year so far, the project membershave already been very active in promoting the work done within the scope of the projectand we consider this first year as successful in raising interest in Mancoosi. We, of course, allintend to keep promoting our research activities and results as much as possible by publishingmore articles, keeping attending conferences during the two remaining years of the project andthrough the organisation of workshops, one halfway through the course of the project and oneat the end of the project, the aim of which will be to promote interest within the communityfor the Mancoosi research topics and technologies.

A Summary of Partners Dissemination Activities

Below are lists of the partners dissemination activities related to Mancoosi also available forthe whole consortium on a page dedicated to Workpackage 6 (Dissemination) in the consortiumwiki38.

A.1 Universite Paris Diderot – Paris 7 (UPD)

Alongside setting up part of the Mancoosi collaborative infrastructure, members of UniversiteParis Diderot – Paris 7, as Coordinator of the project, have been keen on being very active allover the first year in carrying out dissemination activities related to Mancoosi.

Ralf Treinen delivered a talk on Mancoosi at FOSDEM 200839 on February 24, 2008 in Brussels,Belgium. The slides are available on the wiki.

Roberto Di Cosmo gave a presentation of Mancoosi at the Groupe Thematique de LogicielLibre de la region de Paris40 on May 28, 2008 in Paris, France. The slides (in French only) areavailable on the wiki.

Ralf Treinen and Jaap Boender attended the Linux Tag on May 29-30, 2008 in Berlin, Germany.Jaap Boender gave a presentation of Mancoosi at the Research Room there.

Jaap Boender gave a presentation on pkgsrcCon 2008 in June 2008 in Berlin, Germany, andhad a discussion on the utility of the Mancoosi tools for pkgsrc.

Stefano Zacchiroli was invited to give a presentation of Mancoosi and EDOS—the FP6 projectin which Universite Paris Diderot was involved before Mancoosi—at University of Lugano on

38http://mancoosi.xwiki.com/xwiki/bin/view/Project/WP639http://libresoft.es/Activities/Research_activities/fosdem200840http://www.systematic-paris-region.org/fr/logiciel/index.html

Deliverable D6.2 Version 1 page 11 of 16

December 13, 2009

July 7, 2008 in Lugano, Switzerland. The slides are available on the wiki. A description of theevent is available on the University of Lugano web site41.

Ralf Treinen attended the RTA’08 Conference on Rewriting Techniques and Applications inJuly 2008 in Hagenberg, Austria, where he was invited to give a presentation at the workshopof the IFIP group 1.6 on Term Rewriting.

Jaap Boender attended a workshop at QACOS 2008 entitled The IEEE International Workshopon Quality and Architectural Concerns in Open Source Software, session 3, Software Qualityand Open Source Software42, where he presented the project in July 2008 in Turku, Finland.

Ralf Treinen and Stefano Zacchiroli presented the project at DebConf843 in August 2008 in Mardel Plata, Argentina. The paper and slides are available on the wiki. A presentation of theproject is available on the web site of the conference44.

Daniel Le Berre from Universite d’Artois presented an article related to the work of Mancoosi atthe ASPL08 Workshop on September 12, 2008 in Limerick, Ireland. Feature model researchershave to solve dependency problems very similar to the ones Mancoosi is working on, on adifferent scale (Linux distributions have in general much more packages than software productlines) but with more expressive constraints. The aim of the talk was to present the kindof constraints currently used to solve dependency problems in the new Eclipse provisioningplatform, codename p2, based on the Mancoosi predecessor project EDOS.

Stefano Zacchiroli and Paulo Trezentos (Caixa Magica) attended the 1st ACM workshop on HotTopics in Software Upgrade (HotSWUp’08)45 on October 20, 2008 in Nashville, Tennessee, USA.There they gave a presentation about a paper co-authored with Roberto Di Cosmo discussingthe state of the art and challenges of package upgrades in free software distributions, alsooutlining the research directions being pursued by Mancoosi.

Roberto Di Cosmo presented the Mancoosi project at the Open Source World Conference46 onOctober 21, 2008 in Malaga, Spain.

Roberto Di Cosmo took part to a panel discussion on ”Open Source Governance” organisedby Inforav, the Italian institute for advanced information technology and other institutes onOctober 28, 2008 in Rome, Italy. The aim of the meeting was to debate how to best procure,use and manage Open Source software and was an opportunity for Roberto Di Cosmo to talkabout Mancoosi.

Roberto Di Cosmo and Ralf Treinen gave an introduction to Open Source Software at ”La Fetede la science” organised on the premises of Universite Paris Diderot – Paris 7 on November21, 2008 and took this opportunity to present their work within the scope of Mancoosi to localstudents.

Stefano Zacchiroli attended the Debian Quality Assurance meeting47 from November 26 toNovember 30, 2008 in Caceres, Spain. There he discussed and planned the integration of severaltools of the former EDOS suite (pkglab, edos-debcheck, etc.) in the upload infrastructurecurrently used by the Debian project.

41http://www.inf.unisi.ch/past_events.php?month_from=07&year_from=2008&month_to=07&year_to=

2008&id=10642http://conferences.computer.org/compsac/2008/workshops/QACOS2008.html43https://penta.debconf.org/dc8_schedule/events/251.en.html44https://penta.debconf.org/dc8_schedule/events/251.en.html45http://www.hotswup.org/46http://www.opensourceworldconference.com/47http://wiki.debian.org/DebianQAExtremadura2008

Deliverable D6.2 Version 1 page 12 of 16

December 13, 2009

A.2 Edge-IT (EDG)

Edge-IT, together with its parent company Mandriva, prepared and launched the French pressrelease announcing the Mancoosi project. It had an important impact with many quotation ofMancoosi in a lot of media, especially online (see the Mancoosi in the Press section).

Edge-IT and Mandriva have also been in charge of setting up the wiki infrastructure for Man-coosi.

From January 29 to January 31, 2008, Solutions Linux took place in Paris. Mancoosi waspresented on the premises of the parent company of Edge-IT, Mandriva.

A.3 Universita Degli Studi dell’Aquila (UDA)

As leaders of Workpackage 2 (Models for the description of software artifacts and the up-gradeability process), members of Universita Degli Studi dell’Aquila took part in disseminationactivities during the first year of the project, participating to MODELS 2008 (Antonio Cichettiand Alfonso Pierantonio), EDOC 2008 (Davide Di Ruscio), and MoDSE 2008 (Antonio Cichettiand Romina Eramo) to present articles (see papers listed in the Mancoosi Conferences andPublications section).

Furthermore, members of UDA attended international seminars related to the thematic of Man-coosi.

Alfonso Pierantonio attended the Schloss Dagstuhl, Perspectives Workshop: Model Engineeringof Complex Systems (MECS)48, on August 10-13, 2008 in Germany, where he presented theMancoosi project.

Alfonso Pierantonio and Davide Di Ruscio also presented Mancoosi at GRACE InternationalMeeting on Bidirectional Transformations49, on December 15-18, 2008 at the Shonan VillageCenter, Japan.

A.4 INESC-ID (INI)

Members of INESC-ID have been involved in the following dissemination activities.

A presentation of the project appeared in the INESC-ID newsletter n.2/200850.

Josep Argelich presented his research work related to the Mancoosi project at the INESC-IDSAT Group Seminar, on October 21, 2008. Vasco Manquinho also presented his work in thesame forum on November 10, 2008. While Vasco’s presentation focused on the use of Pseudo-Boolean Optimization (PBO), Josep’s presentation focused on the use of Maximum Satisfiability(Max-SAT).

Josep Argelich presented a paper at the 15th RCRA workshop on Experimental Evaluation ofAlgorithms for Solving Problems with Combinatorial Explosion, which took place on December12-13, 2008, and was hosted at the University of Udine, Italy. This work, co-authored withInes Lynce, studies the CNF instances obtained from encoding the installability problem intoSAT and Max-SAT. This study is a first step towards the study of CNF instances encoding the

48http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=0833149http://grace-center.jp/en/event/node/1750http://www.inesc-id.pt/ficheiros/noticiasimagens/83.pdf

Deliverable D6.2 Version 1 page 13 of 16

December 13, 2009

upgradeability problem. This research is part of the European project Mancoosi. The paperand slides are available on the Mancoosi wiki51.

In addition, Josep Argelich, Alba Cabiscol, Ines Lynce and Felip Manya submitted a paper tothe 39th International Symposium on Multiple-Valued Logics, to be held in Japan in May 2009.This paper is currently available as an INESC-ID technical report. This work presents neworiginal encodings, called regular encodings, that map Max-CSP instances into Partial Max-SAT instances. It will be extended in the near future in order to map Max-CSP instances fromthe Mancoosi project into Partial Max-SAT instances.

A.5 Caixa Magica Software (CXA)

As leaders of Workpackage 3 on Transactional Upgrades, members of Caixa Magica took partin the dissemination activities listed below.

A presentation appeared on the Caixa Magica Software web site on March 17, 2008, with a linkto the Portuguese press release52.

Paulo Trezentos gave a presentation of projects in which Caixa Magica is involved, includingMancoosi, at the Linux 2008 – VI Encontro de Tecnologias Abertas event, hosted by CaixaMagica and Sybase on April 15, 2008 in Lisbon, Portugal. Around seven hundred PortugueseLinux users and clients attended this event.

Paulo Trezentos attended FISL 2008 on April 18, 2008 in Porto Alegre, Rio Grande do Sul,Brazil. There he gave a talk about an article on Package Installation with some slides introducingMancoosi. Ines Lynce and Arlindo Oliveira from INESC-ID are co-authors of the article.

Paulo Trezentos, together with Stefano Zacchiroli from Universite Paris Diderot, attended the1st ACM workshop on Hot Topics in Software Upgrade (HotSWUp’08) on October 20, 2008 inNashville, Tennessee, USA (see the Universite Paris Diderot section above).

A.6 Universite de Nice Sophia Antipolis (UNSA)

Though mainly involved in Workpackage 4 (Study and development of specialized upgradeabilitysolvers), which will be more active from the second year of the project, members of Universitede Nice Sophia Antipolis have already been involved in dissemination activities for the Mancoosiproject.

Michel Rueher presented the Mancoosi project at the Master of Computer Sciences of theEcole polytechnique of the University of Nice. The students are advanced students in computersciences who can be highly interested by such a project.

Michel Rueher also took part to ACM SAC 200853 in March 2008, CPAIOR 200854 in May 2008and CP 200855 in September 2008. These conferences are key conferences for the advances inalgorithms which can handle the upgradeability problem.

51http://mancoosi.xwiki.com/xwiki/52http://www.caixamagica.pt/pag/f_notc00.php?id=20053http://www.acm.org/conferences/sac/sac2008/54http://contraintes.inria.fr/CPAIOR08/55http://www.cs.mu.oz.au/cp2008/

Deliverable D6.2 Version 1 page 14 of 16

December 13, 2009

A.7 Tel Aviv University (TAU)

Mainly active in Workpackages 2 and 3, members of Tel Aviv University have already beeninvolved in dissemination activities related to Mancoosi as described below.

Rubi Boim presented his research regarding the Mancoosi project at Tel-Aviv University Sem-inar on Managing Information on the Web, on March 9, 2008.

Rubi Boim and Tova Milo attended the 2008 ACM Special Interest Group on Management OfData (SIGMOD’ 08), on June 9-12, 2008, in Vancouver, Canada. There they gave a presentationregarding a demo paper (published at the conference) discussing a new innovating method forfinding related content within a distributed Topic-Based Publish-Subscribe system. An examplecan be enhancing the users experience in a software notification system. This work is part ofthe Mancoosi project research. The paper and slides are available on the wiki.

Itay Dar presented his research in relation to the Mancoosi project at the Tel-Aviv UniversitySeminar on Managing Information on the Web, on July 6, 2008.

In 2009, Itay Dar will attend the 12th international conference on Extending Database Technol-ogy, EDBT’09, on March 23-26, in Saint-Petersburg, Russia. There he will present his publishedpaper (co-authored with Tova Milo and Elad Verbin) regarding optimized union of non-disjointdistributed data sets. This work is part of the Mancoosi project research. The paper and slidesare available on the wiki.

A.8 ILOG (ILG)

Though mostly involved in Workpackage 4, which will be mainly active during the second andthird period of the project, the members of Ilog have already been active in disseminationactivities related to Mancoosi.

Articles on Ilog and their participation to the project have appeared in the professional press(see the Mancoosi in the Press section).

Furthermore, Olivier Lhomme participated to a DIMACS/LAMSADE Workshop on Algorith-mic Decision Theory, on October 29-31, 2008 at the Universite Paris Dauphine, France, that isof high interested for the research carried on within the scope of Mancoosi.

A.9 Universite Catholique de Louvain (UCL)

During the first period, members of Universite Catholique de Louvain took part in severaldissemination activities related to their work within Workpackage 4. First, they presented theMancoosi project to researchers within the Computer Science Department of the University.

Boris Mejias attended FOSDEM 2008 (Free and Open Source Software Developers’ EuropeanMeeting) in February 2008, in Brussels, Belgium, where he spoke to potential researchers aboutthe project.

In September 2008, Gustavo Gutierrez and Peter Van Roy contacted Christian Schulte, the maindeveloper of the Gecode constraint library, to arrange for adding a graph constraints packagedeveloped by Mancoosi. Gecode is open source and widely used in industry and academia.

In January 2009, Peter Van Roy presented the Mancoosi project at IRCAM (Institut deRecherche et Coordination Acoustique/Musique) in Paris, France. IRCAM does research on

Deliverable D6.2 Version 1 page 15 of 16

December 13, 2009

computer music. They are an open-source developer and use constraints in their OpenMusicsoftware.

A.10 Pixart (PXT)

Once admitted into the Mancoosi consortium after the negotiation phase with the Commission,Pixart communicated on the Mancoosi project via a series of press releases in Argentina thatwere published in the local media (see Mancoosi in the Press section).

Deliverable D6.2 Version 1 page 16 of 16