
Julien Bernet wrote:
-> it's a bit confusing to have the number/title of the task in the "Publications" page, since the papers are not necessarily related to the task.
Actually they should be, the idea is to publish the task n-related papers on the site of the coordinating team. If somebody is interested in the publications of e.g. the LABRI people, the games-page will probably not be the first place to look for.
-> the » and « are in the wrong order in index.raw, around "Games and Automata for Synthesis and Verification" and "@TASKNAME@"
that's an international question. You're right in french. In German it's the other way round. Of course you may change it on your site. How are the preferences in English & Polish? D. -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany