2010~2011 Yearly MoVES Event

The 2010~2011 Annual Moves Event will take place on the 7th of February and it will be hosted by the University of Antwerp.

We have decided to do the 2010 annual event at the begining of 2011 for two main reasons: On one hand, a large effort was spent on the ex-post evaluation of the network in the second part of the year, which did not leave room for organizing an annual event. On the other hand, 2011 will be the last year of the current incarnation of the IAP, and towards the end of 2011 we will be organizing a closing event. This means that in 2011 there would be no annual event as we know it. By moving the 2010 event to early 2011, this is resolved.

As with previous annual events, the program will be split in two: Status reports by each of the work-packages, and research presentations. In addition to this, we will again organize a Poster Session. Please send an e-mail to Quinten.Soetens@ua.ac.be with the title of your poster.

All posters submitted by MoVES members should refer to the fact that they are funded by Belspo. The logo of Belspo can be downloaded from www.belspo.be/iap (general documents)

Program

10:00 Coffee Break + Poster setup

10:30 Welcome: Theo D’Hondt

WP's Status Updates

10:40 WP1
10:50 WP2
11:00 WP3
11:10 WP4
11:20 WP5
11:30 WP6
11:40 WP7

12:00 Report on ASE2010 Organization

12:15 Lunch + Poster Session + Management Meeting

Research Presentations

13:20 Presentation of MoVES Most Promising Young Researcher Award

13:30 On evil clones, how to manage them… and the “social thing”- Andy Zaidman TUDelft

14:00 An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models, Alexander Linden (joint work with Pierre Wolper),University of Liège.

15:00 Change-centric development: Striving for agility without sacrificing reliability - Serge Demeyer University of Antwerp

15:30 Coffee Break

15:40 Poster Award

16:00 Formal Analysis of Safety-Critical Medial Processes - Bernard Lambeau. University of Louvain, Department of Computer Science (UCL/EPL/INGI)

16:30 Closing

Getting There

The event will take place at

University of Antwerp - campus
Middelheim - building G
Middelheimlaan 1, 2020 Antwerpen

ROUTE DESCRIPTION: http://win.ua.ac.be/content/getting-here

PUBLIC TRANSPORT: For those of you coming by public transport you must take the train to Antwerpen-Berchem Station (the Central Station is a bit too far), and take a bus from there. You find the time tables of the Belgian Railway Company at the website of the NMBS. (in Dutch, French and English)

We have a detailed description (with pictures) of the bus-route at Public transport instructions

In textual form it goes like this. Take Bus 32 (Rooseveltplaats-Edegem) and get of at “Koninklijke laan”. (See also http://www.delijn.be/). You should count on 25 minutes from the City Center to campus Middelheim. Depending on the hour you start the bus comes every 10 minutes.

Route details: You should take the bus into the direction of “Edegem” and you will have to get of at “Koninklijke laan” (although you are in the floralienlaan then). To get a feeling where this is: (a) once you passed through Antwerpen-Berchem [which is the 2nd railway station in Antwerp) (b) after driving through a street full of shops, (a) the bus takes a left turn to come upon a bigger road with a tramway, (c) crosses a big road intersection with lots of traffic lights, (d) drives over a bridge crossing the highway, (e) then takes two right turns before (f) passing a cemetery on the left hand side. If you see the cemetery, ring the bell to ask the bus driver to stop, because right after the next left turn you will have to get off. You see the university buildings right behind the bus stop.

Registration

Register by returning the following e-mail snippet in simple ASCII e-mail to both Quinten.Soetens@ua.ac.be, Serge.Demeyer@ua.ac.be no later than 31st January

—————————– START OF E-MAIL SNIPPET ———————————-

............. (name) from the university ....... (affiliation) with e-mail ...... (e-mail address) will attend the MOVES annual event on Monday, february 7th, 2011 at the University of Antwerp

—————————– END OF E-MAIL SNIPPET ———————————-

2010yearlyevent.txt · Last modified: 2011/02/03 16:39 by carlos.noguera