Tools Demonstration
To widen the basis for discussions on applications of
logic to computer science, the 2nd PLS will include a Tools Demonstration
Session. This may include demonstrations/presentations on:
-
Formal techniques and methods for verification
-
Automatic theorem provers
-
Systems for symbolic manipulation
-
Algebraic specification languages
-
Computer assisted learning tools for logic
-
Transformation-based design tools
-
Multi-paradigm verification tools
-
Practical applications of formal techniques
You are invited to participate in this session and arrange
a demonstration.
To submit a proposal for tool presentation please get
in contact with:
G. Koletsos (koletsos@math.ntua.gr)
or P. Stefaneas (petros@math.ntua.gr).
Back
to Main Page