Disclaimer and Terms and Conditions of Use

The Automath Archive is a collection of images, reports, articles and other documentation related to the Automath project. We also refer to this website that provides access to these images, reports, articles and other documentation as the Automath Archive. The material of the Automath Archive is provided for personal use, and for use in research, learning and teaching in universities or other educational institutions, subject to agreement with the terms and conditions below.

Please read this agreement carefully before accessing or using the Automath Archive. By accessing or using the Automath Archive you agree to be bound by the terms and conditions below. The service providers may modify this agreement at any time, and such modifications will be effective immediately upon posting of the modified agreement.

Copies of the images, reports and articles may be freely downloaded and used for teaching and learning purposes within educational establishments for non-commercial activities only. However we would appreciate it if you notify us when using multiple copies of articles. Full acknowledgement must be given. The copyright of images, reports, articles and other documentation of the archive resides with the individual authors or copyright owner(s). Individual authors and their institutions must be acknowledged in any use of material. In addition, the Formal Methods section of the Technische Universiteit Eindhoven must be acknowledged. Such acknowledgement must be visible within any teaching material produced and accompanying literature if applicable e.g. "© Automath Archive, Technische Universiteit Eindhoven". Images, reports, articles and other documentation cannot be sold or made available under loan and commercial reproduction or multiple distribution of any kind is prohibited except for educational use. Downloading material from this site is subject to the terms of use. By using this site, you signify your assent to these terms.

This Site is for your personal, non-commercial use only. You may not modify, copy, distribute, transmit, display, perform, reproduce, publish, license, create derivative works from, transfer, or sell any Content, software, products, or services obtained from this Site. You may not use this Site, or any of its Content, to further any commercial purpose, including any advertising or advertising revenue generation activity on your own Site.

You use this Site and its contents at your sole risk. You agree that you will be personally responsible for your use of this site and for all of your communication and activity on this site. Any articles, documentation or software that you may download from this Site ("Automath Archive") is the copyrighted work of this site and/or its licensors.

We expressly disclaim warranty of any kind (either express or implied) for the information/links/files on this homepage. All terms and images mentioned or displayed in this homepage, that are known to be trademarks or service marks, belong to their owners, and use of a term or image in this homepage should not be regarded as affecting the validity of any trademark or service mark.