[Termtools] competition dec 09 started

[Frederic Blanqui]

Hello and happy new year!

The competition started one month ago and does not seem to be finished 
yet!... It is not even clear whether the certified competition already 
started. Could the organizers of the competition give some information 
about what is happening and when we can expect to have the results?

Thank you. Frederic.


Johannes Waldmann a écrit :
>> the competition started this morning at 11:03:
> 
> thanks, Simon, for all the work you put into this.
> I hope for a very exciting event.
> 
> (could some please put the link to current results
> on termination-portal.)
> 
> All the best - Johannes.
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools