Talk by R. Kahle (LTCS)

Short Title: 
Talk by R. Kahle
Event Date(s): 
Thursday, 18. May 2017 -
10:15 to 11:45

Venue:
Room 215, Main Building, Hochschulstrasse 4, 3012 Bern

Speaker
Prof. Dr. Reinhard Kahle (CMA & DM, FCT, Universidade Nova de Lisboa)

Title:
Applicative Theories for probabilistic classes of computational complexity

Abstract:
Based on function algebras for probabilistic classes of computational complexity we are trying to define applicative theories whose provably total functions belong to these classes. Starting from a theory for the #P hierarchy FCH we discuss the problems - and perspectives - which one encounters for the definition of theories for probabilistic classes of complexity.

based on joint work with Isabel Oitavem (Lisbon) und Thomas Strahm (Berne)

http://www.ltg.unibe.ch/lectures/FS17/LTCS