[1] 
		30 let SOFSEMu. CD www prezentace. Editor J. Bartošek, Česká informatická společnost, Brno 2003.
[2] Havel, I. M.: Neuronové počítače a jejich inteligence. In: SOFSEM ’88. Sborník referátů. Editor M. Bartošek, ÚVT UJEP, Brno 1988, 446 s.
[3] Hořejš, J., Kufudaki, O.: Počítače a mozek. In: SOFSEM ’88. Sborník referátů. Editor M. Bartošek, ÚVT UJEP, Brno 1988, 446 s.
[4] 
		SOFSEM ’95: Theory and practice of informatics. 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 – December 1, 1995: proceedings/Miroslav Bartošek, Jan Staudek, Jiří Wiedermann (eds.). — Berlin, Springer-Verlag 1995 (LNCS 1012).
[5] 
		
SOFSEM ’96: Theory and practice of informatics. 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23–30, 1996: proceedings/K. G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.). — Berlin, Springer 1996 (LNCS 1175). 
Zbl 0856.00051 
[6] 
		
SOFSEM ’97: Theory and practice of informatics. 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22–29, 1997: proceedings/František Plášil, Keith G. Jeffery (eds.). — Berlin, Springer 1997 (LNCS 1338). 
Zbl 0877.00016 
[7] 
		
SOFSEM ’98: Theory and practice of informatics. 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21–27, 1998: proceedings/Branislav Rovan (ed.). — Berlin, Springer 1998 (LNCS 1521). 
Zbl 0903.00077 
[8] 
		
SOFSEM ’99: Theory and practice of informatics. 26th Conference on Current Trends in Theory and practice of Informatics, Milovy, Czech Republic, November 27 – December 4, 1999: proceedings/Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.). — Berlin, Springer 1999 (LNCS 1725). 
MR 1784514 | 
Zbl 0931.00042 
[9] 
		
SOFSEM 2000: Theory and practice of informatics. 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 – December 2, 2000: proceedings/Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.). — Berlin, Springer 2000 (LNCS 1963). 
Zbl 0952.00053 
[10] 
		
SOFSEM 2001: Theory and practice of informatics. 28th Conference on Current Trends in Theory and Practice of Informatics, Piešťany, Slovak Republic, November 24 – December 1, 2001: proceedings/Leszek Pacholski, Peter Ružička (eds.). — Berlin, Springer 2001 (LNCS 2234). 
Zbl 0983.00059 
[11] 
		
SOFSEM 2002: Theory and practice of informatics. 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22–29, 2002: proceedings/William I. Grosky, František Plášil (eds.). — Berlin, Springer 2002 (LNCS 2540). 
Zbl 1045.68010 
[12] 
		
SOFSEM 2004: Theory and practice of computer science. 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24–30, 2004: proceedings/Peter Van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller (eds.). — Berlin, Springer 2004 (LNCS 2932). 
Zbl 1029.00070