Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Bereichsnavigation

Hauptinhalt

Organisatorische Tätigkeiten von Prof. Dr. Steffen

 

 Gründungen

  • 1994, Gründung der nun jährlich stattfindenden internationalen Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
  • 1995, Gründung des etwa im Zweijahresrythmus stattfindenden internationalen Workshops Infinity.
  • 1996, Gründung des internationalen Workshops über Advanced Intelligent Networks (AIN). Diese Workshopreihe wurde 1998 beendet.
  • 1996, Mitgründer der European joint conferences on Theory and Practice of Software (ETAPS).
  • 1997, Gründung von Springers internationaler Zeitschrift über Software Tools for Technology Transfer (STTT).

 

Internationale Konferenzen und Workshops

  1. Dagstuhl Seminar N. 94-06 Algorithms in Automata Theory, February 1994 - with A. Arnold, H. Seidel.
  2. Colloquium Grundlagen der Programmierung, Working meeting of the Universities Aachen, Augsburg, Kiel, Marburg, München, Münster, Oldenburg, Passau and Saarbrücken, Alt-Reichenau (Bayerischer Wald), Oktober 1995 - with T. Margaria.
  3. Chair of TACAS'96, 2nd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau (D), March 1996.
  4. Organisation of AIN'96, Int. Workshop on Advanced Intelligent Networks, Passau (D), March 1996 (satellite to TACAS'96) - with R. Gotzhein and M. Reitenspieß.
  5. Dagstuhl Seminar N. 96-19 Semantics of Concurrent Systems - Foundations and Applications, 6-10 Mai 1996 - with M. Droste, E.-R. Olderog, G. Winskel.
  6. Organisation of the Int. Workshop on Infinite State Systems, Pisa (I), August 1996 (satellite to CONCUR'96) - with J. Bradfield, D. Caucal and F. Moller.
  7. Organisation and Chair of AIN'97, 2. Int. Workshop on Advanced Intelligent Networks, Cesena (I), July 1997 (satellite to ICALP'97).
  8. Organisation of the Int. Workshop on Infinite State Systems, Bologna (I), July 1997 (satellite to ICALP'97) - with J. Bradfield, D. Caucal and F. Moller.
  9. International Publicity Board Member of the International Colloquium on Automata, Languages, and Programming (ICALP'97), Bologna (I), July 1997.
  10. Chair of TACAS'98, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, (part of ETAPS'98), Lisbon (P), April 1998.
  11. Chair and Organisation of ACoS'98, Int. Workshop on Advanced Communication Systems, (part of ETAPS'98), Lisbon (P), April 1998 - with T. Margaria and R. Rückert.
  12. Chair of STTT'98, Int. Workshop on Software Tools for Technology Transfer, Aalborg (DK), July 1998 (satellite to ICALP'98).
  13. Organizer and Moderator of the Panel for TACAS'99, Software Engineering and the Verification Tool Builder, Amsterdam, April 1999.
  14. Organization of the Schloss Ringberg Seminar on Model Checking and Program Analysis, February 2000 - with A.Podelski and M.Vardi.
  15. Co-Chair of VMCAI'2004, Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Venice (I), April 2004.
  16. Tool Chair of TACAS'2004 - Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Barcelona (E), April 2004.
  17.  Co-Chair of ICECCS'2004, IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April, 2004.

Technologietransfer Initiativen

  • Seit 1997, Mitglied des internationalen Advisory Boards für ASTEC (Advanced Software Technology), einem schwedenweiten Kompetenzzentrum für Technologie-Transfer im Bereich `Werkzeuge und Techniken für die Softwareentwicklung'. Das Kompetenzzentrum wird vom Swedish National Board for Industrial and Technical Development gefördert.

 

Steering Committees

  • TACAS, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (seit 1994).
  • AIN, Int. Workshop on Advanced Intelligent Networks (1996-1997).
  • ETAPS, European joint conferences on Theory and Practice of Software (Oktober 1996 - Juli 1998, und März 1999 - März 2000).
  • ACoS, Int. Workshop on Advanced Communication Systems (1997-1998).

 

Herausgeberschaften

Zeitschriften
  • Editor in Chief of Software Tools for Technology Transfer (STTT), Springer Verlag - with Rance Cleaveland (1997 - 2000) and Matt Dwyer since 2000, both USA.
  • June 1994 - May 2000, Associate Editor of the ACM Transactions on Programming Languages and Systems (TOPLAS).
  • Since September 1996 Associate Editor of Formal Methods in System Design, Kluwer.
  • September 1998 - September 00, Associate Editor of Software: Concepts and Tools, Springer Verlag.
  • Guest Editor of SOFTWARE: Concepts and Tools, Special Issues with selected papers from TACAS'96 and AIN'96, Vol. 17, 1996, Springer Verlag - with T. Margaria.
  • Guest Editor of ENTCS, Volume 5 (Electronic Notes in Theoretical Computer Science), Elsevier, 1997 : Selected papers from Infinity'96 - Int. Worksh. on Verification of Infinite State Systems, Pisa (I), August 1996 - with D. Caucal (F).

 

Konferenzproceedings

  • TACAS'95, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus (Denmark), Selected Papers, Lecture Notes in Computer Science N. 1019, Springer Verlag, Nov. 1995 - with E. Brinksma (NL), R. Cleaveland (USA), K.G. Larsen (DK), T. Margaria (D).
  • Proc. TACAS'96, 2nd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, March 1996 - Lecture Notes in Computer Science N. 1055, Springer Verlag - with T. Margaria (D).
  • Proc. Infinity'96, Int. Workshop on Verification of Infinite State Systems, Pisa (I), 30-31 Aug. 1996, Techn. Report MIP-9614 Fakultät für Mathematik und Informatik, Universität Passau (Germany), July 1996 - with T. Margaria (D).
  • Proc. AIN'97, 2nd Int. Workshop on Advanced Intelligent Networks, Cesena (I), July 1997, - Techn. Report MIP-9710 Fakultät für Mathematik und Informatik, Universität Passau (Germany), June 1997 - with T. Margaria (D).
  • Proc. TACAS'98, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Lissabon (P), March 1998 - Lecture Notes in Computer Science N. 1385, Springer Verlag.
  • Services and Visualizations,  Selected Papers from the IEEE Communications Society ACoS/VISUAL'98 and AIN'97, Lecture Notes in Computer Science N. 1385, April 1998 - Springer Verlag - with T. Margaria, Roland Rückert, and Joachim Posegga (D).
  • Proc. STTT'98, Int. Workshop on Software Tools for Technology Transfer, Aalborg (DK), July 1998, - BRICS Report NS-98-4 - with T. Margaria (D).
  • State of the Art Survey on Correct System Design: Recent Insights and Advances, September 1999, LNCS 1710, Springer Verlag - with Ernst-Rüdiger Olderog.
  • Proc. of VMCAI'2004, Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Venice (I), to appear April 2004.

 

Programmkomitees

1991:
  •  LICS - Int. Conf. on Logic in Computer Science, Amsterdam (NL).
1992:
  • CAV - Int. Worksh. on Computer-Aided Verification, Montreal (CAN).
  • CONCUR - Int. Conf. on Concurrency Theory, Stony Brook - NY (USA).
1993:
  • CAV - Int. Worksh. on Computer-Aided Verification, Elounda, Crete (GR).
1994:
  • CAV - Int. Conf. on Computer-Aided Verification, Palo Alto - CA (USA).
  • CONCUR - Int. Conf. on Concurrency Theory, Uppsala (S), August 1994.
1995:
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus (DK), May 1995.
  • TAPSOFT - Int. Joint Conf. on Theory and Practice of Software Development, Aarhus (DK), May 1995.
  • CAV - Int. Conf. on Computer-Aided Verification, Liege (B), June 1995.
  • SAS - Int. Static Analysis Symposium, Glasgow (UK), Sept. 95.
1996:
  • PLDI - Int. Conf. on Programming Languages: design and Implementation, Philadelphia (USA), May'96.
  • AIN - Int. Worksh. on Advanced Intelligent Networks, Passau (D), March'96 (Programm Committee Chairman).
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Passau (D), March'96 (General and Programm Committee Chairman).
  • ESOP - European Symposium On Programming, Linköping (S), April'96
  • CONCUR - Int. Conf. on Concurrency Theory, Pisa (I), August 1996.
  • Infinity - Int. Worksh. on Verification of Infinite State Systems, Pisa (I), August 1996.
1997:
  • AAS, ACM SIGPLAN Int. Workshop on Automated Analysis of Software (satellite to POPL'97), Paris (F), January 1997.
  • FASE - Int. Conf. on Formal Aspects of Software Engineering, Lille (F), 14-18 April 1997.
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Enschede (NL), April'97.
  • AIN - Int. Worksh. on Advanced Intelligent Networks, Cesena (I), July 1997, (Program Committee Chairman).
  • Infinity - Int. Worksh. on Verification of Infinite State Systems, Bologna (I), July 1997.
  • CONCUR - Int. Conf. on Concurrency Theory, Warsaw (PL), August 1997.
1998:
  • TACAS - Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon (P), April'98 (General and Program Committee Chairman).
  • ACoS - Int. Worksh. on Advanced Communication Services, Lisbon (P), April 1998.
  • ICCL - IEEE Int. Conference on Computer Languages, May 11-13, 1998 Chicago IL (USA).
  • PROCOMET - IFIP Working Conference on Programming Concepts and Methods, IFIP Workings Groups 2.2 and 2.3, June 1998, Shelter Island, New York (USA).
  • ICALP - Int. Colloquium on Automata, Languages, and Programming, July 1998, Aalborg (DK).
  • STTT - Int. Workshop on Software Tools for Technology Transfer July 1998, Aalborg (DK).
  • SAS - Int. Static Analysis Symposium, September 1998, Pisa (I).
1999:
  • QWE, Quality Week Europe, Brüssels (B), November 1999.
2000:
  • TACAS - Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Berlin (D), April 2000.
  • SAS - Int. Static Analysis Symposium, Santa Barbara (USA), Sept. 2000.
  • Net-ObjectDays, Erfurt (D), September 2000.
  • QWE, Quality Week Europe, Brüssels (B), November 2000.
2001:
  • POPL - Int. Conference on Principles of Programming Languages, London (GB), January 2001.
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Genova (I), April'01.
  • PASTE, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Snowbird, Utah, June 2001.
  • Net-ObjectDays, Erfurt (D), September 2001.
  • Software Trends, Open Space Symposium for Business, Education and Research `Business Strategy-Based Software Engineering', Lake Luzern, September 2001.
  • e-models, First IFIP Conference on E-Models, E-Business and E-Government, Zürich, October 2001.
  • QWE, Quality Week Europe, Brüssels (B), November 2001.
2002:
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Grenoble (F), April'02.
  • CAV - Int. Worksh. on Computer-Aided Verification, Kopenhagen (DK), July 2002.
  • Infinity - Int. Worksh. on Verification of Infinite State Systems, Brno (CZ), August 2002.
  • FTRTFT - 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Oldenburg (D), September 2002.
2003:
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Warschau (PL), April'03.
  • ICALP - Int. Colloquium on Automata, Languages, and Programming, Eindhoven (NL), July 2003.
  • Infinity - Int. Worksh. on Verification of Infinite State Systems, August 2003.
2004:
  • VMCAI'2004, Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Venice (I), January 2004, (General and Program Committee Co-Chairman).
  • TACAS - Int. Worksh. on Tools and Algorithms for the Construction and Analysis of Systems, Barcelona (E), April'04.
  • ICECCS'2004, IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April, 2004 (Programm Committee Co.Chairman)
  • ETAPS 2004 Satellite Workshop on Semantic Foundations of Engineering Design Languages (SFEDL) Barcelona, Spain One-day workshop Saturday, 3 April 2004


Nebeninhalt

 

Kontakt

Tel. (0231) 755-5801
Fax (0231) 755-5802