Miscellaneous scientific activities
Regular reviewer for the following journals:
Zentralblatt für Mathematik und ihre Grenzgebiete 1962- .
Journal of Symbolic Logic 1968- .
Mathematical Reviews 1968- .
Computing Reviews 1970- .
Program committee member for the following conferences:
- First ICALP Conference, Paris, 1972.
- Second ICALP Conference, Saarbrücken, 1974.
- Biologically Motivated Automata Theory, MITRE, Virginia, 1974.
- Automata, Languages, Development, Noordwijkerhout, 1975.
- Uniformly Structured Automata and Logic, Tokyo, 1975.
- Third ICALP, Edinburgh, 1976.
- Fourth ICALP, Turku, 1977 (chairman of the program committee).
- Theoretical Computer Science, University of Waterloo, 1977.
- International Congress of Mathematicians, Helsinki, 1978.
- Sixth ICALP, Graz, 1979.
- Seventh ICALP, Noordwijkerhout, 1980.
- Eighth ICALP, Haifa, 1981.
- ACM Symposium on Theory of Computing (STOC), Milwaukee, 1981.
- FCT, Szeged, 1981.
- MFCS, High Tatras, 1981.
- Ninth ICALP, Aarhus, 1982.
- FCT, Linköping, 1983.
- Eleventh ICALP, Antwerp, 1984.
- Parallel Processing, Berlin, 1984.
- Twelfth ICALP, Napflion, 1985.
- FCT, Berlin, 1985.
- International Congress of Mathematicians, Berkeley, 1986.
- MFCS, Bratislava, 1986.
- Parallel Processing (PARCELLA), Berlin, 1986.
- FCT, Kazan, 1987.
- MFCS, Prague, 1988.
- Fifteenth ICALP, Tampere, 1988 (chairman).
- Sixteenth ICALP, Stresa, 1989.
- FCT, Szeged, 1989.
- MFCS, Banska Bystrica, 1990.
- Nineteenth ICALP, Wien, 1992.
- MFCS, Praha, 1992.
- Developments in Language Theory, Turku, 1993 (chairman).
- MFCS, Kosice 1994.
- Twenty-Second ICALP, Szeged, 1995.
- Developments in Language Theory, Magdeburg, 1995.
- Developments in Language Theory, Thessaloniki, 1997.
- Machines et Calculs Universels, MCU'98, Metz.
- Eurocrypt-98, Helsinki.
- ICALP-98, Aalborg.
- Half Century of Automata Theory, London, 2000.
- Universal Machines and Computations, MCU'01, Moldavia.
- Developments in Language Theory, Wien, 2001.
- COCOON'02, Singapore, 2002.
- Developments in Language Theory, Szeged, 2003.
- International Kalmar Symposium, Szeged, 2003.
- Descriptional Complexity of Formal Systems (DCFS), London, 2004.
- Universal Machines and Computations, MCU'04, St. Petersburg.
- Descriptional Complexity of Formal Systems (DCFS), Como, 2005.
- Descriptional Complexity of Formal Systems (DCFS), New Mexico, 2006.
- FCT, Budapest, 2007.
Member of the Academy of Sciences of Finland 1970-- .
Member of the Swedish Academy of Sciences of Finland 1980-- .
Member of the Academia Europaea 1992-- .
Member of the Hungarian Academy of Sciences 1998-- .
Referee and member of numerous selection committees for professorships
in mathematics and computer science, as well as of selection committees
for inviting conference speakers and awarding prizes in computer
science. Chairman of a 3-man IMU committee for choosing the winner of
the first Nevanlinna prize. Member of the Board of the Nevanlinna
Institute 1987-- and organizer of the Institute's Thematic Year for
Theoretical Computer Science 1988--1989.
Member of the international committee awarding the first Gödel
prize 1993. Chairman of the committee (consisting of S. Cook, J. van
Leeuwen, R. Karp, R. Milner, M. Rabin) for 1993--94. Member of the
committee 1995.
Occasional referee of scientific journals other than those listed in
point 5), as well as conferences other than those listed in point 7).
Editor of the series of books "EATCS Monographs in Theoretical Computer
Science", Springer-Verlag 1983- .
Delivered the invited Kloosterman lectures in Leiden, May-June 1988.
Member of the international committee to evaluate research in computer
science and related areas in mathematics in Norway 1992.
Member of the coordinating committees of MFCS-, FCT- and
DLT-conferences.
Member of the European Molecular Computing Consortium, 1998-.
Member of the panel to evaluate four departments at the Helsinki
University 1999.
Member of the international committee to evaluate research in computer
science and related areas in mathematics in Norway 2002.