Software Heritage: Why and How to Preserve Software Source Code Roberto Di Cosmo, Stefano Zacchiroli To cite this version: Roberto Di Cosmo, Stefano Zacchiroli. Software Heritage: Why and How to Preserve Software Source

Source URL: hal.archives-ouvertes.fr

Squashing RC Bugs for fun and profit Stefano Zacchiroli Debian Project Leader 25 November 2012 mini DebConf Paris 2012

Source URL: fr2012.mini.debconf.org

Upgrade description formats: generalities and DUDF submission format Ralf Treinen Stefano Zacchiroli Technical Report 001

Source URL: www.mancoosi.org

debian-cloud: total sky domination one cloud at a time Stefano Zacchiroli Debian Project Leader 25 November 2012

Source URL: fr2012.mini.debconf.org

Bits for the Mancoosi project yeah, including “visualizing package clusters” :-) Stefano Zacchiroli zack@{pps.jussieu.fr,debian.org} Laboratoire PPS, Université Paris Diderot / The Debian Project

Source URL: www.mancoosi.org

The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining Stefano Zacchiroli Universit´e Paris Diderot, PPS UMR 7126, Paris, France Email:

Source URL: www.mancoosi.org

Efficient Ambiguous Parsing of Mathematical Formulae? Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science University of Bologna Mura Anteo Zamboni 7, 40127 Bologna, ITALY

Source URL: matita.cs.unibo.it

Expressing Advanced User Preferences in Component Installation∗ Ralf Treinen Stefano Zacchiroli

Source URL: www.mancoosi.org

• Software
• Computer architecture
• System software
• Dpkg
• Archive formats
• Debian
• Ubuntu
• Package manager
• Software distribution
• Advanced Packaging Tool
• RPM Package Manager
• Arch Linux

User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

Source URL: matita.cs.unibo.it

• Automated theorem proving
• Software
• Theoretical computer science
• Proof assistants
• Functional languages
• Type theory
• Matita
• Formal methods
• Calculus of constructions
• Mathematical proof
• Automated reasoning
• Theorem

A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7

Source URL: matita.cs.unibo.it

• Computing
• Mathematics
• Mathematical logic
• Type theory
• Functional languages
• Business intelligence
• Knowledge representation
• Records management
• Coq
• Domain of a function
• Matching
• CIC