MoWGLI Meeting 2004

March 22nd - 23rd, DFKI, Saarbrücken, Germany

Meeting Details:

Registration

Please, register by sending an email to paul@activemath.org

If you are planning to give a talk, please send a title and abstract.

Network access

We shall have network access in the room of the MoWGLI.
If you would like to use it, please provide the following information at latest before March 15th: for both wireless and RJ-45-ethernet wired access, please provide the MAC addresses of your card to paul@activemath.org.

ist of Participants:

German Research Center for Artificial Intelligence, GmbH, DFKI
University of Saarland, Saarbrücken, Germany

Dieter Hutter
Serge Autexier
George Goguadze
Paul Libbrecht
Michael Kohlhase

University of Bologna (Italy), Department of Computer Science

Andrea Asperti
Claudio Sacerdoti Cohen
Stefano Zacchiroli

Katholieke Universiteit Nijmegen, the Netherlands

Herman Geuvers
Lionel Elie Mamane
Freek Wredijk
Iris Loeb

Max Planck Institute for Gravitational Physics (Albert Einstein Institute)

Romeo Anghelache

Institut National de Recherche en Informatique et Automatique (INRIA) Sophia Antipolis

Yves Bertot

Institut National de Recherche en Informatique et Automatique (INRIA) Rocquencourt

Hugo Herbelin

Trusted Logics

Eduardo Gimenez

Candidate Programme

Time	Person	Topic
9:30-10:00	all	Laptops set-up (beamer tests, network set-up)
10:00-10:30	all	agenda planning
10:30-11:15	Hugo Herbelin	Interpretation of Scopes
11:15-12:00	Romeo Anghelache	Report on Hermes
12:00-12:30	Herman Geuvers	Report on C-CoRN ?
12:00-14:00	Lunch at the Stuhlsatzenhaus
14:50-15:20	Eduardo Gimenez	Plans for the validation task
15:20-15:50	Lionel Elie Mamane	Relating Coq-formalized math with IDA course-notes
15:50-16:00	Claudio? Andrea?	Report on HELM current activity
16:00-16:10	Erica? George?	Report on ActiveMath current activity
16:10-16:30	Coffee break
16:30-17:00	Paul Libbrecht	Reports on the distribution prototype
17:00-17:30	Serge Autexier	Differencing XML-documents with a notion of semantically-irrelevant differences
17:30-18:00	Dieter Hutter	Merging structured documents

Time	Person	Topic
9:30-10:30	Room for free and/or bilateral discussions
10:30-11:00	Coffee Break
11:00-12:00	AuthoMath proposal discussion Very short contributions expected from: Freek Wredijk, Paul Libbrecht, others?
12:00-14:00	Lunch at the Schlemmereule
Preparation of the MoWGLI evaluation: talks are briefly sketched, comments and discussions are important.
14:00-14:30	Andrea Asperti	Intro to the upcoming review
14:30-15:00	Claudio Sacerdoti Coen	First prototype
15:00-15:30	DFKI	Distribution prototype
15:30-15:45	Romeo Anghelache	Report on Hermes and MPG validation (?)
15:45-16:15	Herman Geuvers	Algebra course ?
16:15-16:45	Eduardo Gimenez	Trusted Logics on their validation

 

Dates and places: 

Time:

To be made precise

Room:

Room Turing (-2.07), DFKI neubau
 

How to get there?

Some links

For trains:      http://reiseauskunft.bahn.de/bin/query.exe/en
Webcam and more:          http://www.saarbruecken.de/
Weather:         http://www.wetteronline.de/Saarland/Saarbruecken.htm
 
  Following the link below you will find detailed instructions on how to get to the University
by all means of transport. You will also find an interactive map of the Campus, where you can find
the position of our building 36.1.

http://www.uni-saarland.de/en/profil/anschrift/

An interactive map of Saarbrücken centered where the meeting shall take place can be found here.

How to get to Saarbrücken ?

Aside of the train travel by air is possible.
Frankfurt Airport is 2h30 away from Saarbrücken (by train or car), Luxemburg airport is 1h away (with bus connections to Saarbrücken), Saarbrücken has its own airport, and the airport of Frankfurt Hahn is actually closer to Saarbrücken then Frankfurt, Ryan Air flies mostly there..

Hotel Reservation:

Here you can find the list of Hotels in Saarbrücken, where University has special price conditions.
The administration of all Hotels speaks english. All of the Hotels are situated in the
city center (except the Seewald) and have good bus connection to the University.

1. Hotel Continental 47 €
   Dudweiler Straße 35 66111 Saarbrücken
   Tel.: 06 81/3 79 89 - 0 Fax: 06 81/3 90 53 73
2. Kirchberg-Hotel 52 €
   St. Josef-Straße 18 - 19 66115 Saarbrücken
   Tel.: 06 81/4 77 83 Fax: 06 81/49 91 06
3. Ibis Saarbrücken +/- 60€
   Hohenzollernstraße 41 66117 Saarbrücken
   Buchungscode: SC 322690504
   Tel.: 06 81/9 95 70 01.03.02 - 31.03.02 Fax: 06 81/5 71 05
   
4. Hotel La Residence
   Standard-Kategorie! 75€
   Faktoreistraße 2 66111 Saarbrücken
   Tel.: 06 81/38 82 - 0 Nur Fax: 06 81/38 82 - 18 5
5. Hotel Seewald (outside city, near University)
   Beethovenstrasse 68, 66125 Saarbrücken-Dudweiler
   Tel. + 49(0)6897 9 52 92-100, Fax.+ 49(0)6897 9 52 92-107
   Web Page : http://www.hotel-seewald.de/
   Special prices for students. Mention the Faculty of Computer Science of the University as the inviter.
   

In order to get the special price in the Hotels, just mention the fact that you are the guests of the University of Saarland.
If booking the room in the last "Hotel La Residence" you have to provide additional keyword "mowgli".

If you have any troubles with reservations, please contact the secretary.
 

Public transportation

The busses 11, 19 direction Dudweiler Dudoplatz or Uni-Campus from the city center;
49 direction Dudweiler Dudoplatz; 61 and 69 direction Uni-Campus from the Train Station.

Here is a little bus schedule taken by hacking http://www.saarbahn.de/.. The script will bring you to the meeting from one of the places indicated.