Lectured in Europe, Japan, New Zealand, and North-America

Invited Speaker (selection): Lecture Series "Collegium Logicum", Kurt Goedel Society, University of Technology, Vienna, Austria, 1995. "The Foundational Debate. Complexity and Constructivity in Mathematics and Physics", Vienna, Austria, September, 1994. Symposium "Important Results and Trends in Theoretical Computer Science", Graz, Austria, 1994, Schloss Dagstuhl. Seminar on "Structure on Complexity", Dagstuhl, Saarbruecken, Germany, 1994. ROSYCS'93, Iasi, Romania, 1993. Conference "Developments in Language Theory", The University of Turku, Finland, 1993, Seminar on "Computability and Complexity in Analysis", Dagstuhl, Saarbruecken, Germany, 1997

Invited speaker for the seminar "Order, Complexity and Beauty", a core part of the Project "Third Culture Copenhagen" organized by the Danish Mindship Foundation, in celebrating Copenhagen Cultural Capital of Europe (July-August,1996). Click here for some papers relevant for this seminar. Click here to get some pictures

EATCS Bulletin Regular Contributor

Contributor to Routledge Encyclopedia of Philosophy

Co-organiser of (selection):

Member PC (selection): ICALP'95, DMTCS'96, CATS'97, ACSC'97, 'Internet as a Vehicle for Teaching', 1997, UMC'98, CATS'98, Randomized Algorithms, and Molecular Computing, Satellite Workshops to MFCS'98, DMTCS'99-CATS'99, , FCT'99, CCF'99, AMAST'2000, Third International Colloquium on Words, Languages and Combinatorics, 2000, UMC2K.

In charge of the home-page of the CDMTCS