Skip to content
Linux Audio Conference 2015
The Open Source Music and Sound Conference
April 9-12 @ Johannes Gutenberg University (JGU) Mainz, Germany
LECTURES / WORKSHOPS / EXHIBITIONS / CONCERTS / CLUBNIGHTS
find us on facebook google-plus event


Conference Schedule

During the conference, live A/V streams are available for the main track: High Quality and Low Bandwidth.

Remote participants are invited to join #lac2015 on irc.freenode.net, to be able to take part in the discussions, ask questions, and get technical assistance in case of stream problems.

Conference Material can be found on the Download Page.




Timetable Format: Plain List | Table | iCal | Printable Version
All times are CEST = UTC+2

Filter:
       
 
Day 3 - Saturday, April/11 
Paper Presentation
15:30 A Taste of Sound Reasoning - Paper Presentation
(45 min)  Emilio Jesús Gallego Arias, Oliver Hermant, Pierre Jouvelot » Location: Main venue (P1)
We address the question of what software verification can do for the audio community by showcasing some preliminary design ideas and tools for a new framework dedicated to the formal reasoning about Faust programs. We use as a foundation one of the strongest current proof assistants, namely Coq combined with Ssreflect. We illustrate the practical import of our approach via a use case, namely the proof that the implementation of a simple low-pass filter written in the Faust audio programming language indeed meets one of its specification properties.
The paper thus serves three purposes: (1) to provide a gentle introduction to the use of formal tools to the audio community, (2) to put forward programming and formal reasoning paradigms we think are well suited to the audio domain and (3) to illustrate this approach on a simple yet practical audio signal processing example, a low-pass filter.

The schedule is a major guideline. There is no guarantee events will take place at the announced timeslot.
 
This page was last modified: Monday, May 18 2015 07:16 UTC - Albert Gräf
linuxaudio.org Johannes Gutenberg University Institut für Kunstgeschichte und Musikwissenschaft Hochschule für Musik
Journalistisches Seminar Grame - Centre national de création musicale HKU University of the Arts Utrecht Bitwig - next generation music software for Linux, Mac, Windows
HörTech gGmbH Oldenburg MOD - Step onto the future
Locations of visitors to this page

 

Valid XHTML 1.0 Strict Valid CSS3 Get Firefox

LINUX® is a registered trademark of Linus Torvalds in the USA and other countries.
Hosting provided by the Virginia Tech Department of Music and DISIS.
Design and implementation by RSS.