Computation with Bounded Resources
Research Group

Affiliation

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

News

New Member
2016/8/1

Dr. Kenji Miyamoto will join our group in November. Kenji recently received his PhD from LMU Munich with his work on program extraction from co-inductive proofs. Quite naturally, he extensively contributed to MINLOG. Kenji will join the FISP project.
Logic, Complexity and Automation
2016/7/13

The aim of Logic, Complexity and Automation (LC&A) is to bring together researchers from different areas of mathematics and computer science who all have an interest in computational complexity. The workshop is the final meeting of the ACAT project, which will end in October. It takes place at the Obergurgl University Centre, September 5-7. Check out the dedicated website.
2-year PostDoc or 3-year PhD position available within the group
2016/4/8

CBR has an opening for a postdoc or PhD-student. The position is funded by the ANR-FWF project "The fine structure of proof systems and their computational interpretations" (FISP for short). Applications (including CV, publication list, and two references) may be sent by email, to georg.moser@uibk.ac.at. Informal inquiries are also welcome at the same email address.
EU funding for SC-square CSA
2016/4/7

This coordination and support activity aims to unity the two fields satisifiablity checking and symbolic computing (SC-square for short). CBR is an associate member of this CSA.
Michael Schaper & Maria A Schett visit the Oregon Programming Languages Summer School
2016/03/09

CBR congratulates Michael and Maria to the housing grant to visit the Oregon Programming Languages Summer School in Jun 2016.
New Paper at TACAS
2015/12/22

Michael's, Martin's, and Georg's paper describing the newest version of TcT has been accepted at TACAS. The pre-final version will be soonish available.
Andreas is a Master now!
2015/12/18

Andreas Kochesser defended his master thesis "Complexity of Simple Loop Programs" on December 18. Congratulations! Andreas leaves CBR for now, and moves to Israel to do voluntary work for the next two years. We wish him all the best.
FISP accepted
2015/10/15

The bilateral project "The Fine Structure of Formal Proof Systems and their Computational Interpretations" (FISP for short) has been accepted. The project is concerned with structural proof theory. It is a cooperation project between four partners, two Austrian (Innsbruck and Vienna), and two French (both in Paris).
Paper @ POPL
2015/10/5

Stéphane's and Georg's paper on "Complexity of Interaction" has been accepted at POPL. The final version (open access) is available in our publication archive.
termcomp 2015
2015/8/7

Yet again, TcT has won the combined ranking of the complexity competition, see here for more details. It is interesting to note that our new implementation is not yet perfect, and that it is a lot easier to prove (worst-case) lower bounds than (worst-case) upper bounds.
Paper in Journal of Logic and Computation
2015/6/23

The paper 'Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice' (Powell) has been accepted for publication in the Journal of Logic and Computation.
Paper at CiE 2015
2015/6/17

The paper "On the Computational Content of Termination Proofs" (Moser, Powell) has been accepted for presentation at CiE this year.
Paper at ICFP'15
2015/5/7

The paper "Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order" (Avanzini et al.) will be presented at this year ICFP.
Two Papers at RDP'15
2015/5/7

The papers "Leftmost Outermost Revisited" (Hirokawa et al.) and "Multivariate Amortised Resource Analysis for Term Rewrite Systems" (Hofmann, Moser) have been accepted at this years RDP. The works can be found on our publication page.
Maria Schett @ IBM
2015/4/27

CBR congratulates Maria Schett to her internship at the IBM Thomas J. Watson Research Center.
TcT won a Kurt Gödel medal
2014/7/21

In 2014, the first "FLoC Olympic Games" have been conducted during the Vienna Summer of Logic. During the games, several automatic tools competed in 14 different competitions about complexity, determinacy, satisfiablity, termination, etc. Our tool TcT competed in the termination competition and won the prize for the most powerful tool in complexity analysis of term rewrite systems.
2FC'14
2014/7/9

Our workshop 2FC'14 takes place on Saturday, July 12. Starting time: 14:30. See the website for further information.
New Member
2014/6/1

As of June 1, 2014, Alexander Maringele joins our team. Alexander works on automated reasoining and soon will provide our group with its first fully fledged automated theorem prover for predicate logic with equality.
Special Issues of DICE 2012 and 2013
2014/4/14

Our papers "A New Order-theoretic Characterisation of the Polytime Computable Functions" (Avanzini, Eguchi, Moser) and "A Combination Framework for Complexity" (Avanzini, Moser) will appear with special issues of TCS and IC respectively. The final versions can be found on our publication page.
Two Papers at RTA-TLCA 2014
2014/4/9

The papers "Amortised Resource Analysis and Typed Polynomial Interpretations" and "Automated Complexity Analysis Based on Context-Sensitive Rewriting", co-authored by our group, have been accepted at RTA-TLCA. The papers can be found on our publication page.
New Publication
2014/3/13

Our publication ""KBOs, Ordinals, Subrecursive Hierarchies and All That" will appear in a special issue of the Journal of Logic and Computation entitled "Concepts and Meaning". The final versions can be found on our publication page.
Old and New Members
2014/3/6

Martin will leave us for Bolognia to work with Ugo dal Lago on the complexity analysis of higher-order rewrite systems. His corresponding fellowship, project number J-3563 has been accepted. Congratulations! Furthermore, in October Thomas Powell will join our group.
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

Past Member

Address

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

Contact

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