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
- Raum: LF 264
- Telefon: +49 203 379-3397
- Fax: +49 203 379-3557
- barbara_koenig(at)uni-due.de
Informationen für Studierende
Ich bin Studiendekanin der Fakultät für Ingenieurwissenschaften.
- Sprechstunde: nach Vereinbarung
- Liste der Lehrveranstaltungen
Aktivitäten
- GReTA: International Seminar Series on Graph Transformation Theory and Applications (Online Seminar)
- ICGT 2021: Fourteenth International Conference on Graph Transformation (June 2020, Bergen, Norway)
- GCM 2021: Twelfth International Workshop on Graph Computation Models (June 2020, 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
- 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
- Journal of Logical and Algebraic Methods in Programming
Projekte
- User-Centred Social Media (UCSM), DFG research training group
- Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA), DFG-Projekt
- Graphs, Recognizability and Verification (GaReV), DFG-Projekt (abgeschlossen)
- Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG-Projekt (abgeschlossen)
- Static Analysis of Dynamically Evolving Systems(SANDS), DFG-Projekt
Within the "Aktionsplan Informatik" (Emmy Noether Programme) (abgeschlossen)