Prof. Dr. Barbara König



​

Prof. Dr. Barbara König,
Universität Duisburg-Essen,
Fakultät für Informatik,
Abteilung für Allgemeine Informatik,
47048 Duisburg

Informationen für Studierende

Veröffentlichungen

Veröffentlichungsliste bei der Universitätsbibliothek

Interne Veröffentlichungsliste

Aktivitäten

  • HIGHLIGHTS 2024:Highlights of Logic, Games and Automata (September 2024, Bordeaux, France)
  • CONCUR 2024: Thirty-fifth International Conference on Concurrency  Theory (September 2024, Calgary, Canada)
  • MFCS 2024: 49th International Symposium on Mathematical Foundations of Computer Science (August, Bratislava, Slovakia)
  • ICGT 2024: Seventeenth International Conference on Graph Transformation (July 2024, Enschede, The Netherlands)
  • CMCS 2024: Seventeenth International Workshop on Coalgebraic Methods in Computer Science (April 2024, Luxembourg)
  • GReTA: International Seminar Series on Graph Transformation Theory and Applications (Online Seminar)
  • ICGT 2023: Sixteenth International Conference on Graph Transformation (July 2023, Leicester, UK)
  • GCM 2023: Thirteenth International Workshop on Graph Computation Models (July 2023, Leicester, UK)
  • LICS 2023: Thirty-eighth Annual ACM/IEEE Symposium on Logic in Computer Science (June 2023, Boston, USA)
  • QUALOG 2023: International Workshop on QUAntitative LOGical methods (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

Projekte