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)
- ACT 2022: Fifth International Conference on Applied Category Theory (July 2022, Glasgow, Scotland)
- CONCUR 2022: Thirty-third International Conference on Concurrency Theory (September 2022, Warsaw, Poland)
- ICGT 2022: Fifteenth International Conference on Graph Transformation (July 2022, Nantes, France)
- GCM 2022: Thirteenth International Workshop on Graph Computation Models (July 2022, Nantes, France)
- FORTE 2022: Fourty-second International Conference on Formal Techniques for Distributed Objects, Components, and Systems (June 2021, Lucca, Italy)
- CMCS 2022: Sixteenth International Workshop on Coalgebraic Methods in Computer Science (April 2022, Munich, Germany)
- FSTTCS 2021: Fourty-first IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (December 2021, India)
- MFPS XXXVII: Thirty-seventh Conference on the Mathematical Foundations of Programming Semantics (August/September 2021, Salzburg, Austria)
- ICGT 2021: Fourteenth International Conference on Graph Transformation (June 2021, Bergen, Norway)
- GCM 2021: Twelfth International Workshop on Graph Computation Models (June 2021, 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
- Computer Science Review
- Journal of Logical and Algebraic Methods in Programming
- Mathematical Structures in Computer Science
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)