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, Germany

Informationen für Studierende

Publications

 

 

Events/Professional Activities

  • RAMICS 2018: Seventeenth International Conference on Relational and Algebraic Methods in Computer Science (October/November 2018, Groningen, The Netherlands)
  • 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)
  • 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)

Projects

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin