Plánujeme studovat intervaly ve svazech podgrup konečných jednoduchých grup, zejména sporadických, s cílem vyloučit určité svazy délky 2 jako možné příklady těchto intervalů. Tyto výsledky kombinované s nedávnými výsledky A. Lucchiniho a R.W. Baddeleyho by měly přinést velké zlepšení v našich znalostech struktury obecných konečných algeber. Také plánujeme zkoumat vlastnost rozšiřování kongruencí pro konečné svazy, která hrála nedávno podstatnou roli při řešení různých problémů o svazech kongruencí algeber daného typu. Také budeme zkoumat perfektní báze rovnicových teorií a jejich těsný vztah k široce diskutovanému pojmu systémů přepisujících termy. Budeme se snažit vyřešit některé z problémů, které zůstaly nezodpovězené v pracech Ježka, McNultyho,Freeseho a Nationa. (cs)