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

  • Co-chair of FOSSACS 2020: Twenty-third International Conference on Foundations of Software Science and Computation Structures (April/May 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)
  • ENIC 2017: Fourth European Network Intelligence Conference (September 2017, Duisburg, Germany)
  • HIGHLIGHTS 2017: Highlights of Logic, Games and Automata (September 2017, London, UK)
  • CAV 2017: Twenty-ninth International Conference on Computer-Aided Verification (July 2017, Heidelberg, Germany)
  • ICGT 2017: Tenth International Conference on Graph Transformation (July 2017, affiliated with STAF 2017 in Marburg, Germany)
  • Co-chair of the STAF Doctoral Symposium (July 2017, Marburg, Germany)
  • GCM 2017: Eighth International Workshop on Graph Computation Models (July 2017 - affiliated with STAF 2017 in Marburg, Germany)
  • Co-chair of CALCO 2017: Seventh Conference on Algebra and Coalgebra in Computer Science (June 2017, Ljubljana, Slovenia)
  • MFPS XXXIII: Thirty-third Conference on the Mathematical Foundations of Programming Semantics (June 2017, Ljubljana, Slovenia)
  • GaM 2017: Workshop on Graphs as Models (April 2017, affiliated with ETAPS 2017 in Uppsala, Sweden)
  • SOFSEM 2017 - "Foundations of Computer Science" Track (January 2017, Limerick, Ireland)
  • Computer Science Review

Projekte