At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/1/

Similar to last year, I would like to discuss what is the way forward for dbconfig-common. Package maintainers that use or want to use or can't use dbconfig-common are especially invited to join the discussion. Share your success stories, difficulties or problems with respect to dbconfig-common. What are the wish lists (please file them already in the bts if they aren't there yet)?

I will briefly review the fixes and improvements that I implemented in the year between Debconfs.

Some ideas that I have:

• way more databases support
• inclusion in the Debian Policy that certain packages should use dbconfig-common
• update/review the database policy included in the dbconfig-common package

Room: Menzies 10
Scheduled start: 2016-07-05 11:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/103/

Good-bye to Cape Town!

Room: Menzies 9
Scheduled start: 2016-07-09 14:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/70/

Debsources (http://sources.debian.net) is an application aimed at gathering all the source code included in Debian packages, and present it through a web i...

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/48/

In this talk i will give a short overview about DUCK. I will introduce/present the website as well as the tool, talk about how/why i started working on it, show some graphs and ask for suggestions on how to make the topic "broken URLs" more public.

Audience is: QA in Debian

Room: Menzies 10
Scheduled start: 2016-07-09 11:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/94/

Bdale and Keith have been working on the design of an inexpensive yet robust, completely open design, hardware random number generator. At Debconf in Portland two years ago, Tom Marble gave a talk about the earliest prototypes and then state of the project. Happily, we now have a design we consider worthy of taking to production. This talk will describe the hardware design, kernel device driver, and current production status of Chaoskey.

Room: Menzies 9
Scheduled start: 2016-07-09 11:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/123/

• Quick review of DebConf16 organization. The goal is to be able to quickly
  identify what went good/bad, what was a good/bad idea... and how this could
  help DebConf17 team.

• How to help DebConf17 team to get started?

  • What are the first steps?
  • Who's interested to help?

Room: Menzies 12
Scheduled start: 2016-07-09 11:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/92/

"Open source" split from "free software" to be more pragmatic, to gain
entry to the business world, partly by being more accepting of
proprietary software. Th...

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/99/

In this talk, we will review what happened in the OpenStack world over the last year: new projects that appeared in Debian (Congress, Aodh, Gnocchi, Magnum, ...

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/102/

Interested in having DebConf18 in your city? Come and show us your early plans!

See: https://wiki.debconf.org/wiki/DebConf18/

Room: Menzies 9
Scheduled start: 2016-07-08 16:40:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/28/

The annual Long Term Support BoF. This would allow current members, newcomers and interested people work and talk about LTS matters.

Room: Menzies 12
Scheduled start: 2016-07-08 16:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/12/

Overview of DebConf17 in Montreal.

Room: Menzies 9
Scheduled start: 2016-07-08 16:10:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/91/

Debian and the Free Software Foundation, along with its GNU Project, share many goals and ideals. They are two of the most mature and dedicated organizations working in the free software movement. This is a great opportunity to talk in person about how they can better work together and learn from each other.

FSF members (and potential members) will meet to talk about the FSF's work, and relationship with Debian:

• A very brief update by the FSF's executive director on highlights of the FSF's work since the last DebConf
• Feedback (positive and negative) from members, and a little brainstorming about what the FSF should and shouldn't be doing
• A review of the current relationship between the FSF and Debian
• A discussion of areas for collaboration, focused on projects that could be completed or significantly advanced before the next DebConf

Past sessions at DebConf have led to concrete positive results like collaboration on the hardware database at https://h-node.org. Let's have another productive one!

Room: Menzies 12
Scheduled start: 2016-07-08 15:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/55/

... or how to stop worrying and have fun hacking on d-i without needing to be scared about breaking everything

The objective here is to let people push to feature branches and find out later how much damage they would have done had they put that into d-i. The hope being that the answer will often be "None"

This should encourage people to do more work on d-i. The talk will also serve to demonstrate the use of Cucumber and Jenkins that we have for running the tests.

Room: Menzies 10
Scheduled start: 2016-07-08 15:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/104/

Show off your project! NB: It will be mandatory to set up your laptop before the session, in order to assure a smooth transition between speakers.

Room: Menzies 9
Scheduled start: 2016-07-08 15:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/41/

With Debian LTS, we are now offering something that users expected for a long time and we are keeping users that we lost to Ubuntu in the past. Debian LTS would not exist without the work of paid contributors and the financial support of its sponsors.

Can we learn what we got right in Debian LTS and try to see how we could use money to improve other parts of Debian? In this BoF, we will make some propositions and expect the audience to react to them, highlighting what is good and what is problematic, making suggestions on how to fix/improve the propositions. The Debian Project Leader is a central role in the way Debian spends his money. He will thus take an active role in this discussion.

Room: Menzies 12
Scheduled start: 2016-07-08 14:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/78/

I will talk about software bundling solutions, mainly Flatpak (XdgApp) and Limba, which problems they actually solve and why solving these issues is important for the Linux ecosystem as a whole. I will explain how bundling is implemented in the shiny new solutions available on Linux, and what we as distributor could do to make software bundles suck less and keep the distribution relevant.
Additionally, I'll explain which roles sandboxing (Flatpak, Bubblewrap) plays in the big picture.

Room: Menzies 9
Scheduled start: 2016-07-08 14:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/139/

This talk will be an introduction to Ring and the technology behind it.

We will explore how OpenDHT and ICE are used to initiate communications and transmit messages in an decentralized and secure manner.

The talk also includes a presentation of the different Ring clients, notably the new ring package that has made it to Debian testing this week.

Finally, we will have a look at an up and comming new Ring freature: username registration using ethereum and a block chain.

Room: Menzies 10
Scheduled start: 2016-07-08 14:00:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/40/

July 2014 was the first month where Freexian used the money collected from many sponsors to pay Debian contributors to provide security updates for Debian 6. The Debian LTS project is now 2 years old: this talk is a restrospective of how we got started, a presentation of how we work today and of our plans for the future.

This talk will also serve as an introduction to a BoF discussing the usage of (Debian) money to fund Debian projects. The Debian LTS project, despite its public reliance on sponsorship, and the fact that it is paying Debian contributors, has been well accepted in the Debian community. The talk will thus cover extensively the precautions taken when it comes to the handling of the money.

Room: Menzies 10
Scheduled start: 2016-07-08 11:15:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/86/

It's based on my recent work to support GNU/screen for Debian Installer.

For d-i on normal PC, we can simply press Alt-F2 to get a console almost anytime during install, but it's not easy for some device such as headless server or ARM based board, which usually accessed via serial console or network-console (SSH).
So I spent some time to make GNU/screen ported to Debian Installer [0].

Now it's almost done, and only wait for 2 packages to be uploaded [1][2]
I also made a few local build for a few devices, and asked users to test, the feedback is quite positive [3].

I'll introduce this work during the short talk and ask for feedback.
And if possible, I can also do some demo after the talk. Thank you!

[0] https://lists.debian.org/debian-boot/2016/04/msg00308.html
[1] https://bugs.debian.org/819397
[2] https://bugs.debian.org/819988
[3] https://lists.debian.org/debian-boot/2016/05/msg00121.html

Room: Menzies 12
Scheduled start: 2016-07-08 11:15:00

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/talks/63/

This talk describes a recently started research project named
[http://colis.irif.univ-paris-diderot.fr/ Colis] with the goal of
developing techniques and tools for the formal verification of
maintainer scripts (preinst, postinst, prerm, postrm).

Program verification aims at obtaining a formal assurance that a
program is correct with respect to a given specification. This is
achieved by constructing a formal proof of correctness of the program.
In contrast to program testing, the existence of a proof assures
that the program behaves correctly in any situation described by the
specification. Failure of an attempt to verify a program, on the other
hand, can often be used to generate useful test cases.

A possible example of a program specification is absence of execution
error under certain initial conditions. Automatic program verification
even for this kind of specification is an extremely challenging task.
In case of Debian maintainer scripts we are faced with even more
challenging properties like idempotency of scripts (required by
policy), or commutation of scripts.

The project is still in the beginning, so there are no results yet to
present. However, I will explain why I think that the case of Debian
maintainer scripts is very interesting for program verification : some
aspects of scripts (POSIX shell, manipulation of a complex data
structure) make the problem very difficult, while other aspects of the
Debian case are likely to make the problem easier. I am also very
interested in the inputs from the audience about possible use cases of
script verification in the context of Debian.

Room: Menzies 9
Scheduled start: 2016-07-08 11:15:00