Personenprofil

Univ.Prof. Dipl.-Inf. Dr.rer.nat.

Jens Knoop

Telefon +43 1 58801 18510

E-Mailjens.knoop@tuwien.ac.at

Zugeordnet

E194	E194-05	E194-50

Visitenkarte

Forschungsabteilung

Name	Leitung/Mitglied
Institut für Information Systems Engineering	Leitung

Forschungsbereich

Name	Leitung/Mitglied
Services des Instituts	Leitung
Forschungsbereich Compilers and Languages	Leitung

Profil

Forschungsprofil (Deutsch):

1) Programmiersprachentheorie, -design, -implementierung2) Compiler und Compilerverifikation3) Formale Methoden4) Kompilierung für Echtzeitsysteme, eingebette Systeme.

Forschungsprofil (Englisch):

1) Programming language theory, design and implementation;2) Compilers, compiler verification; 3) Formal methods, tools and algorithms for static analysis, optimization and verification;4) Compilation for high-performance and real-time computing,multi-core and embedded systems, resource analysis, worst-caseexecution time analysis;

URL des Lebenslaufes:

http://www.complang.tuwien.ac.at/knoop/

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Optimierende Übersetzer	Optimizing Compilers
Programmanalyse und -verifikation	Program Analysis and Verification
Eingebettete Systeme	Embedded Systems
Programmiersprachen	Programming Languages
Programmiersysteme	Programming Systems

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	50
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	30
Information and Communication Technology	Distributed and Parallel Systems	Internet Engineering, Enterprise Engineering, Ambient Intelligence, Software Architectures, Theories and protocols for distributed and parallel systems, Security and Safety	20

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	50
Information SystemsEngineering	20
ComputerEngineering	30

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1105	Computer Software	Computer software
1106	Formale Sprachen	Formal languages

Referenzprojekte

Titel	Förderprogramm	Funktion	Webpage	Laufzeit von	Bis

			http://www.big.tuwien.ac.at/ad...		11.10.2015

Internationale Auszeichnungen

Verleihende Organisation	Land	Programm	Funktion	Name	Von	Bis	Webseite	Projekt ID
andere	Vereinigte St. v. Amerika	Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing undBernhard Steffen)		Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing undBernhard Steffen)	01.01.2003

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wiss. Beirat/Kuratorium/Institut	2015 Research Quality Review of the University College Cork (UCC)	Irland	Vorsitz	04/2014 - 04/2016	Chair of Panel F for Mathematics and Computer Science for the 2015 Research Quality Review of the University College Cork (UCC), Irland.
wissenschaftliche Gesellschaft	ACM SIGPLAN Executive Committee	Vereinigte St. v. Amerika	Mitglied	06/2003 - 06/2005	Sekretär/Schatzmeister. Mitglied des , 2003-2005.ACM SIGPLAN Executive Committee Secretary/Treasurer. Member of the ACM SIGPLAN Executive Committee, 2003-2005.
wiss. Beirat/Kuratorium/Institut	Advisory Board Competence Circle	Österreich	Mitglied	11/2008 -	Mitglied im Advisory Board Competence Circle. In Kooperation mit der Oesterreichischen Computergesellschaft (OCG). Seit 11/2008. Member of the Advisory Board Competence Circle. In Co-operation with the Austrian Computer Society (OCG). Since 11/2008.
wissenschaftliche Gesellschaft	EAPLS (European Association for Programming Languages and Systems)	Niederlande	Vorständin/Vorstand	07/2010 -	Generalsekretär des Leitungsgremium der European Association for Programming Languages and Systems (EAPLS). Seit 10.07.2010. General Secretary of the European Association for Programming Languages and Systems (EAPLS). Since 07/10/2010.
wissenschaftliche Gesellschaft	EAPLS (European Association for Programming Languages and Systems)	Niederlande	Vorständin/Vorstand	02/2007 - 07/2010	Vizepräsident des Leitungsgremium der European Association for Programming Languages and Systems (EAPLS). 02.02.2007-10.07.2010. Vice President of the European Association for Programming Languages and Systems (EAPLS). 02/02/2007-07/10/2010.
wissenschaftliche Gesellschaft	EAPLS (European Association for Programming Languages and Systems)	Niederlande	Vorständin/Vorstand	05/2006 -	Gewähltes Mitglied des Leitungsgremium der European Association for Programming Languages and Systems (EAPLS). Seit 05/2006. Elected Board Member of the European Association for Programming Languages and Systems (EAPLS). Since 05/2006.
wissenschaftliche Gesellschaft	EASST (European Association of Software Science and Technology)	Deutschland	Vorständin/Vorstand	04/2004 -	Mitglied im erweiterten Leitungsgremium der European Association of Software Science and Technology (EASST). Seit 04/2004. Extended Boards Member of the European Association of Software Science and Technology (EASST). Since 04/2004.
wissenschaftliche Gesellschaft	IFIP WG 2.4 Software Implementation Technology	Österreich	Vorständin/Vorstand	09/2011 -	Gewählter Sekretär / Elected Secretary.
wissenschaftliche Gesellschaft	IFIP WG 2.4 Software Implementation Technology	Österreich	Mitglied	03/2002 -	Voll stimmberechtigtes Mitglied seit 20.03.2002. Beobachter von 28.05.2000 bis 19.03.2002. Full Voting Member since 03/20/2002. Observer from 05/28/2000 through 03/19/2002
wissenschaftliche Gesellschaft	Leitungsgremium der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellsch. für Informatik	Deutschland	Vorständin/Vorstand	05/2013 - 05/2016
wissenschaftliche Gesellschaft	Leitungsgremium der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellsch. für Informatik	Deutschland	Mitglied	05/2010 - 05/2013	Gewählter Stv. Fachgruppensprecher im Leitungsgremium der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik. Elected Vice Chair (Stv. Fachgruppensprecher) of the Executive Committee of the Special Interest Group on "Programmiersprachen und Rechenkonzepte" of the German Computer Society.
wissenschaftliche Gesellschaft	Präsidium der Oesterreichischen Computergesellschaft (OCG) / Austrian Computer Society	Österreich	Vorständin/Vorstand	05/2013 - 05/2015	Gewählter Finanzreferent. Elected Treasurer.
wissenschaftliche Gesellschaft	Präsidium der Oesterreichischen Computergesellschaft (OCG) / Austrian Computer Society	Österreich	Vorständin/Vorstand	04/2011 - 05/2013	Gewählter stv. Finanzreferent. Elected Vice Treasurer.
wissenschaftliche Gesellschaft	Vorstand der Oesterreichischen Computergesellschaft (OCG) / Austrian Computer Society	Österreich	Vorständin/Vorstand	04/2007 - 03/2009	Vertreter der Einzelmitglieder (im Vorstand neben Präsidium und Erweitertem Präsidium).

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
ACM Transactions in Embedded Computing Systems (TECS)	SCIE (Science Citation Index Expanded)	Ja	Reviewer	09/2009 -	Quarterly.
ACM Transactions on Architecture and Code Optimization (TACO)	SCIE (Science Citation Index Expanded)	Ja	Reviewer	03/2005 -	Quarterly.
ACM Transactions on Programming Languages and Systems (TOPLAS)	SCI (Science Citation Index)	Ja	Reviewer	02/1992 -	Bimonthly.
Acta Informatica	SCI (Science Citation Index)	Ja	Reviewer	03/1994 -	Monthly.
Central European Journal of Computer Science	unklassifiziert	Ja	Editorial board	11/2010 -
Concurrency and Computation: Practice and Experience	SCI (Science Citation Index)	Ja	Reviewer	01/2002 -	Monthly.
Electronic Communications of the EASST (EC-EASST)	unklassifiziert	Ja	Editorial board	05/2006 -	EC-EASST is a fully peer-reviewed, scientific, open access on-line journal: http://www.easst.org/eceasst/.
Electronic Communications of the EASST (EC-EASST)	unklassifiziert	Ja	Reviewer	05/2010 -
Electronic J.UCS Journal of Universal Computer Science	unklassifiziert	Ja	Reviewer	09/2002 -	Articles published in J.UCS are indexed and reviewed among others in: Elsevier Bibliographic Databases, MathSciNet and Mathematical Reviews, ISI, Zentralblatt für Mathematik, CompuScience/CompuTex Database, DBLP Computer Science Bibliography Server.
Electronic Notes in Theoretical Computer (ENTCS)	unklassifiziert	Ja	Reviewer	12/2001 -
Formal Method Letters	unklassifiziert	Ja	Editorial board	10/2003 -	Special Section of the International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag, Heidelberg, Germany.
Formal Method Letters	unklassifiziert	Ja	Editor	06/2009 -	Special Section of the International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag, Heidelberg, Germany.
Formal Method Letters	unklassifiziert	Ja	Reviewer	03/2005 -	Springer-Verlag, Heidelberg, Germany. ISSN 1433-2779 (Print), 1433-2787 (Online). Special Section of the International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag, Heidelberg, Germany.
Formal Methods in System Design	SCIE (Science Citation Index Expanded)	Ja	Reviewer	03/2010 -
IEEE Transactions on Parallel and Distributed Systems (TPDS)	SCI (Science Citation Index)	Ja	Reviewer	03/1998 -	Monthly.
Informatik: Forschung und Entwicklung	unklassifiziert	Ja	Reviewer	11/1993 -
International Journal of Parallel and Distributed Systems and Networks	unklassifiziert	Ja	Reviewer	02/2002 -
International Journal on Information and Software Technology	SCIE (Science Citation Index Expanded)	Ja	Reviewer	11/2008 -
International Journal on Innovations in Systems and Software Engineering	unklassifiziert	Ja	Reviewer	05/2011 -
International Journal on Parallel Programming (IJPP)	SCIE (Science Citation Index Expanded)	Ja	Reviewer	02/2011 -
International Journal on Software Tools for Technology Transfer (STTT)	unklassifiziert	Ja	Reviewer	06/1998 -
Journal of .Net Technologies	unklassifiziert	Ja	Reviewer	03/2006 -
Journal of Computer Science and Technology (JCST)	SCI (Science Citation Index)	Ja	Reviewer	04/2013 - 03/2023
Journal of Higher-Order and Symbolic Computation	unklassifiziert	Ja	Reviewer	01/2002 -
Journal of Symbolic Computation	SCI (Science Citation Index)	Ja	Reviewer	02/2002 -	Monthly.
Science of Computer Programming	SCI (Science Citation Index)	Ja	Reviewer	02/2005 -	Monthly.
Scientific Programming	unklassifiziert	Ja	Reviewer	08/2001 -
Software:Practice and Experience	SCI (Science Citation Index)	Ja	Reviewer	08/2000 -	Monthly.
The Computer Journal	SCI (Science Citation Index)	Ja	Reviewer	03/1994 -	Bimonthly.
The EASST Newsletter	unklassifiziert	Ja	Editor	04/2004 -	EASST (European Association of Software Science and Technology) Newsletter.

F&E Aktivitäten

Beschreibung	Von	Bis
Andere Kategorien
ACM SIGPLAN 2009 Programming Languages Design and Implementation (PLDI) PC Award Committee. Committee to name the recipients of the distinguished paper awards.	04/2009	10/2009
ACM SIGPLAN 2009 Programming Languages Design and Implementation (PLDI) PC Award Committee. Committee to name the recipients of the paper invitations for a special issue of the ACM Transactions on Programming Languages and Systems (ACM TOPLAS).	04/2009	10/2009
Auswahlkomiteemitglied. Komitee zur Vergabe von 12 ETAPS-Förderpreisen zur Teilnahme an der KonferenzETAPS 2008, 2008	02/2008	04/2008
Beratungsausschussmitglied. European Conference Series on Parallel Processing (Euro-Par), seit 2000.	06/2000	12/9999
Dr. Stefan Brunthaler, University of California, Irvine, Kolloquiumsvortrag, 11.10.2012.	10/2012	10/2012
Eingeladener Hauptvortrag. 11th International Workshop on Abstract State Machines (ASM 2004), (Wittenberg, Deutschland, 24.-28. Mai 2004).	05/2004	05/2004
Eingeladener Hauptvortrag. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Pilsen, Tschechien, 29. Mai - 1. Juni 2006).	03/2006	06/2006
Eingeladener Hauptvortrag. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), (Timisoara, Rumänien, 26.-30. September 2004).	09/2004	09/2004
Eingeladener Vortrag. 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology (Erhard Ploederer, Vorsitzender), Brisbane, Australien, 14. - 19. März 2004.	03/2004	03/2004
Eingeladener Vortrag. 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology (Erhard Ploederer, Vorsitzender), Jackson's Mill, Weston, West Virginia, USA, 2.-7. Oktober 2005.	10/2005	10/2005
Eingeladener Vortrag. 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology (Erhard Ploederer, Vorsitzender), Glasgow, Scotland, 16.-21. Juli 2006.	07/2006	07/2006
Externer Gutachter der Promotionskommission. Promotionsverfahren, Tata Institute of Fundamental Research, Mumbai, Indien (Shivali Agarwal).	01/2009	05/2009
Externer Gutachter und Mitglied der Promotionskommission. Promotionsverfahren, Martin-Luther-Universität Halle-Wittenberg, Deutschland (Dipl.-Inform. Dirk Richter).	11/2011	02/2012
Externer Gutachter und Mitglied der Promotionskommission. Promotionsverfahren, TU Dortmund, Deutschland (Dipl.-Inform. Sven Jörges).	10/2011	12/2011
Externer Gutachter und Mitglied der Promotionskommission. Promotionsverfahren, Universität Paderborn, Deutschland (Dipl.-Inform. Karsten Klohs).	02/2009	04/2009
Externer Gutachter und Mitglied des Promotionsausschusses. Promotionsverfahren, TU Berlin, Deutschland, (Dipl.-Inform. Lars Alvincz).	02/2009	07/2009
Externer Gutachter. Promotionsverfahren, FernUniversität in Hagen, Deutschland (Dipl.-Math. Dipl.-Inform. Ursula Scheben).	10/2006	01/2007
Externer Gutachter. Promotionsverfahren, Friedrich-Schiller-Universität Jena, Deutschland (Dipl.-Inform. Andreas Hartmann).	04/2006	09/2006
Externer Gutachter. Promotionsverfahren, The University of New South Wales, Sydney, Australia (Lian Li, MSc).	04/2007	08/2007
Externer Gutachter. Promotionsverfahren, The University of New South Wales, Sydney, Australia (Qiong Cai, MSc).	05/2006	09/2006
Externer Gutachter. Promotionsverfahren, Universität Tel-Aviv, Israel (Noam Rinetzky).	08/2008	02/2009
Gastgeber, zusammen mit dem CD Labor "Compilation Techniques for Embedded Processors". Dr. Ian Rogers, University of Manchester, England, Kolloquiumsvortrag, 02.08.2006.	08/2006	08/2006
Gastgeber, zusammen mit dem CD Labor "Compilation Techniques for Embedded Processors". Dr. Michael Gschwind, IBM Thomas J. Watson Research Center, NY, USA, Kolloquiumsvortrag, 04.09.2007.	09/2007	09/2007
Gastgeber. Ao.Prof. Dr. Tudor Jebelean. Johannes Kepler Universität Linz, Research Institute for Symbolic Computation (RISC), Österreich, Kolloquiumsvortrag, 04.02.2009.	02/2009	02/2009
Gastgeber. Ass.Prof. Adriana Popovici, University of the West Timisoara, Rumänien, Kolloquiumsvortrag, 18.02.2004.	02/2004	02/2004
Gastgeber. Ass.Prof. Dr. Matthias Hauswirth, University of Lugano, Schweiz, Kolloquiumsvortrag, 25.05.2011.	05/2011	05/2011
Gastgeber. Ass.Prof. Dr. Sanjay Misra, Department of Computer Engineering, Atilim University, Ankara, Türkei, Kolloquiumsvortrag, 04.07.2008.	07/2008	07/2008
Gastgeber. Daniel Lesko, Eötvös Lorand University, Budapest, Ungarn, Kolloquiumsvortrag, 20.04.2016.	04/2016	04/2016
Gastgeber. Dejice Jacob, University of Glasgow, Scotland, UK, Kolloquiumsvortrag, 20.07.2016.	07/2016
Gastgeber. Dipl.-Inf. Lars Alvincz, Technische Universität Berlin, Deutschland, Kolloquiumsvortrag, 13.01.2009.	01/2009	01/2009
Gastgeber. Dipl.-Inform. Andreas Hartmann, Friedrich-Schiller-Universität Jena, Deutschland, Kolloquiumsvortrag, 29.04.2005.	04/2005	05/2005
Gastgeber. Dipl.-Inform. Karsten Klohs, Universität Paderborn, Paderborn, Deutschland, Kolloquiumsvortrag, 04.12.2007.	12/2007	12/2007
Gastgeber. Dipl.-Inform. Rebekka Neumann, Universität Paderborn, Paderborn, Deutschland, Kolloquiumsvortrag, 27.02.2009.	02/2009	02/2009
Gastgeber. Dipl.-Ing. Harald Leitenmüller, CTO, Microsoft, Österreich, Kolloquiumsvortrag, 22.11.2011.	11/2011	11/2011
Gastgeber. Dipl.-Ing. Herbert Jordan, Universität Innsbruck, Österreich, Kolloquiumsvortrag, 28.01.2014.	01/2014	01/2014
Gastgeber. Dipl.-Medieninf. Christian Piechnick und Dipl.-Medieninf. Claas Wilke, TU Dresden, Deutschland, Kolloquiumsvortrag, 10.04.2012.	04/2012	04/2012
Gastgeber. Doug Simons, Sun Labs, Oracle, Schweiz, Kolloquiumsvortrag, 20.09.2010.	09/2010	09/2010
Gastgeber. Dr. Baltasar Trancón y Widemann, Universität Bayreuth, Deutschland, Kolloquiumsvortrag, 14.12.2009.	12/2009	12/2009
Gastgeber. Dr. Bernhard Scholz, School of Information Technologies, The University of Sydney, Australien, Kolloquiumsvortrag, 26.02.2009.	02/2009	02/2009
Gastgeber. Dr. Bernhard Scholz, School of Information Technologies, The University of Sydney, Australien, Kolloquiumsvortrag, 29.07.2005.	07/2005	07/2005
Gastgeber. Dr. Christian Heinlein, Universität Ulm, Deutschland, Kolloquiumsvortrag, 27.06.2006.	06/2006	06/2006
Gastgeber. Dr. Christian W. Probst, University of California, Irvine,CA, USA, Kolloquiumsvortrag, 16.06.2004.	06/2004	06/2004
Gastgeber. Dr. Cristina Cifuentes, Oracle Labs, Brisbane, Australien, Kolloquiumsvortrag, 23.02.2017.	02/2017
Gastgeber. Dr. Dan Quinlan, Lawrence Livermore National Laboratory, CA, USA, Kolloquiumsvortrag, 07.06.2004.	06/2004	06/2004
Gastgeber. Dr. David Broman, University of California at Berkeley, Kolloquiumsvortrag, 04.10.2012.	10/2012	10/2012
Gastgeber. Dr. David F. Bacon, IBM Thomas J. Watson Research Center, NY, USA, Kolloquiumsvortrag, 06.10.2006.	10/2006	10/2006
Gastgeber. Dr. David Gregg, Trinity College Dublin, Ireland, Kolloquiumsvortrag, 22.09.2008.	09/2008	10/2008
Gastgeber. Dr. Falk Schreiber, IPK Gatersleben (Leibniz Institut),Gatersleben, Deutschland, Kolloquiumsvortrag, 27.06.2005.	06/2005	06/2005
Gastgeber. Dr. Florian Brandner, INRIA / Ecole Normale Superieure de Lyon (ENS Lyon), Frankreich, Kolloquiumsvortrag, 27.05.2011.	05/2011	05/2011
Gastgeber. Dr. Gergö Barany, CEA LIST Software Reliability Laboratory, Paris, Frankreich, Kolloquiumsvortrag, 01.03.2016.	02/2016	03/2016
Gastgeber. Dr. Laura Kovács, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Schweiz, Kolloquiumsvortrag, 28.11.2008.	11/2008	11/2008
Gastgeber. Dr. Lian Li, Sun Labs, Oracle, Brisbane, Australien, Kolloquiumsvortrag, 10.09.2010.	09/2010	09/2010
Gastgeber. Dr. Markus Schordan, Lawrence Livermore National Laboratory, Livermore, CA, USA, Kolloquiumsvortrag, 03.10.2014.	10/2014	10/2014
Gastgeber. Dr. Markus Schordan. Lawrence Livermore National Laboratory, Livermore, CA, USA, Kolloquiumsvortrag, 22.05.2015.	05/2015	05/2015
Gastgeber. Dr. Markus Schordan. University of Applied Sciences Technikum Wien, Wien, Österreich, Kolloquiumsvortrag, 04.02.2009.	02/2009	02/2009
Gastgeber. Dr. Michael Gschwind, IBM Corp., Poughkeepsie, NY, USA, Kolloquiumsvortrag, 08.08.2013.	08/2013	08/2013
Gastgeber. Dr. Michael Gschwind, IBM Corp., Poughkeepsie, NY, USA, Kolloquiumsvortrag, 23.01.2014.	01/2014	01/2014
Gastgeber. Dr. Nikolaj Popov. Johannes Kepler Universität Linz, Research Institute for Symbolic Computation (RISC), Österreich, Kolloquiumsvortrag, 04.02.2009 & 05.02.2009.	02/2009	02/2009
Gastgeber. Dr. Oliver Rüthing, Universität Dortmund, Deutschland, Kolloquiumsvortrag, 27.01.2006.	01/2006	01/2006
Gastgeber. Dr. Raimund Kirner, University of Hertfordshire, Hatfield, England, Kolloquiumsvortrag, 04.06.2010.	06/2010	06/2010
Gastgeber. Dr. Ursula Scheben, FernUniversität in Hagen, Deutschland, Kolloquiumsvortrag, 21.09.2007.	09/2007	09/2007
Gastgeber. Dr. Volker Braun, IVU Traffic Technologies AG, Aachen, Deutschland, Kolloquiumsvortrag, 17.12.2008.	12/2008	12/2008
Gastgeber. Dr. Walther Neuper, Technische Universität Graz, Graz, Österreich, Kolloquiumsvortrag, 02.06.2010.	06/2010	06/2010
Gastgeber. Dr. Werner M. Dietl, University of Washington, WA, USA, Kolloquiumsvortrag, 05.08.2011.	08/2011	08/2011
Gastgeber. Dr. Werner M. Dietl, University of Washington, WA, USA, Kolloquiumsvortrag, 24.01.2011.	01/2011	01/2011
Gastgeber. Dr. Xavier Rival, INRIA Roquencourt / Ecole Normale Supérieure (ENS Paris), Frankreich, Kolloquiumsvortrag, 04.09.2012.	09/2012	09/2012
Gastgeber. Madalina Erascu, M.Sc., Johannes Kepler Universität Linz, Research Institute for Symbolic Computation (RISC), Österreich, Kolloquiumsvortrag, 04.02.2009.	02/2009	02/2009
Gastgeber. Mani Swaminathan, M.Techn., Carl von Ossietzky Universität Oldenburg, Deutschland, Kolloquiumsvortrag, 07.09.2010.	09/2010	09/2010
Gastgeber. Mani Swaminathan, MTech, Carl von Ossietzky Universität Oldenburg, Deutschland, Kolloquiumsvortrag, 07.09.2010.	09/2010	09/2010
Gastgeber. Mason Chang, M.Sc., University of California, Irvine, CA, USA, Kolloquiumsvortrag, 29.04.2011.	04/2011	04/2011
Gastgeber. Priv.Doz. Dr. habil. Raimund Kirner, University of Hertfordshire, Hatfield, England, Kolloquiumsvortrag, 20.06.2013.	06/2013	06/2013
Gastgeber. Priv.Doz. Dr. habil. Raimund Kirner, University of Hertfordshire, Hatfield, England, Kolloquiumsvortrag, 28.09.2012.	09/2012	10/2012
Gastgeber. Prof. Alan Hu, Ph.D., University of British Columbia, Vancouver, BC, Kanada, Kolloquiumsvortrag, 22.01.2010.	01/2010	01/2010
Gastgeber. Prof. Datin Dr. Siti Rahayah Ariffin, Dean of Education Faculty, Universiti Kebangsaan Malaysia, 11.07.2008.	07/2008	07/2008
Gastgeber. Prof. Dr. Albert M.K. Cheng, University of Houston, TX, USA, Kolloquiumsvortrag, 15.04.2016.	04/2016	04/2016
Gastgeber. Prof. Dr. Alejandro Russo, Chalmers University of Technology, Gothenburg, Schweden, Kolloquiumsvortrag, 27.10.2016.	10/2016
Gastgeber. Prof. Dr. Alex Shafarenko, University of Hertfordshire, Hatfield, England, Kolloquiumsvortrag, 20.06.2013.	06/2013	06/2013
Gastgeber. Prof. Dr. Anatoly F. Tuzovsky, TU Tomsk, Tomsk, Russland, 04.12.2007-06.12.2007.	12/2007	12/2007
Gastgeber. Prof. Dr. Bernhard Scholz, School of Information Technologies, The University of Sydney, Australien, Kolloquiumsvortrag, 14.10.2013.	10/2013	10/2013
Gastgeber. Prof. Dr. Bernhard Steffen, Universität Dortmund, Deutschland, Kolloquiumsvortrag, 06.10.2004.	10/2004	10/2004
Gastgeber. Prof. Dr. Björn Lisper, Mälardalen Universitet, Västeras, Schweden, Kolloquiumsvortrag, 09.06.2010.	06/2010	06/2010
Gastgeber. Prof. Dr. C.A.R. Hoare, University of Oxford und Microsoft Research Cambridge, UK, Kolloquiumsvortrag, 27.11.2007.	11/2007	11/2007
Gastgeber. Prof. Dr. Christian Heinlein, Hochschule Aalen, Deutschland, Kolloquiumsvortrag, 13.02.2012.	02/2012	02/2012
Gastgeber. Prof. Dr. Christine Rochange. IRIT, Université Paul Sabatier, Toulouse, Frankreich, Kolloquiumsvortrag, 04.10.2013.	10/2013	10/2013
Gastgeber. Prof. Dr. Christoph W. Kessler, Universität Linköping, Linköping, Schweden, Kolloquiumsvortrag, 04.08.2009.	08/2009	08/2009
Gastgeber. Prof. Dr. Dr.h.c. Dines Bjorner, Danmarks Tekniske Universitet, Lyngby, Dänemark, Kolloquiumsvortrag, 12.04.2010.	04/2010	05/2010
Gastgeber. Prof. Dr. Dr.h.c. Dines Bjorner, Danmarks Tekniske Universitet, Lyngby, Dänemark, Kolloquiumsvortrag, 28.04.2010.	04/2010	05/2010
Gastgeber. Prof. Dr. Dr.h.c. Dines Bjorner, Gastvorlesung über "From Domains to Requirements" im Rahmen einer Gastprofessur.	04/2010	05/2010
Gastgeber. Prof. Dr. Dr.h.c.mult. Reinhard Wilhelm, Universität des Saarlandes, Saarbrücken, Deutschland, Kolloquiumsvortrag, 13.10.2011.	10/2011	10/2011
Gastgeber. Prof. Dr. Egon Börger, Universität Pisa, Italien, Kolloquiumsvortrag, 20.09.2005.	09/2005	09/2005
Gastgeber. Prof. Dr. Ernst-Rüdiger Olderog, Carl von Ossietzky Universität Oldenburg, Deutschland, Kolloquiumsvortrag, 07.09.2010.	09/2010	09/2010
Gastgeber. Prof. Dr. Ernst-Rüdiger Olderog, Carl von Ossietzky Universität Oldenburg, Deutschland, Kolloquiumsvortrag, 07.09.2010.	09/2010	09/2010
Gastgeber. Prof. Dr. Ernst-Rüdiger Olderog, Carl von Ossietzky Universität Oldenburg, Deutschland, Kolloquiumsvortrag, 13.12.2007.	12/2007	12/2007
Gastgeber. Prof. Dr. Franz Franchetti, Carnegie Mellon University, Pittsburgh, PA, USA, Kolloquiumsvortrag, 31.03.2011.	03/2011	04/2011
Gastgeber. Prof. Dr. Franz Franchetti, ECE Department, Carnegie Mellon University, Pittsburgh, PA, USA, Kolloquiumsvortrag, 04.07.2016.	07/2016	07/2016
Gastgeber. Prof. Dr. Franz Franchetti, ECE Department, Carnegie Mellon University, Pittsburgh, PA, USA, Kolloquiumsvortrag, 18.05.2015.	05/2015	05/2015
Gastgeber. Prof. Dr. Gerald Baumgartner, University of Louisiana, Baton Rouge, LA, USA, Kolloquiumsvortrag, 17.12.2015.	12/2015	12/2015
Gastgeber. Prof. Dr. Helmut Veith, TU München, Deutschland, Kolloquiumsvortrag, 18.10.2006.	10/2006	10/2006
Gastgeber. Prof. Dr. Jerzy Nawrocki, Poznan University of Technology, Posen, Polen, Kolloquiumsvortrag, 07.07.2016.	07/2016	07/2016
Gastgeber. Prof. Dr. Kokichi Futatsugi, JAIST - Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan, Kolloquiumsvortrag, 02.09.2004.	09/2004	09/2004
Gastgeber. Prof. Dr. Kokichi Futatsugi, JAIST - Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan, Kolloquiumsvortrag, 05.04.2012.	04/2012	04/2012
Gastgeber. Prof. Dr. Kokichi Futatsugi, JAIST - Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan, Kolloquiumsvortrag, 07.03.2011.	03/2011	03/2011
Gastgeber. Prof. Dr. Kokichi Futatsugi, JAIST - Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan, Kolloquiumsvortrag, 12.03.2008.	03/2008	03/2008
Gastgeber. Prof. Dr. Kokichi Futatsugi, JAIST - Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan, Vortrags- und Tutoriumsreihe, 18./25.07.2012-01./08.08.2012.	07/2012	08/2012
Gastgeber. Prof. Dr. Markus Müller-Olm, Universität Münster, Deutschland, Kolloquiumsvortrag, 10.12.2010.	12/2010	12/2010
Gastgeber. Prof. Dr. Mehdi Jazayeri, Universita della Svizzera italiana, Lugano, Schweiz, Kolloquiumsvortrag, 04.11.2009.	11/2009	11/2009
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine, CA, USA, Kolloquiumsvortrag, 15.04.2011.	04/2011	04/2011
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine, CA, USA, Kolloquiumsvortrag, 20.02.2015.	02/2015	02/2015
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine, CA, USA, Kolloquiumsvortrag, 24.01.2014.	01/2014	01/2014
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine, CA, USA, Kolloquiumsvortrag, 28.02.2011.	02/2011	03/2011
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine, CA, USA, Kolloquiumsvortrag, 31.08.2016.	08/2016
Gastgeber. Prof. Dr. Michael Franz, University of California, Irvine,CA, USA, Kolloquiumsvortrag, 24.03.2006.	03/2006	03/2006
Gastgeber. Prof. Dr. Neng-Fa Zhou, The City University of New York, NY, USA, Kolloquiumsvortrag, 15.06.2011.	06/2011	06/2011
Gastgeber. Prof. Dr. Peter Müller, ETH Zürich, Schweiz, Kolloquiumsvortrag, 18.05.2010.	05/2010	05/2010
Gastgeber. Prof. Dr. Robert Glück, Gastvorlesung über "Progamminvertierung und Reversibles Rechnen" im Rahmen eines ERASMUS/LLP-Partnerschaftsabkommens zwischen der TU Wien und der Københavns Universitet, Kopenhagen, Dänemark.	04/2011	04/2011
Gastgeber. Prof. Dr. Robert Glück, Gastvorlesung über "Progamminvertierung und Reversibles Rechnen" im Rahmen eines ERASMUS/SOKRATES-Partnerschaftsabkommens zwischen der TU Wien und der Københavns Universitet, Kopenhagen, Dänemark.	03/2009	04/2009
Gastgeber. Prof. Dr. Robert Glück, University of Copenhagen, Dänemark, Kolloquiumsvortrag, 01.04.2009.	03/2009	04/2009
Gastgeber. Prof. Dr. Robert Glück, University of Copenhagen, Dänemark, Kolloquiumsvortrag, 09.11.2007.	11/2007	11/2007
Gastgeber. Prof. Dr. Sabine Glesner, Technische Universität Berlin, Deutschland, Kolloquiumsvortrag, 25.06.2007.	06/2007	06/2007
Gastgeber. Prof. Dr. Sergei Gorlatch, Universität Münster, Deutschland, Kolloquiumsvortrag, 06.06.2005.	06/2005	06/2005
Gastgeber. Prof. Dr. Sid Touati, University Nice Sophia Antipolis, Kolloquiumsvortrag, 27.04.2015.	04/2015	04/2015
Gastgeber. Prof. Dr. Uday Khedker, Indian Institute of Technology (IIT) Bombay, Powai, Mumbai, India, Kolloquiumsvortrag, 01.04.2008.	04/2008	04/2008
Gastgeber. Prof. Dr. Uwe Aßmann, Technische Universität Dresden, Dresden, Deutschland, Kolloquiumsvortrag, 04.11.2009.	11/2009	11/2009
Gastgeber. Prof. Dr. Vitalii Novoseltsev, TU Tomsk, Tomsk, Russland, 01.11.2007.	11/2007	11/2007
Gastgeber. Prof. Dr. Wolf Zimmermann, Gastvorlesung über "Verifikation von Übersetzern" im Rahmen eines ERASMUS/LLP-Partnerschaftsabkommens zwischen der TU Wien und der Martin-Luther-Universität Halle-Wittenberg, Deutschland.	03/2011	03/2011
Gastgeber. Prof. Dr. Wolf Zimmermann, Gastvorlesung über "Verifikation von Übersetzern" im Rahmen eines ERASMUS/SOKRATES-Partnerschaftsabkommens zwischen der TU Wien und der Martin-Luther-Universität Halle-Wittenberg, Deutschland.	03/2008	03/2008
Gastgeber. Prof. Dr. Wolf Zimmermann, Gastvorlesung über "Verifikation von Übersetzern" im Rahmen eines ERASMUS/SOKRATES-Partnerschaftsabkommens zwischen der TU Wien und der Martin-Luther-Universität Halle-Wittenberg, Deutschland.	05/2009	06/2009
Gastgeber. Prof. Dr. Wolf Zimmermann, Universität Halle-Wittenberg, Deutschland, Kolloquiumsvortrag, 05.06.2009.	06/2009	06/2009
Gastgeber. Prof. Dr. Wolf Zimmermann, Universität Halle-Wittenberg, Deutschland, Kolloquiumsvortrag, 05.06.2014.	06/2014	06/2014
Gastgeber. Prof. Dr. Wolf Zimmermann, Universität Halle-Wittenberg, Deutschland, Kolloquiumsvortrag, 08.03.2011.	03/2011	03/2011
Gastgeber. Prof. Dr. Wolf Zimmermann, Universität Halle-Wittenberg, Deutschland, Kolloquiumsvortrag, 10.01.2005.	01/2005	01/2005
Gastgeber. Professor Dr. Martin Plümicke, Baden-Wuerttemberg Cooperative State University, Stuttgart, Deutschland, Kolloquiumsvortrag, 12.11.2013.	11/2013	11/2013
Gastgeber. Professor Dr. Martin Plümicke, Baden-Wuerttemberg Cooperative State University, Stuttgart, Deutschland, Kolloquiumsvortrag, 20.09.2010.	09/2010	09/2010
Gutachter. 10th European Conference on Parallel Processing(Euro-Par 2004), (Pisa, Italien, 31. August - 3. September 2004).	01/2004	09/2004
Gutachter. 13th International Conference on Compiler Construction (CC 2004), (Barcelona, Spanien, 29. März - 2. April 2004). Mitgliedskonferenz der 7th Joint European Conferences on Theory and Practice of Software (ETAPS 2004), (Barcelona, Spain, 27. März - 4. April 2004).	12/2003	04/2004
Gutachter. 13th Static Analysis Symposium (SAS 2006), (Seoul, Korea, 29.-31. August 2006).	05/2006	09/2006
Gutachter. 14th International Conference on CompilerConstruction (CC 2005), (Edinburgh, Schottland, 4.-5. April 2005).Mitgliedskonferenz der 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, Schottland, 2.-10. April 2005).	11/2004	04/2005
Gutachter. 15th European Symposium on Programming (ESOP 2006), (Wien, Österreich, März/April 2006). Mitgliedskonferenz der 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).	10/2005	04/2006
Gutachter. 17th European Symposium on Programming (ESOP 2008), (Budapest, Ungarn, März/April 2008). Mitgliedskonferenz der 11th Joint European Conferences on Theory and Practice of Software (ETAPS 2008), (Budapest, Ungarn, 29. März - 6. April 2008).	11/2007	04/2008
Gutachter. 19th ACM SIGPLAN'06 Conference on Programming LanguageDesign and Implementation (PLDI 2006) (Ottawa, Kanada, 11.-16. Juni 2006).	12/2005	06/2006
Gutachter. 20th Annual ACM Symposium on Applied Computing (SAC 2005), (Santa Fe, New Mexico, USA, 13.-17. März 2005).	10/2004	03/2005
Gutachter. 21st ACM SIGPLAN'08 Conference on Programming Language Design and Implementation (PLDI 2008) (Tucson, Arizona, USA, 7.-13. Juni 2008).	12/2007	07/2008
Gutachter. 24th Workshop on Parallel Systems and Algorithms (Rüschlikon, Schweiz, 26.-27. Mai 2011).	03/2011	03/2011
Gutachter. 27th Annual ACM Symposium on Applied Computing (SAC 2012), (Riva del Garda (Trento), Italy, 26.-30. März 2012).	09/2011	10/2011
Gutachter. 31st Annual ACM SIGPLAN-SIGACT'04Conference on Principles of Programming Languages (POPL 2004),(Venedig, Italien, 14.-16. Januar 2004).	12/2003	01/2004
Gutachter. 35th Annual ACM SIGPLAN-SIGACT'08 Conference on Principles of Programming Languages (POPL 2008), (San Francisco, Kalifornien, USA, 10.-12. Januar 2008).	07/2007	01/2008
Gutachter. 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), (Koblenz, Deutschland, 7.-9. September 2005).	03/2005	09/2005
Gutachter. 5. Österreichische RoboCup Arbeitstagung (Wien, Österreich, 1.-2. Juni 2010).	02/2010	06/2010
Gutachter. 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004), (Venedig,Italien, 11.-13. Januar 2004).	12/2003	01/2004
Gutachter. 6th Annual IEEE CS TC-uARCH/ACM SIGPLAN/SIGMICRO International Symposium on Code Generation and Optimization (CGO 2008) (Boston, Massachusetts, USA, 6.-9. April 2008).	10/2007	04/2008
Gutachter. 9th International Symposium on Symbolic and AlgebraicComputation (ISSAC 2005) (Peking, China, 24.-27. Juli 2005).	01/2005	07/2005
Gutachter. ACM Transactions on Architecture and Code Optimization (TACO).	03/2005	12/9999
Gutachter. Alexander von Humboldt-Stiftung, Bonn, Deutschland.	10/2007	12/2007
Gutachter. Deutsche Forschungsgemeinschaft (DFG), Bonn, Deutschland.	08/2009	07/2010
Gutachter. Electronic Notes in Theoretical Computer Science (ENTCS).	06/2004	12/9999
Gutachter. IEEE Transactions on Parallel and Distributed Systems (TPDS).	06/2004	12/9999
Gutachter. Leibniz Gemeinschaft, Wissensgemeinschaft Gottfried Wilhelm Leibniz e.V., Berlin, Deutschland.	01/2009	10/2009
Gutachter. Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO).	02/2007	04/2017
Gutachter. Science Foundation Ireland.	11/2007	12/2016
Gutachter. Swiss National Science Foundation.	11/2009	12/2018
Initiator und Mitbegründer. Jährliche Workshop-Reihe "CompilerOptimization Meets Compiler Verification (COCV), erstmals 2002.	12/2000	12/9999
Interner Gutachter und Mitglied des Prüfungssenats. Promotionsverfahren, TU Wien, Österreich (Dipl.-Ing. Bernhard Rieder).	03/2009	06/2009
Interner Gutachter und Mitglied des Prüfungssenats. Promotionsverfahren, TU Wien, Österreich (Dipl.-Ing. Ingomar Wenzel).	08/2006	02/2007
Kolloquium. Johannes Kepler Universität Linz, Research Institute for Symbolic Computation (RISC), Österreich.	12/2008	12/2008
Kolloquium. Rheinisch-Westfälische Technische Hochschule Aachen, Deutschland.	01/2004	01/2004
Kolloquium. Technische Universität Darmstadt, Deutschland.	11/2009	11/2009
Kolloquium. Technische Universität München, Deutschland.	06/2006	06/2006
Kolloquium. Universität Halle-Wittenberg, Deutschland.	04/2004	04/2004
Kolloquium. Universität Karlsruhe (TH), Deutschland.	10/2005	10/2005
Kolloquium. Universität Paderborn, Deutschland.	05/2007	10/2007
Kolloquium. Universität Potsdam, Deutschland.	05/2004	05/2004
Kolloquium. Universität Siegen, Deutschland.	10/2009	10/2009
Koordinator ERASMUS/SOCRATES-Programm: Universität Halle-Wittenberg, Deutschland, SOCRATES Programme: Higher Education (ERASMUS) 2007 - 2009.	01/2007	12/2009
Koordinator. ERASMUS+ - Programm. Martin-Luther-Universität Halle-Wittenberg, Deutschland, Akademische Jahre 2015 - 2020. Departmental Coordinator.	01/2015	09/2021
Koordinator. ERASMUS+-Programm. Aalto University Helsinki - School of Science, Finnland, Akademische Jahre 2014 - 2021. Departmental Coordinator.	10/2014	09/2021
Koordinator. ERASMUS+-Programm. Chalmers University of Technology, Gothenburg, Schweden, Akademische Jahre 2014 - 2021. Departmental Coordinator.	10/2014	09/2021
Koordinator. ERASMUS+-Programm. Universidade do Minho, Braga, Portugal, Akademische Jahre 2014 - 2021. Departmental Coordinator.	10/2014	09/2021
Koordinator. ERASMUS+-Programm. University of Copenhagen, Dänemark, Akademische Jahre 2014 - 2017. Departmental Coordinator.	10/2014	09/2017
Koordinator. ERASMUS+-Programm. University of Gothenburg, Schweden, Akademische Jahre 2014 - 2017. Departmental Coordinator.	10/2014	09/2017
Koordinator. ERASMUS+-Programm. Universität Paderborn, Deutschland, Akademische Jahre 2014 - 2021. Departmental Coordinator.	10/2014	09/2021
Koordinator. ERASMUS-Programm. Aalto University Helsinki School of Science, Finnland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2011 - 2014.Coordinator.	10/2011	09/2014
Koordinator. ERASMUS-Programm. Linköpings Universitet, Linköping, Schweden, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2012.	03/2010	09/2012
Koordinator. ERASMUS-Programm. Martin-Luther-Universität Halle-Wittenberg, Deutschland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2013. Coordinator.	06/2009	03/2013
Koordinator. ERASMUS-Programm. Martin-Luther-Universität Halle-Wittenberg, Deutschland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2013 - 2014. Coordinator.	04/2013	09/2014
Koordinator. ERASMUS-Programm. Universidad Politecnica de Valencia, Spanien, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2013.	01/2009	09/2014
Koordinator. ERASMUS-Programm. Universidad del Pais Vasco/Euskal Herriko Unibertsitatea, Bilbao, Spanien, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2012 - 2016. Coordinator.	12/2011	09/2017
Koordinator. ERASMUS-Programm. Universidade Tecnica de Lisboa, Lissabon, Portugal, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2013.	03/2009	09/2014
Koordinator. ERASMUS-Programm. Universidade do Minho, Braga, Portugal, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2008 - 2009.	05/2008	09/2010
Koordinator. ERASMUS-Programm. Universidade do Minho, Braga, Portugal, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2013.	12/2008	09/2014
Koordinator. ERASMUS-Programm. Universiteit van Amsterdam, Holland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2011 - 2013.	10/2011	09/2013
Koordinator. ERASMUS-Programm. University of Copenhagen, Dänemark, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2008 - 2011. Departmental Coordinator.	10/2008	09/2011
Koordinator. ERASMUS-Programm. University of Copenhagen, Dänemark, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2012 - 2016. Departmental Coordinator.	10/2011	09/2016
Koordinator. ERASMUS-Programm. University of Cyprus, Nicosia, Cyprus, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2012 - 2014. Coordinator.	01/2011	09/2015
Koordinator. ERASMUS-Programm. University of Hertfordshire, Hatfield, UK, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2013 - 2014. Coordinator.	05/2013	09/2014
Koordinator. ERASMUS-Programm. Universität Kopenhagen, Dänemark, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2008 - 2011.	06/2006	03/2012
Koordinator. ERASMUS-Programm. Universität Kopenhagen, Dänemark, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2009 - 2013.	12/2008	03/2014
Koordinator. ERASMUS-Programm. Universität Kopenhagen, Dänemark, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2012 - 2016.	07/2011	09/2016
Koordinator. ERASMUS-Programm. Universität Paderborn, Deutschland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2008 - 2010.	01/2008	09/2011
Koordinator. ERASMUS-Programm. Universität Paderborn, Deutschland, Lebenslanges Lernen - ERASMUS-Programm: Höhere Bildung, Akademische Jahre 2010 - 2013.Coordinator.	07/2009	09/2014
Mitglied Promotionskommission, Universität Dortmund, Deutschland (Dipl.-Inform. Volker Braun).	03/2002	07/2002
Mitglied. European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC).	11/2008	12/2010
Mitglied. IFIP Working Group 2.4 "Software Implementation Technology".	03/2002	12/9999
Panel Chair. Wissenschaftliche Leitung des Panels für Informatik und Mathematik im Rahmen des Research Quality Review des University College Cork, Irland.	01/2014	12/2015
Panel-Mitglied. Panel über "Dissertationen in der Software-Technik" auf dem Doktoranden-Symposium der Software Engineering 2012 (DSSE 2012), (Berlin, Germany, 29. Februar 2012).	02/2012	02/2012
Panel-Mitglied. Panel über "State of the Art in OO Education -- Benefits, Problems and Their Possible Solutions" auf demEducators' Symposium at the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2003), (Anaheim, California, USA, 26.-30. Oktober 2003).	10/2003	10/2003
Partner. EU FP7 / Lifelong Learning Programme Erasmus - Intensive Programmes (IP). Internationale Sommerschulen zu "ICCES: Innovation and Creativity for Complex Engineering Systems".	07/2011	07/2014
Preiskomiteemitglied und Vorsitzender. Preisverleihungskomitee für den ETAPS 2011 Best Student Paper Award, 2011.	01/2011	04/2011
Preiskomiteemitglied. Preisverleihungskomitee für den 2002 ACM SIGPLAN Programming Languages Achievement Award.	06/2001	01/2002
Preiskomiteemitglied. Preisverleihungskomitee für den 2003 ACM SIGPLAN Distinguished Service Award, 2004.	07/2004	11/2004
Preiskomiteemitglied. Preisverleihungskomitee für den 2003 ACM SIGPLAN Most Influential PLDI Paper Award (for 1993).	12/2003	08/2004
Preiskomiteemitglied. Preisverleihungskomitee für den 2004 ACM SIGPLAN Doctoral Dissertation Award, 2005.	06/2005	12/2005
Preiskomiteemitglied. Preisverleihungskomitee für den 2005 ACM SIGPLAN Programming Languages AchievementAward.	08/2004	01/2005
Preiskomiteemitglied. Preisverleihungskomitee für den 2012 ACM SIGPLAN Most Influential PLDI Paper Award (for 2002).	01/2012	07/2012
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2007 Best Paper Award for ETAPS 2007, 2007.	02/2007	04/2007
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2007 Most Influential Paper Award for ETAPS 1998, 2007.	02/2007	04/2007
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2008 Best Paper Award for ETAPS 2008, 2008.	12/2007	04/2008
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2009 Best Paper Award for ETAPS 2009, 2009.	01/2009	03/2009
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2009 Best Paper Award for ETAPS 2009, 2009.	01/2009	04/2009
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2010 Best Paper Award for ETAPS 2010, 2010.	02/2010	04/2010
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2011 Best Paper Award for ETAPS 2011, 2011.	12/2010	03/2011
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2011 Best Paper Award for TOOLS 2011, 2011.	06/2011	06/2011
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2012 Best Paper Award for ETAPS 2012, 2012.	12/2011	03/2012
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2013 Best Paper Award for ECMFA 2013, 2013.	05/2013	07/2013
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2013 Best Paper Award for ETAPS 2013, 2013.	12/2012	04/2013
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS 2013 Best Paper Award for TFP 2013, 2013.	03/2013	05/2013
Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS PhD Award 2010, 2011.	09/2010	03/2011
Preiskomiteemitglied. Preisverleihungskomitee für den ICST 2012 Best Paper Award, 2012.	03/2012	05/2012
Preiskomiteemitglied. Preisverleihungskomitee für die PACT 2010 Best Paper Awards for PACT 2010. 2010.	05/2010	09/2010
Sitzungsleiter. 10th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2011), (Saarbrücken, Deutschland, 27. März 2011). Zusammen mit 14th Joint European Conferences on Theory and Practice of Software (ETAPS 2011), (Saarbrücken, Deutschland, 26. März - 3. April 2011).	03/2011	03/2011
Sitzungsleiter. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), (Edinburgh, Schottland, 4.-8. April 2005).	04/2005	04/2005
Sitzungsleiter. 11th International Workshop on Abstract State Machines (ASM 2004) (Wittenberg, Deutschland, 24.-28. Mai 2004).	05/2004	05/2004
Sitzungsleiter. 12. Konferenz Software Engineering (SE 2016) (Wien, Österreich, 23.-26. Februar 2016).	02/2016	02/2016
Sitzungsleiter. 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2007) (Timmendorfer Strand, Deutschland, 10.-12. Oktober 2007).	10/2007	10/2007
Sitzungsleiter. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), (Budapest, Ungarn, 31. März - 4. April 2008). Mitgliedkonferenz der 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (Budapest, Ungarn, 29. März - 6. April 2008).	04/2008	04/2008
Sitzungsleiter. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (Maria Taferl, Österreich, 12.-14. Oktober 2009).	10/2009	10/2009
Sitzungsleiter. 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2013) (Lutherstadt Wittenberg, Deutschland, 30. September - 2. Oktober 2013).	09/2013	10/2013
Sitzungsleiter. 19th International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Wien, Österreich, 11.-15. September 2010), 14.09.2010.	09/2010	09/2010
Sitzungsleiter. 19th International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Wien, Österreich, 11.-15. September 2010), 15.09.2010.	09/2010	09/2010
Sitzungsleiter. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), (Paphos, Zypern, 30. Oktober - 2. November 2004).	10/2004	10/2004
Sitzungsleiter. 20th International Conference on Compiler Construction (CC 2011), (Saarbrücken, Germany, 28.-29. März 2011). Mitgliedkonferenz der 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Deutschland, 26. März - 3. April 2011).	03/2011	03/2011
Sitzungsleiter. 23. Arbeitstreffen der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzeptein Verbindung mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) (Physikzentrum Bad Honnef, Deutschland, 3.-5. Mai 2006).	05/2006	05/2006
Sitzungsleiter. 25. Arbeitstreffen der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte (Physikzentrum Bad Honnef, Deutschland, 5.-7. Mai 2008).	05/2008	05/2008
Sitzungsleiter. 27. Arbeitstreffen der GI-Fachgruppe Programmiersprachen und Rechenkonzepte (Physikzentrum Bad Honnef, Deutschland, 3.-5. Mai 2010).	05/2010	05/2010
Sitzungsleiter. 28. Arbeitstreffen der GI-Fachgruppe Programmiersprachen und Rechenkonzepte (Physikzentrum Bad Honnef, Deutschland, 2.-4. Mai 2011).	05/2011	05/2011
Sitzungsleiter. 2nd International IEEE Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) (Paphos, Zypern, 15.-19. November 2006).	11/2006	11/2006
Sitzungsleiter. 30. Arbeitstreffen der GI-Fachgruppe Programmiersprachen und Rechenkonzepte (Physikzentrum Bad Honnef, Deutschland, 6.-8. Mai 2013).	05/2013	05/2013
Sitzungsleiter. 30th International Conference on Architecture of Computing Systems (ARCS 2017) (Wien, Österreich, 3.-6. April 2017).	04/2017	04/2017
Sitzungsleiter. 3rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2014) (Wien, Österreich, 17.-18. Juli 2014).	07/2014	07/2014
Sitzungsleiter. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008) (Porto Sani, Kassandra, Griechenland, 13.-15. Oktober 2008).	10/2008	10/2008
Sitzungsleiter. 3rd International Workshop on Compiler Optimization meets Compiler Verification (COCV 2004) (Barcelona, Spanien, 3. April 2004).	04/2004	04/2004
Sitzungsleiter. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Pilsen, Tschechien, 29. Mai - 1. Juni 2006).	05/2006	05/2006
Sitzungsleiter. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010) (Heraklion, Kreta, Griechenland, 18.-21. Oktober 2010).	10/2010	10/2010
Sitzungsleiter. 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005) (Edinburgh, Schottland, 3. April 2005).	04/2005	04/2005
Sitzungsleiter. 5th Annual IEEE CS TC-uARCH/ACM SIGPLAN/SIGMICRO International Symposium on Code Generation and Optimization (CGO 2007) (San Jose, California, USA, 11.-14. März 2007).	03/2007	03/2007
Sitzungsleiter. 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), (Wien, Österreich, 2. April 2006). Zusammen mit 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).	04/2006	04/2006
Sitzungsleiter. 6th International Workshop on Automated Specification and Verification of Web Systems (WWV 2010), (Wien, Österreich, 30.-31. Juli 2010).	07/2010	07/2010
Sitzungsleiter. 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007), (Braga, Portugal, 25. März 2007). Zusammen mit 10th Joint European Conferences on Theory and Practice of Software (ETAPS 2007), (Braga, Portugal, 24. März - 1. April 2007).	03/2007	03/2007
Sitzungsleiter. 7th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2008), (Budapest, Ungarn, 5. April 2008). Zusammen mit 11th Joint European Conferences on Theory and Practice of Software (ETAPS 2008), (Budapest, Ungarn, 29. März - 6. April 2008).	04/2008	04/2008
Sitzungsleiter. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), (York, UK, 22. März 2009). Zusammen mit 12th Joint European Conferences on Theory and Practice of Software (ETAPS 2009), (York, UK, 22. -29. März 2009).	03/2009	03/2009
Sitzungsleiter. 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).	03/2006	03/2006
Sitzungsleiter. 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2006), (Wien, Österreich, 27.-29. März 2006). Hauptkonferenz der 9th European Joint Conferences on Theory and Practice of Software ETAPS 2006 (Wien, Österreich, 25. März - 2. April 2006).	03/2006	03/2006
Sitzungsleiter. Dagstuhl-Seminar 05101 über "Scheduling for Parallel Architectures: Theory, Applications, Challenges", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 6.-11. März 2005.	03/2005	03/2005
Sitzungsleiter. Dagstuhl-Seminar 05311 über "Verifying Optimizing Compilers", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 31. Juli - 5 August 2005.	08/2005	08/2005
Sitzungsleiter. Dagstuhl-Seminar 05311 über "Verifying Optimizing Compilers", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 31. Juli - 5 August 2005.	08/2005	08/2005
Sitzungsleiter. Dagstuhl-Seminar 06081 über "Software Verification: Infinite-State Model Checking and Static Program Analysis", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 19.-24. Februar 2006.	02/2006	02/2006
Sitzungsleiter. January'15 TACLe Meeting (Amsterdam, The Netherlands, January 22, 2015).	01/2015	01/2015
Sitzungsleiter. Session 1 on Optimization Techniques. 19th International Conference on Compiler Construction (CC 2010), (Paphos, Zypern, 26.-27. März 2010). Mitgliedkonferenz der 13th European Joint Conferences on Theory and Practice of Software (ETAPS 2010) (Paphos, Zypern, 20.-28. März 2010).	03/2010	03/2010
Sitzungsleiter. Session 4, Keynote Speech. 19th International Conference on Compiler Construction (CC 2010), (Paphos, Zypern, 26.-27. März 2010). Mitgliedkonferenz der 13th European Joint Conferences on Theory and Practice of Software (ETAPS 2010) (Paphos, Zypern, 20.-28. März 2010).	03/2010	03/2010
Sitzungsleiter. TACLe Focused Meeting Day on Time Predictability, Composability, and Compositionality (Wien, Österreich, 27. September 2013).	09/2013	09/2013
Sitzungsleiter. The 9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014) (Wien, Österreich, 20.-22. Januar 2014).	01/2014	01/2014
Sitzungsleitung, 1st International ISoLA Workshop on Software Aspects of Robotic Systems SARS 2011 (Wien, Österreich, 17.-18. Oktober 2011).	10/2011	10/2011
Sitzungsleitung. 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitious Systems (SEUS 2015) (Auckland, New Zealand, April 13, 2015).	04/2015	04/2015
Sitzungsleitung. 18th International IEEE Symposium On Real-Time Computing (ISORC 2015) (Auckland, New Zealand, April 13-17, 2015).	04/2015	04/2015
Sitzungsleitung. 32. Jährlicher Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte (Physikzentrum Bad Honnef, Deutschland, 4.-6. Mai 2015).	05/2015	05/2015
Sitzungsleitung. 5. Arbeitstagung Programmiersprachen ATPS 2012 (Berlin, Deutschland, 27. Februar 2012).	02/2012	02/2012
Sitzungsleitung. 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) (Heraklion, Kreta, Griechenland, 15.-18. Oktober 2012).	10/2012	10/2012
Sitzungsleitung. 6. Arbeitstagung Programmiersprachen ATPS 2013 (Aachen, Deutschland, 26. Februar 2013).	02/2013	02/2013
Sitzungsleitung. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), (Korfu, Griechenland, 7.-11. Oktober 2014).	10/2014	10/2014
Sitzungsleitung. 8. Arbeitstagung Programmiersprachen (ATPS 2015) (Dresden, Deutschland, 18. März 2015), veranstaltet von der GI-Fachgruppe Programmiersprachen und Rechenkonzepte zusammen mit der Software Engineering 2015 (Dresden, Deutschland, 17.-20. März 2015).	03/2015	03/2015
Sitzungsleitung. Software Engineering 2012 (Berlin, Deutschland, 1.-2. März 2012).	03/2012	03/2012
Sitzungsleitung. Software Engineering 2013 (Aachen, Deutschland, 27. Februar - 1. März 2013).	02/2013	03/2013
Themenvertreter für EASST (European Association of Software Science and Technology). Software Analysis and Verification,seit 04/2004.	04/2004	12/9999
Veranstalter. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (Maria Taferl, Österreich, 11.-14. Oktober 2009).	10/2007	12/2009
Veranstalter. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (Pörtschach, Österreich, 5.-7. Oktober 2015).	10/2013	12/2015
Veranstalter. 43. Arbeitstreffen der IFIP Working Group 2.4 Software Implementation Technology, Baden bei Wien, Österreich,3.-7. Januar 2005.	03/2004	03/2005
Vortragender. Gastvorlesung über "Optimale Programmoptimierung" an der Martin-Luther-Universität Halle-Wittenberg, Deutschland, 03.07.2007 - 13.07.2007, gefördert durch das SOCRATES Programme: Higher Education (ERASMUS) 2007 - 2009.	07/2007	07/2007

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Fachtagung/Veranstaltung	Organisator_in	SEUS 2016	10/2015	07/2016	Programmkomiteemitglied. 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016) (York, UK, 17. Mai 2016).
Fachtagung/Veranstaltung	Organisator_in	SEFM 2016	10/2015	09/2016	Programmkomiteemitglied. 14th International Conference on Formal Methods and Software Engineering (SEFM 2016) (Wien, Österreich, 4.-8. Juli 2016).
Postgraduale Lehrgänge/Summer School	Organisator_in	ICCES - Innovation and Creativity for Complex Engineering Systems	01/2012	12/2014	Mitveranstalter
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2001	10/2002	Budgetvorsitzender. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), (Berlin, Deutschland, 17.-19. Juni 2002).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2001	09/2002	Budgetvorsitzender. ACM SIGPLAN 2002 Joint Conference onLanguages, Compilers, and Tools for Embedded Systems (LCTES 2002) and Software and Compilers for Embedded Systems (SCOPES 2002), (Berlin, Deutschland, 19.-21. Juni 2002).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2008	02/2011	Co-Organisator. 19th International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Wien,Österreich, 11.-15. September 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/1999	09/2000	Co-Organisator. Dagstuhl-Seminar 00381 über "Optimisation: Trends, Challenges, and Perspectives", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 17.-22. September 2000. Zusammen mit Carole Dulong (Intel Corporation, SantaClara, CA), Rajiv Gupta (University of Arizona, Tucson, AZ),Robert Kennedy (Tensilica Inc., Santa Clara, CA) undJim Pierce (Intel Corporation, Santa Clara, CA).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2002	10/2004	Co-Organisator. Dagstuhl-Seminar 03431 über "Hardware and Software Consistency Models: Programmability and Performance", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 19.-24. Oktober 2003. Zusammen mit Jaejin Lee (Seoul National University, ROK), Samuel P. Midkiff (Purdue University, USA) und David Padua (University of Illinois at Urbana-Champaign, USA).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2003	03/2005	Co-Organisator. Dagstuhl-Seminar 05101 über "Scheduling for Parallel Architectures: Theory, Applications, Challenges", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 6.-11. März 2005. Zusammen mit Erik Altman (IBM, Yorktown Heights, NY), James C. Dehnert (Transmeta, Mountain View, CA) undChristoph Kessler (Universität Linköping, Schweden).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2004	08/2005	Co-Organisator. Dagstuhl-Seminar 05311 über "Verifying Optimizing Compilers", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Wadern, Deutschland, 31. Juli - 5 August 2005. Zusammen mit George C. Necula (University of California, Berkeley, CA), Wolf Zimmermann(Universität Halle-Wittenberg, Deutschland) und Lenore ZuckUniversity of Illinois, Chicago, IL).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2009	04/2009	Co-Organisator. Gemeinsame Complang/TRACES Arbeitstagung über "Trends inTiming Analysis" (TiTAn 2009) (Wien, Österreich, 21. April 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2015	03/2016	Co-Programmkomiteevorsitzender. 2nd International TACLe Workshop on Code-Level Timing and Energy Analysis (TACLe 2016) (Prague, Czech Republic, January 20, 2016); co-located with The 11th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2016) (Prague,Czech Republic, January 18-20, 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2013	12/2014	Co-Spezialthemengebietsvorsitzender. 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2014) (Korfu, Griechenland, 8.-11. Oktober 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2010	11/2010	Co-Spezialthemengebietsvorsitzender. Resource and Timing Analysis, 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010) (Heraklion, Kreta, Griechenland, 18.-21. Oktober 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2010	11/2010	Co-Spezialthemengebietsvorsitzender. Software Aspects of Robotic Systems, 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010) (Heraklion, Kreta, Griechenland, 18.-21. Oktober 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2012	12/2012	Co-Spezialthemengebietsvorsitzender. Software Aspects of Robotic Systems, 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) (Heraklion, Kreta, Griechenland, 15-18. Oktober 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2005	06/2006	Co-Vorsitzender und Programmkomiteemitglied. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006) (Pilsen, Tschechien, 29. Mai - 1. Juni 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2006	06/2007	Co-Vorsitzender und Programmkomiteemitglied. 5th International Conference in Central Europe on Object-OrientedTechnologies (OOT 2006) (Pilsen, Tschechien, 28. - 31. Mai 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2001	04/2002	Co-Vorsitzender. 1st International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002), (Grenoble, Frankreich, 13. April 2002). Zusammen mit 5th Joint European Conferences on Theory and Practice of Software (ETAPS 2002), (Grenoble, Frankreich, 6.-14. April 2002).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2002	04/2003	Co-Vorsitzender. 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), (Warschau, Polen, 12. April 2003). Zusammen mit 6th Joint European Conferences on Theory and Practice of Software (ETAPS 2003), (Warschau, Polen, 5.-13. April 2003).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2003	04/2004	Co-Vorsitzender. 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004), (Barcelona, Spanien, 3. April 2004). Zusammen mit 7th Joint European Conferences on Theory and Practice of Software (ETAPS 2004), (Barcelona, Spanien, 27. März - 4. April 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2004	04/2005	Co-Vorsitzender. 4th International Workshop on Compiler Optimization Meets Compiler Verification COCV 2005 (Edinburgh, Schottland, 3. April 2005). Zusammen mit 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, Schottland, 2.-10. April 2005).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2009	07/2010	Co-Vorsitzender. 5. Österreichische RoboCup Arbeitstagung (Wien, Österreich, 1.-2. Juni 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2005	04/2006	Co-Vorsitzender. 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), (Wien, Österreich, 2. April 2006). Zusammen mit 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2011	04/2012	Externes Gutachterkomiteemitglied. 17th ACM SIGPLAN 2012 Symposium on Principles and Practice of Parallel Programming (PPoPP 2012), (New Orleans, LA, USA, 25-29 Februar 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2012	04/2013	Externes Gutachterkomiteemitglied. 18th ACM SIGPLAN 2013 Symposium on Principles and Practice of Parallel Programming (PPoPP 2013) (Shenzen, China, 23-27 February 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2013	05/2014	Externes Gutachterkomiteemitglied. 19th ACM SIGPLAN 2014 Symposium on Principles and Practice of Parallel Programming (PPoPP 2014) (Orlando, FL, USA, 15-19 February 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2013	08/2014	Externes Gutachterkomiteemitglied. 28th ACM SIGARCH 2014 Conference on Supercomputing (ICS 2014), (Munich, Germany, June 10 - 13, 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2009	08/2010	Externes Gutachterkomiteemitglied. ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010), Juni 2010.
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2011	06/2012	Externes Gutachterkomiteemitglied. ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation (PLDI 2012), (Peking, China, 11.-16. Juni 2012).
Wissenschaftliche Konferenz/Symposium	Organisator_in	ETAPS 2006 - 9th European Joint Conference on Theory and Practice of Software			General Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	SE 2016	12/2014	04/2016	General Chair. 12th International Conference on Software Engineering (SE 2016) (Wien, Österreich, 23.-26. Februar 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2014	06/2016	General Chair. Multikonferenz Software Engineering und Management (SE&M 2016) (Wien, Österreich, Februar 2016).
Wissenschaftliche Konferenz/Symposium	Organisator_in	ARCS 2017	03/2016	05/2017	General Co-Chair. 30th International Conference on Architecture of Computing Systems (ARCS 2017) (Wien, Österreich, 3.-6. April 2017).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2012	04/2014	General Co-Chair. The 9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014) (Wien, Österreich, 20.-22. Januar 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2000	08/2001	Globaler Themenbereichsvorsitzender. 7th European Conference onParallel Processing (Euro-Par 2001), (Manchester, United Kingdom,28.-31. August 2001). Global Chair of Topic 04 "Compilers for High Performance''.
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2005	06/2005	Lenkungsausschussmitglied, Beobachter. ACM SIGPLAN Conference Serieson Object-Oriented Programming, Systems, Languages, andApplications (OOPSLA). 2005.
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2002	06/2005	Lenkungsausschussmitglied. ACM SIGPLAN Conference Series on Programming Language Design and Implementation (PLDI), 2002-2005.
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2004	10/2007	Lenkungsausschussmitglied. European Joint Conferences on Theory and Practice of Software (ETAPS). 2004-2007.
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2009	11/2012	Lenkungsausschussmitglied. European Joint Conferences on Theory and Practice of Software (ETAPS). 2009 - 2012.
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2009	06/2012	Lenkungsausschussmitglied. International Conference on Compiler Construction (CC). 2009-2012.
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2010	09/2012	Lenkungsausschussmitglied. Parallel Architectures and Compilation Techniques (PACT). 2010 - 2012.
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2011	11/2011	Lokaler Co-Organisator. 1st International ISoLA Workshop on Machine Learning for Software Construction (MLSC@ISoLA 2011) (Wien, Österreich, 17.-18. Oktober 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2010	11/2011	Lokaler Co-Organisator. 1st International ISoLA Workshop on Software Aspects of Robotic Systems (SARS@ISoLA 2011) (Wien, Österreich, 17.-19. Oktober 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/1999	09/2000	Lokaler Themenbereichsvorsitzender. 6th European Conference on Parallel Processing (Euro-Par 2000), (München, Deutschland, 29. August - 1. September 2000). Local Chair of Topic 04 "Compilers for High Performance''.
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2012	10/2012	Mentoringkomiteemitglied. 6th International Conference on Software Testing, Verification and Validation (ICST 2013) (Luxemburg, 18.-22. März 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2011	09/2012	Mitglied des lokalen Aufsichtsteams. ICNPAA 2012 World Congress: 9th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA 2012) (Wien, Österreich, 11.-14. Juli 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2008	02/2009	Organisator. Gemeinsame Complang/RISC Arbeitstagung über "Timing Analysis and Symbolic Computation" (TASCo 2009) (Wien, Österreich, 4.-5. Februar 2009).
Wissenschaftliche Konferenz/Symposium	Organisator_in	CC 2011 - 20th Int. Conf. on Compiler Contruction			PC Chair
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2012	03/2013	Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS PhD Award 2012, 2012/13.
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2013	03/2014	Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS PhD Award 2013, 2013/14.
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2015	09/2015	Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS PhD Award 2014, 2014/15.
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2015	05/2015	Preiskomiteemitglied. Preisverleihungskomitee für den EAPLS PhD Award 2014, 2015.
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2010	04/2011	Programmkomitee-Co-Vorsitzender. 10th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2011), (Saarbrücken, Deutschland, 27. März 2011). Zusammen mit 14th Joint European Conferences on Theory and Practice of Software (ETAPS 2011), (Saarbrücken, Deutschland, 26. März - 3. April 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2010	04/2011	Programmkomitee-Co-Vorsitzender. 10th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2011), (Saarbrücken, Deutschland, 27. März 2011). Zusammen mit 14th Joint European Conferences on Theory and Practice of Software (ETAPS 2011), (Saarbrücken, Deutschland, 26. März - 3. April 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2008	12/2010	Programmkomitee-Co-Vorsitzender. 19th International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) (Wien, Österreich, 11.-15. September 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2010	11/2011	Programmkomitee-Co-Vorsitzender. 1st International ISoLA Workshop on Software Aspects of Robotic Systems (SARS@ISoLA 2011) (Wien, Österreich, 17.-19. Oktober 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2001	04/2002	Programmkomitee-Co-Vorsitzender. 1st International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002), (Grenoble, Frankreich, 13. April 2002). Zusammen mit 5th Joint European Conferences on Theory and Practice of Software (ETAPS 2002), (Grenoble, Frankreich, 6.-14. April 2002).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2002	04/2003	Programmkomitee-Co-Vorsitzender. 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), (Warschau, Polen, 12. April 2003). Zusammen mit 6th Joint European Conferences on Theory and Practice of Software (ETAPS 2003), (Warschau, Polen, 5.-13. April 2003).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2003	04/2004	Programmkomitee-Co-Vorsitzender. 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004), (Barcelona, Spanien, 3. April 2004). Zusammen mit 7th Joint European Conferences on Theory and Practice of Software (ETAPS 2004), (Barcelona, Spanien, 27. März - 4. April 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2004	04/2005	Programmkomitee-Co-Vorsitzender. 4th International Workshop on Compiler Optimization Meets Compiler Verification COCV 2005 (Edinburgh, Schottland, 3. April 2005). Zusammen mit 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, Schottland, 2.-10. April 2005).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2005	04/2006	Programmkomitee-Co-Vorsitzender. 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), (Wien, Österreich, 2. April 2006). Zusammen mit 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		08/2012	04/2013	Programmkomitee-Co-Vorsitzender. 6. Arbeitstagung Programmiersprachen (ATPS 2013), (Aachen, Deutschland, 26. Februar 2013), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der Software Engineering 2013 (Aachen, Deutschland, 26. Februar - 1. März 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2006	04/2007	Programmkomitee-Co-Vorsitzender. 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007), (Braga, Portugal, 25. März 2007). Zusammen mit 10th Joint European Conferences on Theory and Practice of Software (ETAPS 2007), (Braga, Portugal, 24. März - 1. April 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2007	05/2008	Programmkomitee-Co-Vorsitzender. 7th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2008), (Budapest, Ungarn, 5. April 2008). Zusammen mit 11th Joint European Conferences on Theory and Practice of Software (ETAPS 2008), (Budapest, Ungarn, 29. März - 6. April 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2008	06/2009	Programmkomitee-Co-Vorsitzender. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), (York, UK, 22. März 2009). Zusammen mit 12th Joint European Conferences on Theory and Practice of Software (ETAPS 2009), (York, UK, 22.-29. März 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2009	08/2010	Programmkomitee-Co-Vorsitzender. 9th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), (Paphos, Zypern, 27. März 2010). Zusammen mit 13th Joint European Conferences on Theory and Practice of Software (ETAPS 2010), (Paphos, Zypern, 20.-28. März 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2010	06/2011	Programmkomiteemitglied, Industrieprogramm. 4th International Conference on Software Testing, Verification and Validation (ICST 2011), (Berlin, Deutschland, 21.-25. März 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2012	12/2012	Programmkomiteemitglied, Logic and Programming Track. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), (Timisoara, Rumänien, 26.-29. September 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2013	12/2013	Programmkomiteemitglied, Logic and Programming Track. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), (Timisoara, Rumänien, 23.-26. September 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2014	12/2014	Programmkomiteemitglied, Logic and Programming Track. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), (Timisoara, Rumänien, 22.-25. September 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2015	12/2015	Programmkomiteemitglied, Logic and Programming Track. 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), (Timisoara, Rumänien, 21.-24. September 2015).
Wissenschaftliche Konferenz/Symposium	Organisator_in	SYNASC 2016	02/2016	12/2016	Programmkomiteemitglied, Logic and Programming Track. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), (Timisoara, Rumänien, 24.-27. September 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/1996	09/1997	Programmkomiteemitglied. 1. Arbeitstagung Programmiersprachen (ATPS 1997), (Aachen, Deutschland, September 1997), veranstaltet von den GI-Fachgruppen 2.1.3 und 2.1.4 zusammen mit der GI-Jahrestagung 1997 (Aachen, Deutschland, 22.-23. September 1997).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2008	11/2008	Programmkomiteemitglied. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), (Timisoara, Rumänien, 26.-29. September 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		08/2012	10/2013	Programmkomiteemitglied. 11th International Conference on Software Engineering Research, Management and Applications (SERA 2013), (Prag, Tschechien, 7.-9. August 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2004	04/2005	Programmkomiteemitglied. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), (Edinburgh, Schottland, 4.-8. April 2005). Mitgliedkonferenz der 8th European Joint Conferences on Theory and Practice of Software (ETAPS 2005) (Edinburgh, Schottland, 2.-10. 2005).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2014	11/2014	Programmkomiteemitglied. 11th International IFIP Conference on Network and Parallel Computing (NPC 2014) (Ilan, Taiwan, 15.-17. September 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2009	11/2009	Programmkomiteemitglied. 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009), (Timisoara, Rumänien, 26.-29. September 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2011	09/2011	Programmkomiteemitglied. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011), (Porto, Portugal, 5. Juli 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2004	10/2004	Programmkomiteemitglied. 11th Static Analysis Symposium (SAS 2004), (Verona, Italien, 26.-28. August 2004).
Wissenschaftliche Konferenz/Symposium	Organisator_in	SEUS 2016	10/2015	07/2016	Programmkomiteemitglied. 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016) (York, UK, 17. May 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2010	11/2010	Programmkomiteemitglied. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010), (Timisoara, Rumänien, 23.-26. September 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2011	11/2011	Programmkomiteemitglied. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), (Timisoara, Rumänien, 26.-29. September 2011).
Wissenschaftliche Konferenz/Symposium	Organisator_in	SEFM 2016	10/2015	09/2016	Programmkomiteemitglied. 14th International Conference on Formal Methods and Software Engineering (SEFM 2016) (Wien, Österreich, 4.-8. Juli 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2006	04/2008	Programmkomiteemitglied. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), (Budapest, Ungarn, 31. März - 4. April 2008). Mitgliedkonferenz der 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (Budapest, Ungarn, 29. März - 6. April 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2013	08/2014	Programmkomiteemitglied. 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014) (Madrid, Spain, July 8, 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2006	09/2007	Programmkomiteemitglied. 14th Static Analysis Symposium (SAS 2007) (Kongens Lyngby, Dänemark, 22.-24. August 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2005	04/2006	Programmkomiteemitglied. 15th International Conference on Compiler Construction (CC 2006), (Wien, Österreich, 30.-31. März 2006). Mitgliedkonferenz der 9th European Joint Conferences on Theory and Practice of Software (ETAPS 2006) (Wien, Österreich, 25. März- 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Organisator_in	SEFM 2017	11/2016	10/2017	Programmkomiteemitglied. 15th International Conference on Formal Methods and Software Engineering (SEFM 2017) (Trento, Italy, 4.-8. September 2017).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2006	09/2007	Programmkomiteemitglied. 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007) (Brasov, Rumänien, 15.-19. September 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2008	12/2009	Programmkomiteemitglied. 16th International Symposium on Formal Methods (FM 2009), (Eindhoven, Niederlande, 30. Oktober - 7. November 2009).
Wissenschaftliche Konferenz/Symposium	Organisator_in	WCET 2016	01/2016	08/2016	Programmkomiteemitglied. 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) (Toulouse, France, July 5, 2016).
Wissenschaftliche Konferenz/Symposium	Organisator_in	SYNASC 2017	03/2017	10/2017	Programmkomiteemitglied. 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), (Timisora, Rumänien, 21.-24. September 2017).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2005	04/2006	Programmkomiteemitglied. 1st International EASST-EU Workshop on Future Research Challenges for Software and Services (FRCSS 2006), (Vienna, Austria, April 1, 2006). Zusammen mit 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2004	11/2004	Programmkomiteemitglied. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), (Paphos, Zypern, 30. Oktober - 2. November 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2008	04/2009	Programmkomiteemitglied. 1st Workshop on Coordination in Complex Software Intensive Systems(COCOSS 2009), (Fukuoka, Japan, März 2009). Zusammen mit 3rd International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2009), (Fukuoka, Japan, 16.-19. März 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/1998	10/1999	Programmkomiteemitglied. 2. Arbeitstagung Programmiersprachen (ATPS 1999), (Paderborn, Deutschland, 6. Oktober 1999), veranstaltet von den GI-Fachgruppen 2.1.3 und 2.1.4 zusammen mit der GI-Jahrestagung 1999 (Paderborn, Deutschland, Oktober 1999).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2011	11/2011	Programmkomiteemitglied. 20th International Conference on Parallel Architectures and Compilation Techniques (PACT 2011) (Galveston Island, Texas, USA, 8.-12. Oktober 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2008	08/2009	Programmkomiteemitglied. 23rd ACM SIGARCH International Conference on Supercomputing (ICS 2009) (IBM T.J. Watson Research Center, Metro New York City Area, USA, 9.-11. Juni 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2012	06/2014	Programmkomiteemitglied. 23rd International Conference on Compiler Construction (CC 2014) (Grenoble, France, April 7-14, 2014). Member conference of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS 2014) (Grenoble, France, April 7-14, 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2006	11/2006	Programmkomiteemitglied. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006), (Paphos, Zypern, 15.-19. November 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2008	05/2009	Programmkomiteemitglied. 2nd International Workshop on INvariant Generation (WING 2009) (York, UK, 22.-23. März 2009). Zusammen mit 12th Joint European Conferences on Theory and Practice of Software (ETAPS 2009), (York, UK, 22.-29. März 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2009	03/2010	Programmkomiteemitglied. 2nd Workshop on Coordination in Complex Software Intensive Systems (COCOSS 2010), (Krakau, Polen, Februar 2010). Zusammen mit 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010), (Krakau, Polen,15.-18. Februar 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2004	09/2004	Programmkomiteemitglied. 3. ArbeitstagungProgrammiersprachen (ATPS 2004), (Ulm, Germany, 24. September 2004), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der GI-Jahrestagung 2004 (Ulm, Germany, 20.-24. September 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2012	04/2013	Programmkomiteemitglied. 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2013) (Barcelona, Spanien, 19.-21. Februar 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2009	05/2010	Programmkomiteemitglied. 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), (Paris, Frankreich, 6.-9. April 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2008	01/2009	Programmkomiteemitglied. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2008), (Porto Sani, Kassandra, Griechenland, 13. - 15. Oktober 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2009	08/2010	Programmkomiteemitglied. 3rd International Workshop on INvariant Generation (WING 2010) (Edinburgh, UK, 21. Juli 2010). Zusammen mit 5th Federated Logic Conference (FLoC 2010), (Edinburgh, UK, 9.-21. Juli 2010).
Wissenschaftliche Konferenz/Symposium	Organisator_in	MORSE 2016	01/2016	09/2016	Programmkomiteemitglied. 3rd International Workshop on Model-Driven Robot Software Engineering (MORSE 2016) (Wien, Österreich, Juli 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2006	10/2006	Programmkomiteemitglied. 4. Arbeitstagung Programmiersprachen (ATPS 2006), (Dresden, Deutschland, 5. Oktober 2006), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der GI-Jahrestagung 2006 (Dresden, Deutschland, 2.-6. Oktober 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2013	03/2014	Programmkomiteemitglied. 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014) (Lisbon, Portugal, 7.-9. Januar 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2010	05/2011	Programmkomiteemitglied. 4th International Conference on Software Testing, Verification and Validation (ICST 2011), (Berlin, Deutschland, 21.-25. März 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		07/2015	12/2015	Programmkomiteemitglied. 4th International Seminar onProgram Verification, Automated Debugging and Symbolic Computation (PAS 2015) (Peking, China, 21.-23. Oktober 2015).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2010	11/2010	Programmkomiteemitglied. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010) (Heraklion, Kreta, Griechenland, 18.-21. Oktober 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2003	04/2004	Programmkomiteemitglied. 4th International Workshop on Language Descriptions, Tools and Applications (LDTA 2004), (Barcelona, Spanien, 3. April 2004). In Kooperation mit ACM SIGPLAN. Zusammen mit 7th Joint European Conferences on Theory and Practice of Software (ETAPS 2004), (Barcelona, Spanien, 27. März - 4. April 2004).
Wissenschaftliche Konferenz/Symposium	Organisator_in	MORSE 2017	12/2016	08/2017	Programmkomiteemitglied. 4th International Workshop on Model-Driven Robot Software Engineering (MORSE 2017) (Marburg, Deutschland, 21. Juli 2017).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2009	11/2009	Programmkomiteemitglied. 5. Arbeitstagung Programmiersprachen (ATPS 2009), (Lübeck, Deutschland, 1. Oktober 2009), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der GI-Jahrestagung 2009 (Lübeck, Deutschland, 28. September - 2. Oktober 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2011	04/2012	Programmkomiteemitglied. 5. Arbeitstagung Programmiersprachen (ATPS 2012), (Berlin, Deutschland, 27. Februar 2012), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der Software Engineering 2012 (Berlin, Deutschland, 27. Februar - 2. März 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2006	04/2007	Programmkomiteemitglied. 5th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2007) (11.-14. März 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2011	06/2012	Programmkomiteemitglied. 5th International Conference on Software Testing, Verification and Validation (ICST 2012), (Montreal, Kanada, 17.-21. April 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2012	12/2012	Programmkomiteemitglied. 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) (Heraklion, Kreta, Griechenland, 15.-18. Oktober 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2004	04/2005	Programmkomiteemitglied. 5th International Workshop on Language Descriptions, Tools and Applications LDTA 2005 (Edinburgh, Schottland, 3. April 2005). Zusammen mit 8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, Schottland, 2.-10. April 2005).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2007	10/2008	Programmkomiteemitglied. 6th IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2008), (Prag, Tschechien, 20.-22. August 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2014	12/2014	Programmkomiteemitglied. 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2014) (Korfu, Griechenland, 8.-11. Oktober 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2004	09/2004	Programmkomiteemitglied. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), (Timisoara, Rumänien, 26.-30. September 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2010	09/2010	Programmkomiteemitglied. 6th International Workshop on Automated Specification and Verification of Web Systems (WWV 2010), (Wien, Österreich, 30.-31. Juli 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2006	04/2007	Programmkomiteemitglied. 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007), (Braga, Portugal, 25. März 2007). Zusammen mit 10th Joint European Conferences on Theory and Practice of Software (ETAPS 2007), (Braga, Portugal, 24. März - 1. April 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2002	08/2003	Programmkomiteemitglied. 6th Joint Modular Languages Conference (JMLC 2003), (Klagenfurt, Österreich, 25.-27. August 2003).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2013	04/2014	Programmkomiteemitglied. 7. Arbeitstagung Programmiersprachen (ATPS 2014), (Kiel, Deutschland, 25. Februar 2014), veranstaltet von der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der Software Engineering 2014 (Kiel, Deutschland, 25.-28. Februar 2014).
Wissenschaftliche Konferenz/Symposium	Organisator_in	ISoLA 2016	02/2016	12/2016	Programmkomiteemitglied. 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016) (Korfu, Griechenland, 5.-14. Oktober 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2005	09/2005	Programmkomiteemitglied. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), (Timisoara, Rumänien, 25.-29. September 2005).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2007	05/2008	Programmkomiteemitglied. 7th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2008), (Budapest, Ungarn, 5. April 2008). Zusammen mit 11th Joint European Conferences on Theory and Practice of Software (ETAPS 2008), (Budapest, Ungarn, 29. März - 6. April 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2005	10/2006	Programmkomiteemitglied. 7th Joint Modular Languages Conference (JMLC 2006), (Oxford, UK, 12.-15. September 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2014	05/2015	Programmkomiteemitglied. 8. Arbeitstagung Programmiersprachen (ATPS 2015) (Dresden, Deutschland, 18. März 2015), veranstaltet von der GI-Fachgruppe Programmiersprachen und Rechenkonzepte zusammen mit der Software Engineering 2015 (Dresden, Deutschland, 17.-20. März 2015).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2015	06/2015	Programmkomiteemitglied. 8th International Conference on Model Transformation (ICMT 2015) (L'Aquila, Italien, 20.-21. Juli 2015).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2006	10/2006	Programmkomiteemitglied. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), (Timisoara, Rumänien, 26.-29. September 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2008	06/2009	Programmkomiteemitglied. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), (York, UK, 22. März 2009). Zusammen mit 12th Joint European Conferences on Theory and Practice of Software (ETAPS 2009), (York, UK, 22.-29. März 2009).
Wissenschaftliche Konferenz/Symposium	Organisator_in	ICMT 2016	10/2015	09/2016	Programmkomiteemitglied. 9th International Conference on Model Transformation (ICMT 2016) (Wien, Österreich, Juli 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2007	10/2007	Programmkomiteemitglied. 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), (Timisoara, Rumänien, 26.-29. September 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2009	08/2010	Programmkomiteemitglied. 9th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), (Paphos, Zypern, 27. März 2010). Zusammen mit 13th Joint European Conferences on Theory and Practice of Software (ETAPS 2010), (Paphos, Zypern, 20.-28. März 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/1999	06/2001	Programmkomiteemitglied. ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI 2000), (Vancouver B.C., Kanada, 18.-21. Juni 2000).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2001	06/2002	Programmkomiteemitglied. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), (Berlin, Deutschland, 17.-19. Juni 2002).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2008	08/2009	Programmkomiteemitglied. ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009), (Dublin, Irland, 15.-20. Juni 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2011	06/2012	Programmkomiteemitglied. Austrian Robotics Workshop (ARW 2012) (Graz, Österreich, 3.-4. Mai 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2012	06/2013	Programmkomiteemitglied. Austrian Robotics Workshop (ARW 2013) (Wien, Österreich, Mai 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2011	03/2012	Programmkomiteemitglied. Doktorandensymposium der Software Engineering (SE 2012), (Berlin, Deutschland, 29. Februar 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2003	10/2003	Programmkomiteemitglied. Educators' Symposium at the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2003), (Anaheim, California, USA, 26.-30. Oktober 2003)
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2010	07/2011	Programmkomiteemitglied. First Workshop on Integration of Information Systems Engineering Tools (INISET 2011) (London, UK, 21. Juni 2011). Zusammen mit 23rd International Conference on Advanced Information System Engineering (CAISE 2011) (London, UK, 20.-24. Juni 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2011	06/2012	Programmkomiteemitglied. Grand Finals of the ACM Student Research Competition Program (SRCP 2012).
Wissenschaftliche Konferenz/Symposium	Organisator_in	RTAS 2016	08/2015	06/2016	Programmkomiteemitglied. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (Wien, Österreich, 10.-14. April 2016).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2014	09/2014	Programmkomiteemitglied. International Workshop on Model-Driven Robot Software Engineering (MORSE 2014) (York, UK, Juli 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		05/2010	04/2011	Programmkomiteemitglied. Software Engineering (SE 2011), (Karlsruhe, Deutschland, 21.-25. Februar 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2011	03/2012	Programmkomiteemitglied. Software Engineering (SE 2012), (Berlin, Deutschland, 27. Februar - 2. März 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2012	04/2013	Programmkomiteemitglied. Software Engineering (SE 2013), (Aachen, Deutschland, 25. Februar - 1. März 2013).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2012	02/2013	Programmkomiteemitglied. The Third Analytical Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2012) (San Juan, Puerto Rico, 4. Dezember 2012).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2005	04/2006	Programmkomiteemitglied. Workshop on Future Research Challenges for Software and Services (Wien, Österreich, 1. April 2006). Zusammen mit 9th Joint European Conferences on Theory and Practice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2006	07/2007	Programmkomiteemitglied. Workshop on INvariant Generation (WING 2007) (Hagenberg, Österreich, 25.-26. Juni 2007); zusammen mit 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoningwith (Calculemus 2007) (Hagenberg, Österreich, 27.-30. Juni 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2014	08/2015	Programmkomiteevorsitzender. 11th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015) (Auckland, Neuseeland, April 2015).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2014	02/2016	Programmkomiteevorsitzender. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (Pörtschach, Österreich, 5.-7. Oktober 2015).
Wissenschaftliche Konferenz/Symposium	Sonstiges		10/2009	06/2011	Programmkomiteevorsitzender. 20th International Conference on Compiler Construction (CC 2011), (Saarbrücken, Deutschland, 28.-29. März 2011). Mitgliedkonferenz der 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011) (Saarbrücken, Deutschland, 26. März - 3. April 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2005	10/2006	Publizitäts-Vorsitzender Europa. 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006) (Seattle, Washington, USA, 16.-20. September 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2005	04/2007	Publizitäts-Vorsitzender. 5th Annual IEEE/ACM International Symposium on Code Generation and Optimization(CGO 2007) (11.-14. März 2007).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2004	11/2004	Spezialthemengebietsvorsitzender. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), (Paphos, Zypern, 30. Oktober - 2. November 2004).
Wissenschaftliche Konferenz/Symposium	Sonstiges		02/2006	11/2006	Spezialthemengebietsvorsitzender. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006), (Paphos, Zypern, 15.-19. November 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2008	01/2009	Spezialthemengebietsvorsitzender. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2008), (Porto Sani, Kassandra, Griechenland, 13. - 15. Oktober 2008).
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2014	10/2015	Topic Co-Chair. 21st European Conference on Parallel Processing (Euro-Par 2015), (Wien, Österreich, 24.-28. August 2015). Local Chair of Topic 04 "Architectures and Compilers.''
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2009	11/2009	Track Co-Chair. 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009), (Timisoara, Rumänien, 26.-29. September 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2010	11/2010	Track Co-Chair. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010), (Timisoara, Rumänien, 23.-26. September 2010).
Wissenschaftliche Konferenz/Symposium	Sonstiges		03/2011	11/2011	Track Co-Chair. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), (Timisoara, Rumänien, 26.-29. September 2011).
Wissenschaftliche Konferenz/Symposium	Sonstiges		12/2008	02/2009	Veranstalter. Gemeinsame CompLang/RISC Arbeitstagung über "Timing Analysis and Symbolic Computation'' (Wien, Österreich, 4.-5. Februar 2009).
Wissenschaftliche Konferenz/Symposium	Sonstiges		11/2013	02/2014	Vorsitzender und Lokaler Organisator. Workshop on Timing Analysis on Code-Level of the EU FP7 COST Action IC 1202 Timing Analysis on Code-Level (TACLe) (Wien, Österreich, 22.-24. Januar 2014).
Wissenschaftliche Konferenz/Symposium	Sonstiges		04/2004	04/2006	Vorsitzender. 9th European Joint Conferences on Theory andPractice of Software (ETAPS 2006), (Wien, Österreich, 25. März - 2. April 2006).
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2001	06/2002	Vorsitzender. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), (Berlin, Deutschland, 17.-19. Juni 2002).
Wissenschaftliche Konferenz/Symposium	Organisator_in	PS&Ü-Professorentreffen	02/2016	02/2016	Vorsitzender. Hochschullehrertreffen der "Programmiersprachen- und Übersetzerbauerprofessoren", zusammen mit der Konferenz Software Engineering 2016 (Wien, Österreich, 26. Februar 2016).