Prof. Dr. Barbara König

• Sprechstunde: nach Vereinbarung


• Ich bin Prüfungsausschussvorsitzende für die Bachelor-/Master-Studiengänge "Angewandte Informatik (Ingenieur- und Medieninformatik) -> Weitere Informationen zu diesen Studiengängen


• Lehre im SS 2012:
  • Vorlesung "Mathematische Strukturen"
  • Vorlesung "Logik"
  • Vorlesung "Modellierung nebenläufiger Systeme"

• Lehre im WS 2011/12:
  • Berechenbarkeit und Komplexität
  • Modellierung/Modellierungsmethoden der Informatik
  • Modellierung, Analyse, Verifikation (Programmanalyse)
  • Formale Aspekte der Softwares-Sicherheit und Kryptographie
  • Seminar "Spiele in der Informatik"

• Lehre im SS 2011:
  • Vorlesung "Mathematische Strukturen"
  • Vorlesung "Logik"
  • Vorlesung "Modellierung nebenläufiger Systeme"

Publications

• CALCO 2013: Conference on Algebra and Coalgebra in Computer Science (September 2013, Warsaw, Poland)

• CALCO-Tools 2013: Workshop at CALCO 2013 dedicated to tools based on algebraic and/or coalgebraic principles (September 2013, Warsaw, Poland)

• MFCS 2013: International Symposium on Mathematical Foundations of Computer Science (August 2013, Klosterneuburg, Austria)

• ACSD 2013: Thirteenth International Conference on Application of Concurrency to System Design (July 2013, Barcelona)

• RTA 2013: International Conference on Rewriting Techniques and Applications (June 2013, Eindhoven, Netherlands)

• IWC 2013: Second International Workshop on Confluence (June 2013 - affiliated with RTA 2013 in Eindhoven, The Netherlands)

• TACAS 2013: Nineteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (March 2013 - affiliated with ETAPS 2013 in Rome, Italy)

• GT-VMT 2013: Twelfth International Workshop on Graph Transformation and Visual Modeling Techniques  (March 2013 - affiliated with ETAPS 2013 in Rome, Italy)

• ICGT 2012: Sixth International Conference on Graph Transformation (September 2012, Bremen, Germany)

• ICGT 2012 Doctoral Symposium (affiliated with ICGT 2012 in Bremen, Germany)

• CONCUR 2012: Twenty-third International Conference on Concurrency Theory (September 2012, Newcastle upon Tyne, UK)

• ACSD 2012: Twelfth International Conference on Application of Concurrency to System Design (Hamburg, Germany)

• Co-chair of TACAS 2012: Eighteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (affiliated with ETAPS 2012 in Tallinn, Estonia)

• GT-VMT 2012: Eleventh International Workshop on Graph Transformation and Visual Modeling Techniques (affiliated with ETAPS 2012 in Tallinn Estonia)


• VMCAI 2012: Thirteenth International Conference on Verification, Model Checking, and Abstract Interpretation (Philadelphia, USA)

• Organizer and co-chair of CONCUR 2011: Twenty-second International Conference on Concurrency Theory (Aachen, Germany)

• Computer Science Review

• Formal Methods Letters

• Graphs, Recognizability and Verification (GaReV), DFG project


• Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG project


• Static Analysis of Dynamically Evolving Systems (SANDS), DFG project
  Within the "Aktionsplan Informatik" (Emmy Noether Programme) (concluded)