"Applications of Programming Languages and Formal Methods: Experience and Future Directions" presentation by Stefan Muller.
October 15, Wednesday @ ITE 201 conference room, 12.15 - 1.15 PM and on WEBEX https://tinyurl.com/ResearchMuller
Link to the flyer: https://tinyurl.com/TalkMuller
For more information, contact: Olga Glebova at olga.glebova@gmail.com