FSA Colloquium

The colloquium takes place every week on Thursdays at lunch time (12.45 - 13.30). The emphasis is on ongoing and/or unfinished work, so as to attract possible collaborators and receive comments which could boost the quality of research.

The colloquium is intended as an opportunity for the members of our group to meet and discuss their current research. We therefore strongly encourage everyone to contribute with a presentation once in a while.

Even though the focus is primarily on the topics related to the research that takes place in the FSA section, everyone interested in the talks is most welcome to join, especially our fellow MDSE colleagues.

If you wish give a presentation, please contact Fei Yang (f.yang 'at' tue.nl).

Next talk:

08.02.2018 (time: 12:45, room MF 7.084)

Julien Schmaltz: "Formal analysis using the MaDL Whiteboard: a demo"

Abstract: I will give a demo of the tool we are developing based on our research about formal analysis of micro-architectures. Going through examples I will illustrate the main modelling and verification features we currently have implemented. An interesting aspect is that we can model asynchronous systems. This part still requires some research and might generate some discussion :-)

Upcoming talks:

  • 15.02.2018
    Bas Luttik

  • 22.02.2018
    MDSE outage

  • 01.03.2018
    Thomas Neele

  • 08.03.2018
    Alexander Fedotov

  • 15.02.2018
    Omar Alzuhaibi

  • 22.03.2018
    Fei Yang

  • 29.03.2018
    Dragan Bosnacki

  • 05.04.2018
    Rodin Aarssen

  • 12.04.2018
    Wieger Wesselink

  • 19.04.2018
    Anton Wijs

  • 26.04.2018
    Erik de Vink

  • 03.05.2018
    Empty slot

  • 10.05.2018
    Ascension Day

  • Previous talks:

    Click here.
    Last modified: Tuesday, 06th February, 2018