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 ( or P. Stefaneas (

Back to Main Page