Mgr. Roman Barták, Dr. e-mail: bartak@kti.mff.cuni.cz WWW: http://kti.mff.cuni.cz/~bartak research interests: Constraint and Logic Programming, Artificial Intelligence
?	Prof. RNDr. Petr Stepanek, DrSc. e-mail: stepanek@ksi.ms.mff.cuni.cz WWW: http://kocour.ms.mff.cuni.cz/people/stepanek.en.html research interests: Logic, Set Theory, Lambda Calculus, Logic Programming
?	RNDr. Jan Hric e-mail: hric@barbora.ms.mff.cuni.cz WWW: http://kti.mff.cuni.cz/~hric research interests: Logic and Functional Programming