The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2016 March 20 - 24, 2016 - Rome, Italy

Awards

The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a digital award will be issued in the name of the authors. The authors of these papers are also receiving invitations to submit an extended article version to one of the IARIA Journals.

Awarded Papers

Logical Characterization and Complexity of Weighted Branching Preorders and Distances
Louise Foshammer, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

 

The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.

Papers Invited for IARIA Journals

Implementing the Type System for a Typed Javascript and its IDE
Lorenzo Bettini, Jens von Pilgrim, Mark-Oliver Reiser

Towards an Astrophysical-oriented Computational multi-Architectural Framework
Dzmitry Razmyslovich, Guillermo Marcus, Reinhard Männer