HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)

Contact Information

If you have any questions or suggestions concerning the program or the theory behind it please do not hesitate to contact us. We are glad about every comment helping us to improve CERES in any way.

Also if you are using CERES either just on personal interest, for further research or computational processing let us know so we can probably help you with more indepth information and are able to enrich the functionality of CERES based on your results.

The people currently involved in CERES are:

and you can reach us via e-mail (ceres[at]logic.at).

We will always try to process and answer your e-mail as soon as possible.