Výzkumná skupina formálních modelů

2012

Matematické základy teorie formálních jazyků, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, zahájení: 2012-01-01, ukončení: 2012-12-31, ukončen

2010

Bezkontextové gramatiky a zásobníkové automaty, MŠMT, KONTAKT, MEB041003, zahájení: 2010-01-01, ukončení: 2011-12-31, ukončen

2007

Inovativní přístup k projektům z oblasti překladačů, FR673/2007/G1, zahájení: 2007-01-01, ukončení: 2007-12-31, ukončen

Multiinformační technologie, GAČR, Standardní projekty, GA201/07/0005, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen

Výuka teoretické informatiky na mezinárodní úrovni EU, FR762/2007/G1, zahájení: 2007-01-01, ukončení: 2007-12-31, ukončen

2006

Didaktické demonstrace modelů pro popis formálních jazyků, FR1909/2006/G1, zahájení: 2006-01-01, ukončení: 2006-12-31, ukončen

Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT, Informační technologie pro znalostní společnost, 2C06008, zahájení: 2006-07-01, ukončení: 2011-06-30, ukončen

2005

Inovace předmětů Funkcionální a logické programování a Postrelační databáze, FR1246/2005/F1, zahájení: 2005-01-01, ukončení: 2005-12-31, ukončen

2004

Optimally Integrated Models of Modern Information Technologies, GAČR, Standardní projekty, GA201/04/0441, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen