Computation with Bounded Resources
Research Group

Affiliation

Computation with Bounded Resources Group,
Computational Logic Group,
Institute of Computer Science

News

New Publication
2013/9/10

Our journal publication "Polynomial Path Orders" has been accepted at LMCS. The paper can also be found on our publication page.
New Publication
2013/7/17

Our publication "The Structure of Interaction" has been accepted at CSL'13, Torino, Italy. A preprint of the paper can be soon found on our publication page.
New Project
2013/5/14

The project ACAT aims at automated runtime complexity analysis of declarative and imperative programs via transformations; it is funded by the Austrian Science Fund (FWF) and has a duration of 3 years.
New Papers
2013/04/29

Our papers "A Combination Framework for Complexity" and "Tyrolean Complexity Tool: Features and Usage" have been accepted at 24th RTA, Eindhoven, Netherlands. Preprints of these papers can be found on our publications page.
New Member
2013/1/23

As of April 2013, Naohi Eguichi will visit our group till September 2014. Naohi's stay is funded by the Japanese Society for the Promotion of Science.
Collegium Logicum announcement
2012/11/14

The next workshop about Structural Proof Theory will place on November 16 and 17 at LIX, Ecole Polytechnique, Palaiseau.
New Paper
2012/08/25

Our paper "A New Order-theoretic Characterisation of the Polytime Computable Functions" has beed accepted at 10th APLAS, Kyoto, Japan. A preprint can be found on the publications page.
Complexity Competition
2012/06/08

The ComplexityWiki at termination-portal has been moved to the CBR page and can now be found here.
CBR homepage
2012/05/11

Homepage of 'Computations with Bounded Resources' is online.
News archive

Members

Address

University of Innsbruck
Technikerstrasse 21a, 2. OG
A-6020 Innsbruck, Austria

Contact

email: {firstname.lastname}@uibk.ac.at