Difference between revisions of "WScT"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (New page: A special topic in termination is automatic verification of termination proofs. Upcoming events: * May 17 - 19, 2008 in Leipzig, Germany: WScT08 Previous events: * [http://color.lor...) |
|||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | == Goals == | |
| + | Termination is an important and difficult problem. Many methods and criteria have been developed, | ||
| + | and they are being used in various programs (termination provers), | ||
| + | see for instance the international [[Termination_Competition]] . | ||
| − | + | These programs are more and more complex and are being applied on larger and larger input systems. | |
| + | For these tools to be used in the certification of critical systems and proof assistants, their results must be certified. | ||
| + | |||
| + | The Workshops on Certified Termination aim to bring together researchers working in the field | ||
| + | for a discussion of current results, as well as directions of further research and implementation. | ||
| + | |||
| + | == Events == | ||
| + | |||
| + | Previous events: | ||
* May 17 - 19, 2008 in Leipzig, Germany: [[WScT08]] | * May 17 - 19, 2008 in Leipzig, Germany: [[WScT08]] | ||
| + | * May 11 - 12, 2007 in Nancy, France: [http://color.loria.fr/workshop.html WScT07] | ||
| − | + | == Resources == | |
| − | |||
| − | + | * [[Tools:CoLoR|the CoLoR project]] | |
| − | * [http:// | + | * [[Tools:IsaFoR|the IsaFoR/CeTA project]] |
| + | * [http://cl-informatik.uibk.ac.at/software/cpf certification problem format] | ||
Latest revision as of 09:57, 29 September 2009
Goals
Termination is an important and difficult problem. Many methods and criteria have been developed, and they are being used in various programs (termination provers), see for instance the international Termination_Competition .
These programs are more and more complex and are being applied on larger and larger input systems. For these tools to be used in the certification of critical systems and proof assistants, their results must be certified.
The Workshops on Certified Termination aim to bring together researchers working in the field for a discussion of current results, as well as directions of further research and implementation.
Events
Previous events:
