[Termtools] starexec-presenter development and questionnaire

[Johannes Waldmann]

Dear all,

my master's student René Muhl is working
on improving starexec-presenter, in particular,
using formal concept analysis
(and perhaps other methods of data mining)
to improve navigation of large data sets.

If you care about this topic, and have some time to spare,
please contact him ( rene.muhl at stud.htwk-leipzig.de )
and he will send you a questionnaire
about how you (want to) use starexec-presenter.

Of course we also invite bug reports (*) and
general suggestions, but the focus of René's thesis
is not bugfixing, but building a nice(r) user interface
with a solid semantics.

Best regards, and a Happy New Year to you all - Johannes.


(*) https://github.com/stefanvonderkrone/star-exec-presenter/issues


PS: as a reminder, this is the competition page
http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/4
(but actually it links to static pages)

this is a typical query page
http://nfa.imn.htwk-leipzig.de/termcomp-devel/results/standard/Query%20%5BFilter_Rows%20%28And%20%5BEquals%20%22nothing%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22,Equals%20%22solver-no%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22%5D%29%5D/10296

queries should work also for jobs that you run
on starexec now (if they are public)