November 2002 - GAMES-Web - lists.rwth-aachen.de

Install shield
by Dietmar Berwanger 27 Feb '03

27 Feb '03

Hi, Here comes the macro collection XP 95 Premium plus (Sorry, Jan). How to cook: Unpack the tar into your root directory (the one you gave me yesterday) > tar -xzf games_node.tgz All the workfiles are now in the raw subdirectory. There are config files for each node: > cd raw > cp config._your_node_ config The secret weapon is a preprocessor called wpp. I got it from http://sourceforge.net/projects/wpp/ but since they seem to be updating now, I send you a copy of the distribution in case you're interested in the documentation; the preprocessor itself is written in perl and really small. If your perl is not /usr/bin/perl you may change the first line in wpp. There is also an older version of bibtex2html which I hacked (for beauty). If it doesn't run on your computer, just use yours or ask me to send you the sources. The executables should be where your system can find them. > cp wpp _your_path_ > cp bibtex2html _your_path_ That's most of it. Try > make all This should generate index.html Research/index.html Research/index-bib.html Events/index.html. If this works fine you only need to fill the templates with your contents /raw/index.raw /raw/Events/index.raw /raw/Research/index.raw /raw/Research/index-bib.raw There's nothing magic about them except maybe the first three lines, respectively the tails of the /Research/-files where bibliographies are generated. But the tricks there are easy to understand. (The $Date$-line seems to be essential). I think it's enough if we announce vacancies on the main site. We might also place a short hint on the local home, but it'll probably not be worth an extra page on each site. Good luck, tell me how it went! See you, D. -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

4 8

Events
by Olivier SERRE 28 Nov '02

28 Nov '02

Dear all, In the page on events we list the upcoming/past talks with their abstracts. Therefore in some months the page will be very long, due to the abstract. That is why I think that we should have two pages for events (as for tasks), one for a short description (without abstract) and one with details (with abstract). What do you think about this? Olivier -- ---------------------------------------------------------- snail mail: office: 175, rue du Chevaleret, Université Paris 7 F-75013 Paris LIAFA -- case 7014 6th floor, office 6A9 2, place Jussieu tel. +33 1 44 27 28 48 75251 Paris Cedex 05 fax +33 1 44 27 68 49 email: serre(a)liafa.jussieu.fr http://www.liafa.jussieu.fr/~serre

2 2

Bug: Uppsala-ZAP
by Dietmar Berwanger 28 Nov '02

28 Nov '02

I must've made a mistake either in head.tmpl or in your config-files - all ZAP links to Uppsala are undefined. I suspect it's something on the thin line between @URL_UPPSALA@ and @URL_UPPSALLA@. Strangely for Aachen and the Main site it seems to be ok even though I don't remember to have corrected it. Either way, please try to fix that (and once you found the bug let us now). Dietmar -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

4 3

Paris publications
by Julien Bernet 25 Nov '02

25 Nov '02

Hi again. In Paris publications page, there is a reference to a paper from Achim and Erich. Shouldn't it be in the litterature page ? Cheers, -- Julien Bernet Laboratoire Bordelais de Recherche en Informatique (LaBRI) Tel : 05-56-84-24-90

2 2

Bordeaux site up and running
by Julien Bernet 25 Nov '02

25 Nov '02

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

2 1

URL's: Paris, Rice, Warsaw
by Dietmar Berwanger 25 Nov '02

25 Nov '02

I'm glad to see our net starts to work. Currently the following URL's differ from what we had in our config files; the correct locations are: @URL_PARIS=http://www.liafa.jussieu.fr/~games@ @URL_RICE=http://www.cs.rice.edu/CS/Logic/Games@ @URL_WARSAW=http://www.mimuw.edu.pl/~std/GAMES@ Even though Paris and Warsaw will probably change again within a week I recommend you to remake your sites with the new config as broken links can ruin honest people's reputations in no time ;) Cheers, D. -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

1 0

Fwd: typo warning (Michal Ceresna)
by Dietmar Berwanger 21 Nov '02

21 Nov '02

Michal Ceresna wrote: > Research/index.raw has a typo in one of the links - > 'literarure.bib' instead of 'literature.bib' > -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

1 0

[Fwd: Rice location]
by Dietmar Berwanger 21 Nov '02

21 Nov '02

-- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

1 0

your roots
by Dietmar Berwanger 18 Nov '02

18 Nov '02

Bonjour, I'm about to finish the "distribuition" (ha!). Please send me the urls of your respective games-homes. (I already have Olivier's and Jan's). For Aachen it will be http://www-mgi.informatik.rwth-aachen.de/games/. Cheers Dietmar -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

5 4

Re: [Games-Web] local pages
by Dietmar Berwanger 14 Nov '02

14 Nov '02

Jan Obdrzalek wrote: > Edinburgh page is finished and running. The address is > http://www.lfcs.informatics.ed.ac.uk/games > > Dietmar, could you please set http://www.lfcs.informatics.ed.ac.uk instead of > http://www.informatics.ed.ac.uk ? This is because the activity in RTN Games > is associated only with LFCS, not the whole division. > > As I've realized, I didn,t have to do it myself and could wait till next week. > I will learn from that ;-) Great, Jan, I've changed your address on the main page. The [ List | BibTeX | PostScript ] - line is nicer than what I had. Two little remarks: 1. The Zap-box is thought to lead to the parallel page at another node, not to its home (the aachen-warsaw-graphics does that already). E.g. Edinburgh > Publications :: Zap :: Aachen > Publications. 2. Under vacancies you left "Aachen" in the section title. Best D. -- Dietmar Berwanger Mathematische Grundlagen der Informatik RWTH Aachen D-52056 Aachen, Germany

1 0