Forgot your password?
New user?
Document Actions
Guidelines
Please follow these guidelines in adding content to the QPQ repository or in editing existing content.
- Content can be added in the form of software tools, source code, wiki pages, papers, blogs, and forums. Your personaly folder can contain blogs and other content that you only wish to share selectively. You can also maintain smart folders that cull references to content matching specific criteria.
- The topics covered by the repository include automated deduction, logic, foundations of mathematics, formal philosophy, formal methods, program verification, verification software, principles of programming languages, and software design methods. Please do not add any content either in public or private folders in the repository that is unrelated to these topics.
- Please make sure that all public content is clear, fair, accurate, insightful, and constructive, and free of bias, malice, slurs, insults, denigration, or self-promotion.
- Public content is maintained in the folders "Downloads", "Wikis", "Topics", or "Forums".
- All downloadable content goes in the "Downloads" folder. This includes software in binary or source code form, archival material, formalized libraries, proofs, lecture notes, and technical reports. These must be tagged with suitable keywords indicating the type of content and the relevant topics. Licensing details, if any, should be included with the downloadable content.
- The "Wiki" folder is meant for readable content focusing on collaboratively edited expository material including system descriptions, FAQs, surveys, reviews of books and papers, and challenge problems. The wiki pages must also be tagged with the appropriate subject keywords, and support discussions of the Wiki contents.
- The "Topics" folder contains smart folders that dynamically collect content related to specific topics.
- The "Forums" folder contains message boards for multi-way discussion of specific topics of short-term or long-term interest.
