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:

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