Prof. Dr. Barbara König,
Universität Duisburg-Essen,
Fakultät für Ingenieurwissenschaften,
Abteilung Informatik und Angewandte Kognitionswissenschaft,
47048 Duisburg, Germany

Information for students

I am the dean of studies of the faculty of engineering.

Events/Professional Activities

  • GReTA: International Seminar Series on Graph Transformation Theory and Applications (Online Seminar)
  • LICS 2023: Thirty-eighth Annual ACM/IEEE Symposium on Logic in Computer Science (June 2023, Boston, USA)
  • FoSSaCS 2023: Twenty-sixth International Conference on Foundations of Software Science and Computation Structures (April 2023, Paris, France)
  • RAMiCS 2023: Twentieth International Conference on Relational and Algebraic Methods in Computer Science (April 2023, Augsburg, Germany)
  • ACT 2022: Fifth International Conference on Applied Category Theory (July 2022, Glasgow, Scotland)
  • CONCUR 2022: Thirty-third International Conference on Concurrency  Theory (September 2022, Warsaw, Poland)
  • ICGT 2022: Fifteenth International Conference on Graph Transformation (July 2022, Nantes, France)
  • GCM 2022: Thirteenth International Workshop on Graph Computation Models (July 2022, Nantes, France)
  • FORTE 2022: Fourty-second International Conference on Formal  Techniques for Distributed Objects, Components, and Systems (June 2021, Lucca, Italy)
  • CMCS 2022: Sixteenth International Workshop on Coalgebraic Methods in Computer Science (April 2022, Munich, Germany)
  • FSTTCS 2021: Fourty-first IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (December 2021, India)
  • MFPS XXXVII: Thirty-seventh Conference on the Mathematical Foundations of Programming Semantics (August/September 2021, Salzburg, Austria)
  • ICGT 2021:  Fourteenth International Conference on Graph Transformation (June 2021, Bergen, Norway)
  • GCM 2021: Twelfth International Workshop on Graph Computation Models (June 2021, Bergen, Norway)
  • FSCD 2021: International Conference on Formal Structures for Computation and Deduction (July 2021, Buenos Aires, Argentina)
  • ICALP 2021: Fourty-eigth International Colloquium on Automata, Languages, and Programming (July 2021, Glasgow, Scotland)
  • FORTE 2021: Fourty-first International Conference on Formal Techniques for Distributed Objects, Components, and Systems
  • Computer Science Review
  • Journal of Logical and Algebraic Methods in Programming
  • Mathematical Structures in Computer Science

Projects