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

  • HIGHLIGHTS 2016: Highlights of Logic, Games and Automata (September 2016, Brussels, Belgium)
  • CONCUR 2016: Twenty-seventh International Conference on Concurrency Theory (August 2016, Québec City, Canada)
  • Chair of GCM 2016: Seventh International Workshop on Graph Computation Models (July 2016 - affiliated with STAF 2016 in Vienna, Austria)
  • ICGT 2016: Ninth International Conference on Graph Transformation (July 2016, affiliated with STAF 2016 in Vienna, Austria)
  • ICALP 2016: Fourty-third International Colloquium on Automata, Languages, and Programming (July 2016, Rome, Italy)
  • GaM 2016: Workshop on Graphs as Models (April 2016, affiliated with ETAPS 2016 in Eindhoven, the Netherlands)
  • CMCS 2016: Thirteenth International Workshop on Coalgebraic Methods in Computer Science (April 2016 - affiliated with ETAPS 2016 in Eindhoven, the Netherlands)
  • FASE 2016: Ninteenth International Conference on Fundamental Approaches to Software Engineering (April 2016, affiliated with ETAPS 2016 in Eindhoven, the Netherlands)
  • CONCUR 2015: Twenty-sixth International Conference on Concurrency Theory (September 2015, Madrid, Spain)
  • FCT 2015: Twentieth International Symposium on Fundamentals of Computation Theory (August 2015, Gdansk, Poland)
  • CALCO 2015: Sixth Conference on Algebra and Coalgebra in Computer Science (June 2015, Nijmegen, The Netherlands)
  • ICGT 2015: Eighth International Conference on Graph Transformation (July 2014 - affiliated with STAF 2015 in L'Aquila, Italy)
  • GCM 2015: Sixth International Workshop on Graph Computation Models (July 2015 - affiliated with STAF 2015 in L'Aquila, Italy)
  • LICS 2015: Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (July 2015, Kyoto, Japan)
  • ACSD 2015: Fifteenth International Conference on Application of Concurrency to System Design (June 2015, Brussels, Belgium)
  • GAM 2015: Workshop on Graphs as Models (April 2016, affiliated with ETAPS 2015 in London, UK)
  • Co-chair of ICGT 2014: Seventh International Conference on Graph Transformation (July 2014 - affiliated with STAF 2014 in York, UK)

Projects

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin