MeTRiD 2019:
2nd International Workshop on Methods and Tools for Rigorous System Design

With Panagiotis Katsaros, we are co-organising the MeTRiD 2019 workshop, which will be held in Prague, Czech Republic on April 6, 2019 as a satellite of ETAPS 2019.

Please submit your best work through EasyChair!