Events

MEMICS'08 -- 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Znojmo 14.-16.11.2008

MEMICS'08 provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science with a special focus on the various aspects of parallel and distributed systems

Programme Committee (members from FIT)

Češka Milan, prof. RNDr., CSc., UITS FIT VUT, chairman
Hanáček Petr, doc. Dr. Ing., UITS FIT VUT
Kolář Dušan, doc. Dr. Ing., UIFS FIT VUT
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT, chairman
Křena Bohuslav, Ing., Ph.D., UITS FIT VUT
Švéda Miroslav, prof. Ing., CSc., UIFS FIT VUT
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT, chairman

Section moderators (members from FIT)

Češka Milan, prof. RNDr., CSc., UITS FIT VUT, Artificial Intelligence
Hanáček Petr, doc. Dr. Ing., UITS FIT VUT, Petr Hanáček
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT, Computer Systems 3
Křena Bohuslav, Ing., Ph.D., UITS FIT VUT, Concurrent Bugs: How to Eliminate Them or Render Them Harmless
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT, Parameterized Verification via Monotonic Abstraction

Selected publications

2008ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008, pp. 3-11. ISBN 978-80-7355-082-0.
 ANTOŠ David, ČEŠKA Milan, KOTÁSEK Zdeněk, KŘETÍNSKÝ Mojmír, MATYSKA Luděk and VOJNAR Tomáš, ed. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. ISBN 978-80-7355-082-0.
 GAJDA Zbyšek. Polymorphic Circuit Design. MEMICS 2008 - Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008. ISBN 978-80-7355-082-0.
 MIKUŠEK Petr and DVOŘÁK Václav. On Lookup Table Cascade-Based Realizations of Arbiters. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 261-261. ISBN 978-80-7355-082-0.
 NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008, pp. 177-183. ISBN 978-80-7355-082-0.
 PECHO Peter and ZBOŘIL František. Wireless sensor network agent platform with support for cryptographic protocols. In: MEMICS proceedings. Brno: Masaryk University, 2008, pp. 192-199. ISBN 978-80-7355-082-0.
 STRAKA Martin and KOTÁSEK Zdeněk. Design of FPGA-Based Dependable Systems. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 240-247. ISBN 978-80-7355-082-0.
 ŠIMEK Václav, VAŠÍČEK Zdeněk and SLANÝ Karel. Can the performance of GPGPU really beat CPU in evolutionary design task?. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 264-264. ISBN 978-80-7355-082-0.
 ŠKARVADA Jaroslav, KOTÁSEK Zdeněk and HERRMAN Tomáš. Power Conscious RTL Test Scheduling. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 265-265. ISBN 978-80-7355-082-0.

Your IPv4 address: 54.166.232.243
Switch to IPv6 connection

DNSSEC [dnssec]