Prof. Dr. Barbara König

​

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

Informationen für Studierende

Veröffentlichungen

Veröffentlichungsliste bei der Universitätsbibliothek

Interne Veröffentlichungsliste

Aktivitäten

  • FSCD 2021: International Conference on Formal Structures for Computation and Deduction (July 2021, Buenos Aires, Argentina)
  • HIGHLIGHTS 2020: Highlights of Logic, Games and Automata (September 2020, Aachen, Germany)
  • MFCS 2020: International Symposium on Mathematical Foundations of Computer Science (August 2020, Prague, Czech Republic)
  • ICGT 2020:  Thirteenth International Conference on Graph Transformation (June 2020, Bergen, Norway)
  • MFPS XXXVI: Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics (June 2020, Paris, France)
  • CMCS 2020: Fifteenth International Workshop on Coalgebraic Methods in Computer Science (April 2020, affiliated with ETAPS 2020 in Dublin, Ireland)
  • Co-chair of FOSSACS 2020: Twenty-third International Conference on Foundations of Software Science and Computation Structures (April 2020, affiliated with ETAPS 2020 in Dublin, Ireland)
  • CONCUR 2019: Thirtieth International Conference on Concurrency Theory (August 2019, Amsterdam, The Netherlands)
  • ICGT 2019: Twelfth International Conference on Graph Transformation (July 2019, Eindhoven, The Netherlands)
  • Chair of MFPS XXXV: Thirty-fifth Conference on the Mathematical Foundations of Programming Semantics (June 2019, London, UK)
  • CALCO 2019: Eighth Conference on Algebra and Coalgebra in Computer Science (June 2017, London, UK)
  • LICS 2019:Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (June 2019, Vancouver, Canada)
  • RAMICS 2018: Seventeenth International Conference on Relational and Algebraic Methods in Computer Science (October/November 2018, Groningen, The Netherlands)
  • SAS 2018: Twenty-fifth Static Analysis Symposium (August 2018, Freiburg, Germany)
  • WADT 2018: Twenty-fourth International Workshop on Algebraic Development Techniques (July 2018, London, UK)
  • GCM 2018: Eighth International Workshop on Graph Computation Models (July 2018 - affiliated with STAF 2018 in Toulouse, France)
  • ICGT 2018: Eleventh International Conference on Graph Transformation (July 2018, affiliated with STAF 2018 in Toulouse, France)
  • GraphSM 2018: Fifth International Workshop on Large-scale Graph Analysis, Management and Applications (May 2018, Nice, France)
  • FOSSACS 2018: Twenty-first International Conference on Foundations of Software Science and Computation Structures (April 2018, affiliated with ETAPS 2018 in Thessaloniki, Greece)
  • Computer Science Review

Projekte