Prof. Ernst Rank and the TUM-IAS team invite the scientists of TUM and their guests for coffee each Wednesday! Just come over to the TUM-IAS after lunch between 1:00 - 2:00 p.m. and have a coffee with us, meet other scientists and listen from time to time to a short talk (10-15 mins) on a recent major TUM publication or issue – aimed specifically at a non-expert audience.
On May 25, 2016, TUM-IAS Hans Fischer Senior Fellow Prof. Anca Muscholl (Computer Science) will talk about automated synthesis of controllers for distributed programs.
Relevant Publication:
Anca Muscholl, "Automated Synthesis of Distributed Controllers,” in Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Lecture Notes in Computer Science, vol. 9135, pp. 11-27, Springer, 2015, keynote lecture – doi: 10.1007/978-3-662-47666-6_2
We look forward to seeing you there!
Would you like to receive regular updates on Scientists Meet Scientists – Wednesday Coffee Talk? Just send a quick e-mail to schmidc(at)zv.tum.de!
An overview of upcoming Wednesday Coffee Talks can be found here: An overview of upcoming Wednesday Coffee Talks can be found here: www.ias.tum.de/events/coffee-talk