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


Oliver Hermant

Oliver Hermant

Tagline/Affiliation

MINES ParisTech, PSL Research University

Links

Session(s)

  • 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.

 

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.