Events

MEMICS'17 - 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Telč 13.-15.10.2017

Programme Committee (members from FIT)

Kofroň Jan, RNDr., Ph.D., Matematicko-fyzikální fakulta, Univerzita Karlova
Rogalewicz Adam, doc. Mgr., Ph.D., UITS FIT VUT, chairman
Šafránek David, Mgr., Fakulta informatiky MU

Selected publications

2017CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. In: Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017). Telč, 2017, pp. 1-1.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework (Presentation). MEMICS 2017: 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
 KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.

Your IPv4 address: 18.206.13.39