Prof. Dr. Barbara König
Prof. Dr. Barbara König,
University of Duisburg-Essen,
Faculty of Computer Science,
47048 Duisburg, Germany
- Room number: LF 264
- Phone: +49 203 379-3397
- Fax: +49 203 379-3557
- barbara_koenig(at)uni-due.de
- ORCID: 0000-0002-4193-2889
- Google Scholar
- DBLP
Information for students
- Consultation hours: by arrangement
- List of courses
Events/Professional Activities
- HIGHLIGHTS 2024:Highlights of Logic, Games and Automata (September 2024, Bordeaux, France)
- CONCUR 2024: Thirty-fifth International Conference on Concurrency Theory (September 2024, Calgary, Canada)
- MFCS 2024: 49th International Symposium on Mathematical Foundations of Computer Science (August, Bratislava, Slovakia)
- ICGT 2024: Seventeenth International Conference on Graph Transformation (July 2024, Enschede, The Netherlands)
- CMCS 2024: Seventeenth International Workshop on Coalgebraic Methods in Computer Science (April 2024, Luxembourg)
- GReTA: International Seminar Series on Graph Transformation Theory and Applications (Online Seminar)
- ICGT 2023: Fifteenth International Conference on Graph Transformation (July 2023, Leicester, UK)
- GCM 2023: Thirteenth International Workshop on Graph Computation Models (July 2023, Leicester, UK)
- LICS 2023: Thirty-eighth Annual ACM/IEEE Symposium on Logic in Computer Science (June 2023, Boston, USA)
- QUALOG 2023: International Workshop on QUAntitative LOGical methods (June 2023, Boston, USA)
- FoSSaCS 2023: Twenty-sixth International Conference on Foundations of Software Science and Computation Structures (April 2023, Paris, France)
- RAMiCS 2023: Twentieth International Conference on Relational and Algebraic Methods in Computer Science (April 2023, Augsburg, Germany)
- 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
Projects
- Spectra of Behavioural Distances and Quantitative Logics (SpeQt), DFG project
- User-Centred Social Media (UCSM), DFG research training group (concluded)
- Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA), DFG project (concluded)
- Graphs, Recognizability and Verification (GaReV), DFG project (concluded)
- Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG project (concluded)
- Static Analysis of Dynamically Evolving Systems (SANDS), DFG project within the "Aktionsplan Informatik" (Emmy Noether Programme) (concluded)