City of bikes  
   DTU Logo


Overview all days (as PDF)

Best paper award

Programme (main conference)
 Wednesday, July 4
 Thursday, July 5
 Poster and tool demos
 Guidelines for speakers

Programme (workshops)
 Monday, July 2
 Tuesday, July 3

Programme (tutorials)
 Tutorial 1 (Monday morning)
 Tutorial 2 (Monday afternoon)

Social events
 Reception (July 3)
 Excursion and dinner (July 4)

Accepted papers

Follow us on twitter


The programme of ECMFA 2012 consist of two major parts. The main conference will be held on July 4 and July 5, and it will consist of scientific or application and research presentations as well as industrial and application presentations. On the two days before the conference, July 2 and 3, there will be held workshops and tutorials.

And of course, you should not miss the social events. Note that the ECMFA main conference starts informally already at the reception on Tuesday afternoon/evening.

Invited talks

We are happy that have accepted to be keynote speakers at ECMFA 2012. You will find more information on the invited speakers and their talks here.

Programme: main conference

You will find the programme for the two days of the ECMFA main conference on the pages below:
This programme includes a tool session and the poster and tool demonstrations.

Note that all participants of the main conference are welcome to participate at the reception on Tuesday afternoon and evending starting at 1730 in or at Building 342 (see details here). This is considered the inoffcial start of the ECMFA main conference.

Workshops and tutorials

The two days before the main conference, on July 2 and 3, there will be held workshops or tutorials in the area of ECMFA. The workshops are fixed now, which you can find on the workshops page. You will find more information on the tutorials on the tutorials page .

Other scientific events

In case, you are not interested in any of the ECMFA workshops and tutorials, you might be interested in another scientific event that goes on in Copenhagen during the ECMFA workshop and tutorial days: on July 2-3, the 4th Workshop on Reversible Computation (RC 2012) will be held at Copenhagen University.