Pending talk
None
Selected given talks
TRACE MONOIDS AND THEIR DECISION PROBLEMS
	invited lecture given at MFCS'98
		held in Brno, Check Republic on August 23-28, 1998
UNIVERSAL POLYNOMIALS
	invited lecture given at MCU'98
		held in Metz, France on March 23-27, 1998
SOME DECISION PROBLEMS FOR TRACES
	invited lecture given at LFCS'97 (Logic Foundations of Computer Science)
		held in Yaroslavl, Russia on July 6-12, 1997
	published in Lecture Notes in Computer Science, 1234, pp. 248-257, 1997
SOME UNDECIDABLE PROBLEMS IN MATHEMATICAL ANALYSIS IMPLIED BY THE UNDECIDABILITY OF HILBERT'S TENTH PROBLEM
	a talk given at Banach Center (Warsaw, Poland)
		during workshop "Foundations of Arithmetic" (9 - 16 April 1996)
		in the framework of minisemester "Set theoretic Methods in Analysis"