Jeroen Keiren

Jeroen Keiren

Formal methods researcher at TU/e

WSFM/BEAT 2015 Deadline Extension

less than 1 minute read

This is just a quick note about WSFM/BEAT 2015. The submission deadlines have been extended by a couple of days, so you can still submit.

New dates:

  • July 1, 2015 (abstracts)
  • July 3, 2015 (papers)

Take a look at the CfP.

Update 25/6/2015: Due to technical problems the deadlines have been extended by another week.

Updated:

You May Also Enjoy

On Games and Simulations

9 minute read

This is a guest blog by Hans-Dieter Hiep, a student from Vrije Universiteit Amsterdam who worked with me to build a GUI for our work on game-based (bi)simula...

A MOOC on system validation is born

less than 1 minute read

Exciting news! Today the MOOC on system validation that I have developed with Mohammad Reza Mousavi from Halmstad University has started. The MOOC is based o...

WSFM/BEAT 2015 Deadline Approaching

less than 1 minute read

This year, the Workshop on Web Services and Formal Methods (WS-FM) and the Workshop on Behavioural Types have joined forces, forming the International Sympos...