1. A talk on the subject of “where do algorithms come from?” – logical programming approach.

2. What is constructive logics? (A short talk as a basis for discussion).

3. The most active participation in discussions on the subject of algorithms representations and
   the role of algorithmic thinking. (A short talk titled “Are there things like algorithmic and
   logical style of thinking?”

4. A debatable talk on the subject of “what should not be done” – status of program
   verification, parallel processing and some optimization methods.

5. A talk titled “Constructive analysis and algorithms over real numbers”.

6. A short talk titled “Is it really necessary to know it all?”

For the most part the above are short (5-10 minutes) “inoculating” presentations with deliberately
sharp statement of a question. I would like to make serious presentations on the subjects 1 and 5.

N. Nepeivoda