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

Oliver Hermant

Oliver Hermant


MINES ParisTech, PSL Research University



  • Show [all] in program.
  • A Taste of Sound Reasoning
    » Paper Presentation - day:3 - 15:30
    » Location: Main venue (P1)

Olivier Hermant is a researcher at MINES ParisTech since 2012. His work is oriented towards automated reasoning, rewriting, type and proof systems and formalization of programming languages. 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.