Formal Model Research Group

2012

Mathematical Foundations of Formal Language Theory, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, start: 2012-01-01, end: 2012-12-31, completed

2010

Context-free languages and pushdown automata, MŠMT, KONTAKT, MEB041003, start: 2010-01-01, end: 2011-12-31, completed

2007

Inovative Approach to the Compiler Projects, FR673/2007/G1, start: 2007-01-01, end: 2007-12-31, completed

Multi-Information Technologies, GACR, Standardní projekty, GA201/07/0005, start: 2007-01-01, end: 2009-12-31, completed

Teaching of Formal Language Theory at the International Level of EU, FR762/2007/G1, start: 2007-01-01, end: 2007-12-31, completed

2006

Didactic Demonstration of Formal Language Models, FR1909/2006/G1, start: 2006-01-01, end: 2006-12-31, completed

Virtual Laboratory of Microprocessor Technology Application, MŠMT, Informační technologie pro znalostní společnost, 2C06008, start: 2006-07-01, end: 2011-06-30, completed

2005

Innovation of Courses: Post-Relational Database Systems, Functional and Logic Programming, FR1246/2005/F1, start: 2005-01-01, end: 2005-12-31, completed

2004

Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed