Hi everybody, Bordeaux site is now running (sorry for the lag ...). The background literature part is empty for the moment, but I will fill it before the end of the week. Some small remarks : -> the » and « are in the wrong order in index.raw, around "Games and Automata for Synthesis and Verification" and "@TASKNAME@" -> 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. For the broken links, I modified the config file. Here are the right links (so far) : @URL_AACHEN=http://www-mgi.informatik.rwth-aachen.de/games@ @URL_BORDEAUX=http://www.labri.fr/Recherche/LLA/GAMES@ # will be http://ga mes.labri.fr @URL_EDINBURGH=http://www.lfcs.ed.ac.uk/research/games@ @URL_PARIS=http://www.liafa.jussieu.fr/~games@ @URL_RICE=http://www.cs.rice.edu/CS/Logic/Games/@ @URL_UPPSALA=http://www.it.uu.se/research/project/games@ @URL_VIENNA=http://www.dbai.tuwien.ac.at/proj/games@ @URL_WARSAW=http://www.mimuw.edu.pl/~std/GAMES@ Cheers, -- Julien Bernet Laboratoire Bordelais de Recherche en Informatique (LaBRI) Tel : 05-56-84-24-90
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
participants (2)
-
Dietmar Berwanger -
Julien Bernet