Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

RNDr. Libor Škarvada

Basic CV Supervisor Qualifications Publications Projects Teaching

2009

KOLLÁR, Matej - PETERKA, Ondřej - RYŠAVÝ, Ondřej - ŠKARVADA, Libor - KOLÁŘ, Dušan.
A Calculus of Coercive Subtyping. In Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. South Orange, NJ, USA : Seton Hall University, 2009. pp. 182-191. 2009, South Orange, NJ, USA.

A Calculus of Coercive Subtyping

KOLLÁR, Martin - PETERKA, Ondřej - RYŠAVÝ, Ondřej - ŠKARVADA, Libor.
A Calculus of Coercive Subtyping. In Technical Report FIMU-RS-2009-11. FI, Brno : Faculty of Informatics, MU Brno, 2009.

2007

Can Objects Have Dependent Types?

PETERKA, Ondřej - RYŠAVÝ, Ondřej - LORENC, Vítězslav - OSOVSKÝ, Martin - ŠKARVADA, Libor.
Can Objects Have Dependent Types?. In MEMICS 07. Brno : MU Brno, VUT Brno, 2007. ISBN 978-80-7355-077-6, pp. 161-168. 2007, Znojmo.

2005

Společenské hry jako motivační prostředek ve výuce chemie - interaktivní verze

CÍDLOVÁ, Hana - BŘÍZA, Michal - LOMOVCIVOVÁ, Eva - ŠKARVADA, Libor.
Společenské hry jako motivační prostředek ve výuce chemie - interaktivní verze. In XXIII. mezinárodní kolokvium o řízení osvojovacího procesu. Brno : Univerzita obrany, Fakulta ekonomiky a managementu, 2005. ISBN 80-85960-92-3, 5 pp. 19. května 2002, Vyškov.

Společenské karetní hry s chemickou problematikou

BERGEROVÁ, Martina - BŘÍZA, Michal - CÍDLOVÁ, Hana - GALLE, Pavel - HOLÁSKOVÁ, Jana - LOMOVCIVOVÁ, Eva - MATYÁŠEK, Jiří - MUSILOVÁ, Emilie - ŠKARVADA, Libor.
Společenské karetní hry s chemickou problematikou. 2005. link to a new window WWW

2002

Modelling Dialogue Systems by Finite Automata

KOPEČEK, Ivan - ŠKARVADA, Libor.
Modelling Dialogue Systems by Finite Automata. In Recent Advances in Natural Language Processing; Proceedings of the International Conference ICON 2002. Hyderabad : Vikas Publishing House, 2002. ISBN 81-259-1430-7, pp. 241-250. 2002, 18-21. 12. 2002 Mumbai.

1984

Interaktivní systém pro vývoj programu

SOJKA, Petr - ŠKARVADA, Libor.
Interaktivní systém pro vývoj programu. In Proceedings of SOFSEM '84. : 1984. pp. 350-354.

1983

Modely programů

SOJKA, Petr - ŠKARVADA, Libor.
Modely programů. In Proceedings of SOFSEM 83. : 1983. pp. 471-475.

top