Main menu:

In cooperation with the belgian MoVES project.


The next meeting of the Fundamental Computer Science FNRS Contact Group will be held on May 22nd, 2008, at the Faculty of Computer Science at the University of Namur (FUNDP).

News, May 19th

  • A detailed programme is now available.
  • On-site registration (lunch not guaranteed) is still possible.

News, May 5th

  • Invited speaker: Juan Fernandez-Ramil (see here).
  • Reminder: abstract submission closes on Monday, May 12th, 2008 (see further down for details).


The topic of this year’s annual meeting is Fundamental Aspects of Software Evolution, to be understood in the widest possible sense. It includes, but is not limited to:

  • model-checking,
  • model-driven engineering,
  • game theory,
  • theorem proving,
  • abstract interpretation,
  • partial evaluation,
  • type checking,
  • complexity,
  • decidability,
  • etc.

in the context of software evolution.


Please send your submissions to acs (at) until Monday, May 12th, 2008. A submission should consist of a title and an abstract; a full article is optional. There will be no formal review process.


Participation is free but registration is required. Please register via email (providing your name, surname, affiliation) to acs (at) Regular registration closes on Monday, May 19th, 2008. You can still visit the meeting without having registered, however, you will probably not be able to participate in the free lunch.


The event will take place at the Salle Académique, 4th floor of the

Faculty of Computer Science
University of Namur
rue Grandgangage 21
B-5000 Namur

Directions can be found here.