JML Workshop @ Nijmegen

January 26, 2012 @ Nijmegen


Erik: Wolfgang: Wojciech: Rody & Bernard:

Demonstration video (not always up to date, also including lectures given by Olha and us).



Lodging: The workshop will be located at the Science faculty in Nijmegen. As there are no hotels nearby we have reserved a number of nice-but-not-too-expensive-rooms in hotel Apollo near the central train station. Another advantage is the free wifi usage (supposedly also in the rooms). Be sure to mention "Radboud University / Computer Science" in your reservation, otherwise they will tell you they don't have any rooms left :) There are also a number of bed-and-breakfasts in Nijmegen.

Software: With regards to the software needed for the workshop, we aim to provide a VirtualBox image with all the tools installed, so the install delay will be minimal. It would be helpful if you could install VirtualBox ( ) beforehand.

Use-case: We like to request that everybody select a use case from their own software beforehand. If possible, could you send these use cases to us, so if needed the session chairs can use them as examples in their short presentation.


The workshop (program, etc)

The current proposal is stated below, although we still have to sort some details out. We propose 4 blocks of about 90 minutes, starting at the 26th first thing in the morning, at 9 o'clock. The last block will finish probably around half past 5. The blocks are as follows:

The blocks chairs will give a short presentation about their topic (max 30 min) and thereafter you can work on applying the discussed techniques on a use case of yourself, and discussing approaches, etc.

We will probably organise some dinner the evening before or they day itself (or both), depending in the interest. But thats probably something for later.

About Nijmegen

Nijmegen is considered to be the oldest city in the Netherlands and celebrated its 2000th year of existence in 2005. The first mention of Nijmegen in history is in the 1st century BCE, when the Romans built a military camp on the place where Nijmegen was to appear; the location had great strategic value because of the surrounding hills, which gave (and continues to give) a good view over the Waal and Rhine valley.

The powerful Henry VI, Holy Roman Emperor was born at Nijmegen in 1165. In 1230 his son Frederick II, Holy Roman Emperor granted Nijmegen city rights. In 1247, the city was ceded to the count of Guelders as collateral for a loan. The loan was never repaid, and Nijmegen has been a part of Gelderland ever since. This did not hamper trade; Nijmegen even became part of the Hanseatic League in 1364. The arts also flourished in this period. Famous medieval painters like the Limbourg brothers were born and educated in Nijmegen.

In 1678 Nijmegen was host to the negotiations between the European powers that aimed to put an end to the constant warfare that had ravaged the continent for years. The result was the Treaty of Nijmegen that, unfortunately, failed to provide for a lasting peace.

In 1940, the Netherlands were invaded by Germany with Nijmegen being the first Dutch city to fall into German hands. On February 22, 1944, Nijmegen was heavily bombed by American planes, causing great damage to the city centre. The American pilots thought they were bombing the German city of Kleve. Alleged by the Germans to have been a deliberate act, the NIOD announced in January 2005 that its study of the incident confirmed that it was an accident caused by poor communications and chaos in the airspace. Over 750 people died in the bombardment.

Nijmegen is famous for the International Four Day March Nijmegen (Dutch: Internationale Vierdaagse Afstandsmarsen Nijmegen, informally Nijmeegse Vierdaagse), an annual event starting on the third Tuesday in July, comprising four days of walking (distances ranging from 30 to 50 km a day), and the accompanying festivities (the Vierdaagsefeesten including rock festival de-Affaire), which have been drawing the largest crowds for any Dutch event in the past few years.


For questions, you can contact Bernard with mail.