Full or Associate Professor evaluation committees:
Information and Control, SIAM Journal on Computing, Mathematical Systems Theory, Journal of Computer and Systems Sciences, Theoretical Computer Science, Journal of ACM, Mathematical Reviews, Computing Reviews, Acta Informatica, New Generation Computing (and more).
Refereeing for publishing firms:
Prentice Hall, Addison Wesley, John Wiley, Mit Press, Cambridge University Press (and more).
Evaluation for granting agencies:
National Science Foundation.
TFR (Swedish Technical Sciences Research Council).
Academy of Finland and the Research Council for Natural Sciences and Engineering.
European Union Esprit Program.
Evaluation for European Union
Esprit Projects (yearly evaluations):
Evaluation of Computer Science Departments:
Göteborg,
Karlskrona,
Karlstad,
Linköping,
Lund,
Luleå,
Malardalen,
Royal Technical University,
Skövde,
Umeå,
Uppsala,
Växjö.
| Acronym | Year | Roles | Conference Name |
|---|---|---|---|
| SDCG | 1980 | Pchair, Gchair | Semantics-Directed Compiler Generation |
| PDO | 1985 | Pchair, Gchair | Programs as Data Objects |
| POPL | 1987 | ACM Principles of Programming Languages | |
| PEMC | 1987 | Pchair | Partial Evaluation and Mixed Computation |
| PLILP | 1988 | Programming Language Implementation and Logic Programming | |
| ESOP | 1990 | Pchair, Gchair | European Symposium on Programming |
| ICALP | 1991 | International Conference on Automata, Languages and Programming | |
| LICS | 1991 | Logic in Computer Science | |
| PEPM | 1991 | Pchair | Partial Evaluation and Semantics-Based Program Manipulation |
| PEPM | 1992 | Partial Evaluation and Semantics-Based Program Manipulation | |
| PEPM | 1993 | Partial Evaluation and Semantics-Based Program Manipulation | |
| ICCL | 1993 | International Conference on Computer Languages | |
| WSA | 1993 | Workshop on Static Analysis | |
| MFCS | 1993 | Mathematical Foundations of Computer Science. | |
| IFIP | 1994 | IFIP miniworkshop on Theory and Practice in Program Speedups. | |
| PEPM | 1995 | Gchair | Partial Evaluation and Semantics-Based Program Manipulation |
| SAS | 1996 | Static Analysis Symposium | |
| MFPS | 1997 | Mathematical Foundations of Programming Semantics | |
| TACS | 1997 | Theoretical Aspects of Computer Software | |
| POPL | 1997 | Pchair | ACM Principles of Programming Languages |
| POPL | 1998 | ACM Principles of Programming Languages | |
| PICM | 1998 | Gchair, Pchair | Programs: Improvements, Complexity, and Meanings |
| PADL | 1999 | Practical Aspects of Declarative Languages | |
| CSL | 1999 | Computer Science Logic | |
| ICC | 1999 | Implicit Computational Complexity | |
| LPAR | 1999 | Logic for Programming and Automated Reasoning | |
| ICC | 2000 | Implicit Computational Complexity | |
| SAS | 2000 | Static Analysis Symposium | LPAR | 2000, 2001 | Logic for Programming and Automated Reasoning |
| SAS | 2001 | Static Analysis Symposium | |
| FLOC | 2002 | Local Organization Chair | Federated Logic Conferences |
| ICC | 2002 | WORKSHOP on IMPLICIT COMPUTATIONAL COMPLEXITY | |
| ASIA-PEPM | 2002 | ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation | |
| LPAR | 2002, 2003 | Logic for Programming, Artificial Intelligence and Reasoning | |
| PADL | 2003 | Practical Applications of Declarative Languages | |
| POPL | 2004 | Gchair | ACM Principles of Programming Languages |
| NWPT | 2005 | Gchair | Nordic Workshop on Programming |
| VMCAI | 2006 | Verification, Model Checking and Abstract Interpretation | |
| VMCAI | 2007 | Verification, Model Checking and Abstract Interpretation | |
| VMCAI | 2009 | Pchair | Verification, Model Checking and Abstract Interpretation |
| SAS | 2010 | Static Analysis Symposium |