TCM-July-2008
From Termination-Portal.org
Revision as of 13:01, 15 July 2008 by J.waldmann (talk | contribs) (New page: == Date/Time/Location == 15 July 2008, 6:30 pm, during RTA at Hagenberg == Agenda == * current status of the competition test run ** the "Torpa problem" (what can programs expect on $PA...)
Date/Time/Location
15 July 2008, 6:30 pm, during RTA at Hagenberg
Agenda
- current status of the competition test run
- the "Torpa problem" (what can programs expect on $PATH, $PWD)
- the "Jambox problem" (programs that write long proofs)
- Q: test run for certified termination?
- next steps
- submission of new prover versions
- submission of new problem (sets)
- test runs (by submitters)
- complete runs (by administrators)
- evaluation (by committee) (how and when)
- new category suggestions
- complexity analysis (Georg Moser, Johannes Waldmann)
- SN infinity (Hans Zantema, Jörg Endrullis)
- we have more categories than people?
- details for Termination Workshop 2009 Leipzig
- date? (needs to be decided soon, to book the venue)
- length/schedule? suggestion:
- (day 1) sub-workshop on certified termination
- (day 2, 3) termination workshop (if there are more submission, then already start on afternoon of day 1)
- (day 4) would be possible to hold the IFIP WG 1.6 meeting
- program committee? suggestion: informal workshop, no refereeing, small committee, include people from communities of termination of logic programming, imperative programming
