Frikanalen https://frikanalen.no TED - Stephen Wilkes: The passing of time, caught in a single photo Photographer Stephen Wilkes crafts stunning compositions of landscapes as they transition from day to night, exploring the space-time continuum within a two-dimensional still photograph. Journey with him to iconic locations like the Tournelle Bridge in Paris, El Capitan in Yosemite National Park and a life-giving watering hole in heart of the Serengeti in this tour of his art and process. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625653/ 760 Caminandes 3: Llamigos I denne episoden av tegnefilmserien Caminandes blir vi enda bedre kjent med vår helt Koro. Det er vinter i Patagonia, og det er lite mat. Llamaen Koro møter den plagsomme pingvinen Oti i en episk kamp om siste saftige bær. https://frikanalen.no/video/626034/ 150 10 år siden Norge bombet Libya Markering utenfor Stortinget på 10 års dagen for den første norske bomben over Libya https://frikanalen.no/video/626735/ 1080 Shofar Jesus Messias er Israels Frelser, Han er verdens Frelser Bladet Evangelisten program 35 https://frikanalen.no/video/626505/ 1248 Konfigurasjonsstyring med Chef Chef er konfigurasjonsstyring som er lett å komme i gang med, og som er i stand til å vokse med deg. Fokus er ikke kun på enkeltmaskiner, men på hele arkitekturen. Chef har støtte for søk, god separasjon av oppskrifter og data og et veldefinert API som klienter bruker for å interagere med Chef-serveren. Vi vil se på designvalg, egenskaper og gå gjennom et enkelt eksempel på bruk av Chef. Tollef Fog Heen har drevet med fri programvare siden en gang på 1990-tallet og vært Debian-utvikler i over ti år. Han jobber for tiden i Varnish Software som systemadministrator og bidrar til forskjellige fri programvare-prosjekter, herunder Chef. https://frikanalen.no/video/623990/ 3635 TED - Heather Brooke: My battle to expose government corruption Our leaders need to be held accountable, says journalist Heather Brooke. And she should know: Brooke uncovered the British Parliamentary financial expenses that led to a major political scandal in 2009. She urges us to ask our leaders questions through platforms like Freedom of Information requests -- and to finally get some answers. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625321/ 1137 MakerCon - Hovering Clouds: Looking at online tool offerings for Product Design and 3D Printing William Kempton at MakerCon Nordic 2014-10-18. https://frikanalen.no/video/625431/ 1502 TED - Andrew Pelling: This scientist makes ears out of apples Andrew Pelling is a biohacker, and nature is his hardware. His favorite materials are the simplest ones (and oftentimes he finds them in the garbage). Building on the cellulose structure that gives an apple its shape, he "grows" lifelike human ears, pioneering a process that might someday be used to repair body parts safely and cheaply. And he has some even wilder ideas to share ... "What I'm really curious about is if one day it will be possible to repair, rebuild and augment our own bodies with stuff we make in the kitchen," he says. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625774/ 429 Professional Open-Source Radio Astronomy - Debconf 16 The Square Kilometer Array radio astronomy telescope will be one of the world's largest scientific instruments, spanning half the globe, with components distributed across Africa and Australia. The MeerKAT telescope, one of its precursors, is currently under construction in South Africa and uses fully open-source software and hardware for primary signal processing operations. When completed next year, it will be the world's most sensitive L-band array. This talk will discuss the telescopes and their unique challenges which drive the development of open-source hardware and software to process the deluge of data. I will introduce four generations of open-source FPGA hardware along with the collaboratively-developed ecosystem of software and DSP libraries. Open Weekend session with Jason Manley during Debconf 16 https://frikanalen.no/video/625682/ 2259 Software Heritage: Building the Universal Software Archive - Debconf 16 In the past few decades, software has become a critical part of every single bit of infrastructure running the world, from the tiniest devices we embed in our bodies to improve our health, to the biggest human creations. Software is the key to accessing all the digital information we're constantly creating, and therefore is an essential part of our cultural heritage. But software is just a bunch of bits. Unlike antique stone carvings, software gets lost, deleted, or corrupted. Software Heritage has set out to build the biggest archive of free software ever conceived. Our mission is to collect, preserve, organise and facilitate the sharing of all the available free software. We are laying down foundations on which a wealth of applications can be built, ranging from cultural heritage, to research and industry. We started working in May 2015, and (as of April 2016) we have archived 2.2 billion unique files, more than 480 million project revisions across more than 16 million data sources, among which Debian source packages from snapshot.debian.org, public GitHub repositories, and the GNU project's FTP archive. This presentation will cover in more detail the why and the how of Software Heritage, as well as opportunities for the community to help us fulfill our goals. Talk (45 mins) session with Nicolas Dandrimont during Debconf 16 https://frikanalen.no/video/625684/ 1670 TED - Gregory Heyworth: How I'm discovering the secrets of ancient texts Gregory Heyworth is a textual scientist; he and his lab work on new ways to read ancient manuscripts and maps using spectral imaging technology. In this fascinating talk, watch as Heyworth shines a light on lost history, deciphering texts that haven't been read in thousands of years. How could these lost classics rewrite what we know about the past? TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625534/ 731 Linux Security APIs and the Chromium Sandbox - Patricia Aas The Linux Security and Isolation APIs have become the basis of some of the most useful features server-side, providing the isolation required for efficient containers. However, these APIs also form the basis of the Chromium Sandbox on Linux, and we will study them in that context in this talk. Recorded at the OWASP Norway Day by NUUG. https://frikanalen.no/video/626085/ 3226 Derivative Panel - Debconf 16 There is a big community developing Debian derivative distributions. This talk aims to discuss about what derivative distributions use for their day to day operation, such building packages, images, live media, managing distribution repositories, trying to seek better unification and standardisation of such tools and processes. In the same way, we shall explore and discuss the return path to the upstream distribution. Talk (45 mins) session with Héctor Orón Martínez during Debconf 16 https://frikanalen.no/video/625701/ 2679 Sintel Historien om Sintel og hennes ekspedisjon for å finne babydragen hun ble kjent med. https://frikanalen.no/video/626065/ 888 TED - Linus Torvalds: The mind behind Linux Linus Torvalds transformed technology twice — first with the Linux kernel, which helps power the Internet, and again with Git, the source code management system used by developers worldwide. In a rare interview with TED Curator Chris Anderson, Torvalds discusses with remarkable openness the personality traits that prompted his unique philosophy of work, engineering and life. "I am not a visionary, I'm an engineer," Torvalds says. "I'm perfectly happy with all the people who are walking around and just staring at the clouds ... but I'm looking at the ground, and I want to fix the pothole that's right in front of me before I fall in." TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625529/ 1294 Protestmøte mot baseavtalen Protestmøte mot regjeringens avtale om avståelse av suverenitet til USA https://frikanalen.no/video/626954/ 7225 Radioamatørenes sporingssystem APRS (Automatic Position Reporting System) er radioamatørenes system for GPS sporing og formidling av sporingsmeldinger via radio (og internett). Denne gangen vil Øyvind Hanssen fortelle hvordan radioamatørmiljøet i Tromsø utvikler APRS med tanke på den frivillige redningsstjenesten. Dette inkluderer utbygging av infrastruktur, utvikling av fri programvarebaserte webapplikasjoner for presentasjon av sporingsinformasjon på kart og ikke minst at Tromsømiljøet utvikler en kompakt portabel tracker - en automatisk sporingssender for bruk i felten. Systemet har vært grundig testet både på bakken og i fly og vekker interesse også utenfor miljøet. https://frikanalen.no/video/623975/ 3700 Trond Alis Kvarter - Om Hard Choises, av Hillary Clinton https://frikanalen.no/video/626715/ 419 TED - Rob Reid: The $8 billion iPod Comic author Rob Reid unveils Copyright Math (TM), a remarkable new field of study based on actual numbers from entertainment industry lawyers and lobbyists. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625345/ 311 The past year in APT - Debconf 16 Apt is used by a lot of people every day to update their systems, install software, and remove software on Debian, Ubuntu, and other derivatives. Some people actually forked an old apt and run it on some kind of fruit phones. The APT library is also used by aptitude, a formidable ncurses frontend. This talk discusses three major topics of APT development in the past year: Firstly, security improvements such as acquire method sandboxing and the deprecation of SHA1 support. Secondly, performance improvements: Between 1.1 and 1.2 there were many commits improving performance, both for the update command and building the cache itself (hello, phones!). Thirdly, we will take a look at the new pinning engine introduced in 1.1 at last year's DebConf, how it is different from the older engine, and why it is much better and actually does what you mean instead of nonsense. Talk (45 mins) session with Julian Andres Klode during Debconf 16 https://frikanalen.no/video/625720/ 2201 EuroBSDCon 2019, Lillehammer: KernelTLS - Hans Petter Selasky, Drew Gallatin Kernel TLS and TLS hardware offload TLS (Transport Layer Security) is a widely-deployed network protocol used for providing cryptographically proven security and authentication of TCP sessions. A kernel implementation of TLS will provide access to TLS hardware offload, ability to access unencrypted bytes of data in the kernel, and a reduction in copies to and from userspace by allowing the use of the sendfile(9) system call for TLS encrypted data. This talk will start from explaining the basics of TLS protocol, using OpenSSL as an example, cover the advantages and motivation for kernel TLS (KTLS) and later will dive in to the implementation. One of the major advantages of KTLS is the ability to offload TLS symmetric crypto processing to the network device. This talk will cover TLS hardware offload approaches, like TOE and inline TLS acceleration. We will close with some performance numbers comparing OpenSSL, KTLS and hardware offloaded TLS with data taken from Netflix servers. Drew Gallatin Drew started working on FreeBSD at Duke in the 90s, and was one of the people behind the FreeBSD/alpha port. He worked on zero-copy TCP optimizations for FreeBSD and was sending data at over 1Gb/s before gigabit Ethernet was generally available. He spent a decade at Myricom, optimizing their drivers. After a brief hiatus at Google, he landed at Netflix, where he works on optimizing the FreeBSD kernel and network stack for content delivery. He worked on the optimizations to serve unencrypted Netflix traffic at 100Gb/s, and then on more optimizations to send encrypted traffic at 100Gb/s. https://frikanalen.no/video/626239/ 2595 TED - Christopher Soghoian: Your smartphone is a civil rights issue The smartphone you use reflects more than just personal taste ... it could determine how closely you can be tracked, too. Privacy expert and TED Fellow Christopher Soghoian details a glaring difference between the encryption used on Apple and Android devices and urges us to pay attention to a growing digital security divide. "If the only people who can protect themselves from the gaze of the government are the rich and powerful, that's a problem," he says. "It's not just a cybersecurity problem — it's a civil rights problem." TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625811/ 468 Citizenfour - Samtale med Snowden-advokat Patrick Toomey og Jon Wessel-Aas før visning Samtale med Patrick Toomey, en av advokatene til Edward Snowden, og Jon Wessel-Aas før forpremieren av Citizenfour 2015-04-15. Arrangert i samarbeid med Fritt Ord, Tour de Force og Ny Tid. https://frikanalen.no/video/625368/ 2425 Frikanalen Informasjonsfilm Info! https://frikanalen.no/video/626055/ 48 Infoplakat Frikanalen Informasjon om Frikanalen https://frikanalen.no/video/626445/ 35 Jehova Jehova, Jesus, Den Hellige Ånd https://frikanalen.no/video/626835/ 3407 TED - Abe Davis: New video technology that reveals an object's hidden properties Subtle motion happens around us all the time, including tiny vibrations caused by sound. New technology shows that we can pick up on these vibrations and actually re-create sound and conversations just from a video of a seemingly still object. But now Abe Davis takes it one step further: Watch him demo software that lets anyone interact with these hidden properties, just from a simple video. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625379/ 1081 Venn av Nøff Det er høst og tid for Nasse Nøff å komme inn i varmen etter en lang sesong ute i hagen. Søndag 2.november hadde foreningen Venn av Nøff sin årlige innbæring. I tillegg blir det utdeling av NÆ!-prisen. Følg med. https://frikanalen.no/video/626081/ 367 TED - Greg Gage: How to control someone else's arm with your brain Greg Gage is on a mission to make brain science accessible to all. In this fun, kind of creepy demo, the neuroscientist and TED Senior Fellow uses a simple, inexpensive DIY kit to take away the free will of an audience member. It’s not a parlor trick; it actually works. You have to see it to believe it. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625377/ 356 Frikanalen Informasjonsfilm Info! https://frikanalen.no/video/626055/ 48 TED - Wendy Freedman: This new telescope might show us the beginning of the universe When and how did the universe begin? A global group of astronomers wants to answer that question by peering as far back in time as a large new telescope will let us see. Wendy Freedman headed the creation of the Giant Magellan Telescope, under construction in South America; at TEDGlobal in Rio, she shares a bold vision of the discoveries about our universe that the GMT could make possible. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625457/ 942 Free Software, Companies and You - Debconf 16 Free software is a unique social movement in that for-profit companies have a deep interest in the outcome of the movement. Where the interest of companies and free software ideology overlap there is a powerful amplification of effort. Many ideological individuals have become employed writing free software and companies have become an important source of funding for the movement. While for-profit involvement is important and in fact inevitable where free software is successful, we as a community must evaluate the relationships we have with companies. In this talk, Karen will examine these relationships and discuss how they impact the future of free software. Talk (45 mins) session with Karen Sandler during Debconf 16 https://frikanalen.no/video/625675/ 2719 What is Debian? - Debconf 16 A friendly introduction to free software, open source, and Debian, with an opportunity for the audience to ask questions. Open Weekend session with Bdale Garbee, Allison Randal, Neil McGovern, Bernelle Verster, Steve McIntyre and John Sullivan during Debconf 16 https://frikanalen.no/video/625680/ 2581 EuroBSDCon 2019, Lillehammer: Wireless Fidelity with bwfm(4) - Patrick Wildt The Broadcom Wireless FullMAC chip has been one of the biggest hurdles in properly supporting Apple MacBooks in the recent years. But that has not been the only place where this chip has popped up. bwfm(4) is a new OpenBSD driver that supports these chips and was also ported to NetBSD. This talks gives an overview of the chip, an in-depth view into how one communicates with the chip on the three different supported busses, and the higher layer protocol that’s being run on top. It also shows issues properly combining the driver with the OpenBSD net80211 stack, which isn’t written to handle FullMACs. The talk also shows the Firmware and NVRAM distribution issues. https://frikanalen.no/video/626240/ 2509 Annerledes av Margrete Margrete (33) har skrevet og framført et dikt om å leve med en funksjonshemming. Selv har hun asperger-syndrom. https://frikanalen.no/video/626184/ 103 Anne Cath. Vestlys 100-årsjubileum I år ville forfatteren Anne Cath. Vestly fylt 100 år. Empo var på plass da dagen ble feiret i forfatterens fødeby, nemlig Rena. https://frikanalen.no/video/626319/ 182 TED - David Gallo shows underwater astonishments David Gallo shows jaw-dropping footage of amazing sea creatures, including a color-shifting cuttlefish, a perfectly camouflaged octopus, and a Times Square's worth of neon light displays from fish who live in the blackest depths of the ocean. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625330/ 325 Caminandes 2: Gran Dillama Llamaen Koro erfarer at gresset er grønnere på den andre siden av gjerdet, og at veien dit kan være lang. https://frikanalen.no/video/626057/ 146 Kopiering er ikke tyveri https://frikanalen.no/video/624130/ 79 Anne Cath. Vestlys 100-årsjubileum I år ville forfatteren Anne Cath. Vestly fylt 100 år. Empo var på plass da dagen ble feiret i forfatterens fødeby, nemlig Rena. https://frikanalen.no/video/626319/ 182 TED - James Veitch: This is what happens when you reply to spam email Suspicious emails: unclaimed insurance bonds, diamond-encrusted safe deposit boxes, close friends marooned in a foreign country. They pop up in our inboxes, and standard procedure is to delete on sight. But what happens when you reply? Follow along as writer and comedian James Veitch narrates a hilarious, months-long exchange with a spammer who offered to cut him in on a hot deal. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625482/ 592 Infoplakat Frikanalen Informasjon om Frikanalen https://frikanalen.no/video/626445/ 35 Daily Tech News Show 20. September 2016 https://frikanalen.no/video/625788/ 3118 TED - Ben Wellington: How we found the worst place to park in New York City -- using big data City agencies have access to a wealth of data and statistics reflecting every part of urban life. But as data analyst Ben Wellington suggests in this entertaining talk, sometimes they just don't know what to do with it. He shows how a combination of unexpected questions and smart data crunching can produce strangely useful insights, and shares tips on how to release large sets of data so that anyone can use them. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625359/ 712 MakerCon - How Making is Changing the World – and How You Can Too! Jennifer Turliuk at MakerCon Nordic 2014-10-17. https://frikanalen.no/video/625425/ 1090 TED - Anand Varma: A thrilling look at the first 21 days of a bee’s life We’ve heard that bees are disappearing. But what is making bee colonies so vulnerable? Photographer Anand Varma raised bees in his backyard — in front of a camera — to get an up close view. This project, for National Geographic, gives a lyrical glimpse into a bee hive — and reveals one of the biggest threats to its health, a mite that preys on baby bees in the first 21 days of life. With his incredible footage, set to music from Magik*Magik Orchestra, Varma shows the problem ... and what’s being done to solve it. (This talk was part of a session at TED2015 guest-curated by Pop-Up Magazine: popupmagazine.com or @popupmag on Twitter.) TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625386/ 370 Jehovas barn Full oversikt over Sems ætt https://frikanalen.no/video/627149/ 3525 The Conservancy Debian Services Agreement: One Year Hence - Debconf 16 At my invited talk at DebConf15, I announced Software Freedom Conservancy's Debian Services agreement with the Debian project. Under the agreement, Conservancy provides some essential services to the Debian project. Most notably, Conservancy accepts copyright assignments and enforcement agreements from Debian contributors, and enforces those copyrights when copyleft licenses are violated. Additionally, Conservancy provides its expertise on licensing issues, project governance, and the like, in an advisory role to the Debian project. This talk will cover what Conservancy accomplished for Debian under this services agreement, how the agreement is working so far, and what how Conservancy and Debian can work together in the coming year to make even better use of the services provided under the agreement. Ideally, attendees will come to suggest ideas for what they'd like to see, and after a short presentation, the remaining time will be used for Q&A and discussion. Talk (45 mins) session with Bradley Kuhn during Debconf 16 https://frikanalen.no/video/625712/ 2566 Trond Alis Kvarter - Israel og Sionisme https://frikanalen.no/video/626707/ 783 TED - Den beste gaven jeg overlevde Stacey Kramer byr på en rørende, personlig, 3-minutts lignelse som viser hvordan en uønsket hendelse -- fryktelig, traumatisk, dyr -- kan vise seg å være en uvurderlig gave. https://frikanalen.no/video/624221/ 193 Palestina og pressfrihet trond https://frikanalen.no/video/627402/ 909 Software Piracy and Linux Adoptation The open-source software operating system Linux is a free-of-charge substitute to proprietary systems like Microsoft Windows. By using a cross-country data set, this paper finds evidence that increased piracy of proprietary software has a negative impact on adoption of desktop versions of Linux. The interpretation of this result is that the availability of pirated versions of Windows, as well as pirated applications compatible with Windows and OS-X, lead to fewer individuals installing a Linux operating system on their desktop computers. Thus, in the absence of software piracy, Linux would be a more widely used operating system. Arne Rogde Gramstad er stipendiat ved Økonomisk institutt, UiO. Arnes arbeid er motivert av markeder for digitale produkter og omhandler bl.a. konkurranse i markeder for programvare, sosiale nettverk og nettverkseffekter. https://frikanalen.no/video/625513/ 3925 Continuous Keysigning Introduction - Debconf 16 Introduction to good GnuPG and keysigning practices. Re-verify the continuous keysigning hash, plus a brief introduction to what a Key-Signing Party is and how (and why!) is it being held "continuously" at DebConf16. Talk (20 mins) session with Stefano Rivera and Gunnar Wolf during Debconf 16 https://frikanalen.no/video/625691/ 1274 TED - Michael Green: How we can make the world a better place by 2030 Can we end hunger and poverty, halt climate change and achieve gender equality in the next 15 years? The governments of the world think we can. Meeting at the UN in September 2015, they agreed to a new set of Global Goals for the development of the world to 2030. Social progress expert Michael Green invites us to imagine how these goals and their vision for a better world can be achieved. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625465/ 883 TED - Mathias Jud: Art that lets you talk back to NSA spies In 2013, the world learned that the NSA and its UK equivalent, GCHQ, routinely spied on the German government. Amid the outrage, artists Mathias Jud and Christoph Wachter thought: Well, if they're listening ... let's talk to them. With antennas mounted on the roof of the Swiss Embassy in Berlin's government district, they set up an open network that let the world send messages to US and UK spies listening nearby. It's one of three bold, often funny, and frankly subversive works detailed in this talk, which highlights the world's growing discontent with surveillance and closed networks. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625472/ 780 VLC 3.0 and beyond: what's new in VLC? - Jean Baptiste Kempf A presentation by Jean-Baptiste Kempf about VLC, the VideoLAN project, and the new features and direction of both VLC and the complete VideoLAN project. https://frikanalen.no/video/626030/ 3179 TED - Danielle Feinberg: The magic ingredient that brings Pixar movies to life Danielle Feinberg, Pixar's director of photography, creates stories with soul and wonder using math, science and code. Go behind the scenes of Finding Nemo, Toy Story, Brave, WALL-E and more, and discover how Pixar interweaves art and science to create fantastic worlds where the things you imagine can become real. This talk comes from the PBS special "TED Talks: Science & Wonder." TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625552/ 728 TED - Daniel Suarez: The kill decision shouldn't belong to a robot As a novelist, Daniel Suarez spins dystopian tales of the future. But on the TEDGlobal stage, he talks us through a real-life scenario we all need to know more about: the rise of autonomous robotic weapons of war. Advanced drones, automated weapons and AI-powered intelligence-gathering tools, he suggests, could take the decision to make war out of the hands of humans. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625351/ 800 TED - Lawrence Lessig: We the People, and the Republic we must reclaim There is a corruption at the heart of American politics, caused by the dependence of Congressional candidates on funding from the tiniest percentage of citizens. That's the argument at the core of this blistering talk by legal scholar Lawrence Lessig. With rapid-fire visuals, he shows how the funding process weakens the Republic in the most fundamental way, and issues a rallying bipartisan cry that will resonate with many in the U.S. and beyond. TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625325/ 1099 TED - Aomawa Shields: How we'll find life on other planets Astronomer Aomawa Shields searches for clues that life might exist elsewhere in the universe by examining the atmospheres of distant exoplanets. When she isn't exploring the heavens, the classically trained actor (and TED Fellow) looks for ways to engage young women in the sciences using theater, writing and visual art. "Maybe one day they'll join the ranks of astronomers who are full of contradictions," she says, "and use their backgrounds to discover, once and for all, that we are truly not alone in the universe." TED talk downloaded from The Internet Archive. https://frikanalen.no/video/625519/ 329 Annerledes av Margrete Margrete (33) har skrevet og framført et dikt om å leve med en funksjonshemming. Selv har hun asperger-syndrom. https://frikanalen.no/video/626184/ 103 Towards the formal verification of maintainer scripts - Debconf 16 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. Talk (45 mins) session with Ralf Treinen during Debconf 16 https://frikanalen.no/video/625724/ 2664