Submit a Paper

The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS 2010
November 21-26, 2010 - Lisbon, Portugal


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 diploma will be issued in the name of the authors and mailed to the contact author.

Awarded Papers

Debugging PVS specifications of control logics via event-driven simulation
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci

Euclides - A JavaScript to PostScript Translator
Martin Strobl, Christoph Schinko, Torsten Ullrich, Dieter W. Fellner

 

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

Debugging PVS specifications of control logics via event-driven simulation
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci

Euclides - A JavaScript to PostScript Translator
Martin Strobl, Christoph Schinko, Torsten Ullrich, Dieter W. Fellner

PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments
Raimund Kirner, Sven-Bodo Scholz, Frank Penczek, Alex Shafarenko

Analysing the dynamic behavior of a Business Process and the related Business Continuity Process with mcrl2
Wolfgang Boehmer, Christoph Brandt, Jan Friso Grote

 
 

Copyright (c) 2006-2010, IARIA