Prof. Dr. Viorica Sofronie-Stokkermans

 

Functions

  • Head of the GroupResearch Group Sofronie-Stokkermans
  • Institut für Informatik: Geschäftsführende Leiterin
  • Committees FB4 
    • Bibliotheksausschuss (Sprecher)
    • Fachbereichsrat (2015-2016)
    • Promotionsausschuss (2014-2017)
  • GI Vertrauensdozentin
  • GI Ansprechspartnerin (Universität Koblenz-Landau)

 

Research Interests


  • Logic
    • Classical logic, non-classical logics, description logics
    • Logic and algebra
    • Applications (verification, knowledge representation) 
  • Automated reasoning 
    • Automated reasoning in classical and non-classical logic; decision procedures
    • Combinations of logical theories; combinations of decision procedures
  • Applications 
    • Verification ((deductive) verification; combinations of systems; mathematical models for concurrency; modularity)
    • Knowledge representation (ontologies, description logics)
    • Cryptography
    • Mathematics
  •      Algebra 
    • representation theorems in universal algebra
    • decidability, complexity in universal algebra
    • computer algebra

Projects

  • Principal investigator in the SFB Transregio AVACS, Phase 1 (2005-2007)
  • Principal investigator in the SFB Transregio AVACS, Phase 2 (2008-2011)
  • Principal investigator in the SFB Transregio AVACS, Phase 3 (2012-2015)
  • Older projects

Software


Publications


Talks


Editorial Activities

  • Proceedings of ADDCT 2007
  • Proceedings of CEDAR 2008
  • Guest editor (together with S.Ghilardi, U.Sattler, A. Tiwari):
    Special issue of the Journal of Symbolic Computation:
    Automated Deduction: Decidability, Complexity, Tractability (CFP)
    JSC Vol.45 Nr.2 (February 2010)
  • Proceedings of ADDCT 2009 (joint with UNIF'09)
  • Proceedings of FTP 2009 (together with Nicolas Peltier)
    • Research Report 386, University of Oslo, Department of Informatics, 2009)
    • CEUR Workshop Proceedings, Vol.556
    • Guest editor (together with Nicolas Peltier):
      Special issue of the Journal of Symbolic Computation:
      First Order Theorem Proving (CFP)
      JSC Vol.47 Nr.9 (September 2012)
    • Proceedings of CADE 23 (together with Nikolaj Bjorner)
      Automated deduction - CADE 23, LNAI 6803, Springer 2011
    • Proceedings of FroCoS 2011 (together with Cesare Tinelli)
      Frontiers of Combining Systems, 8th International Symposium,
      FroCoS 2011, LNAI 6989, Springer 2011
    • Guest editor (together with Nikolaj Bjorner):
      Special issue of the Journal of Automated Reasoning
      dedicated to CADE'23
      J. Autom. Reasoning 51(1): 1-2 (2013)
    • Proceedings of ADDCT 2013 (together with Silvio Ghilardi, Ulrike Sattler and Ashish Tiwari)
    • Proceedings of ADDCT 2014 (together with Silvio Ghilardi and Ulrike Sattler)
    • Editor (together with Nikolaj Bjørner, Jasmin Christian Blanchette and Christoph Weidenbach):
      Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5(9): 18-37 (2015)
    • Editor (together with Jasmin Christian Blanchette, Carsten Fuhs and Cesare Tinelli): Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports 7(9): 26-46 (2017)

    Involvement in recent or upcoming conferences and schools

    • Lecture at the AVACS spring school (Oldenburg, Gemany, March 2010)
    • ESSLLI 2009: "Reasoning in complex theories and applications" (Advanced Course)
    • Sildes

    Organization, Program Committee

    Current:

     

    • IJCAR 2020 (PC co-chair)
    • LICS 2020 (PC Member)
    • CADE 2019 (PC Member)
    • FroCoS 2019 (PC Member)
    • Tableaux 2019 (PC Member)
    • Deduktionstreffen 2019 (PC Member)
    • SYNASC 2019 (PC Member)

     

    In the past:

     


    Referee; Committees


    Teaching


    University Koblenz-Landau


    Summer Semester 2019

    • Logik für Informatiker
    • Grundlagen der theoretischen Informatik
    • Seminar "Decision Procedures and Applications"

    Winter Semester 2018/2019

    • Vertiefung theoretische Informatik
    • Decision Procedures for Verification
    • Formal Specification and Verification

    Summer Semester 2018

    • Logik für Informatiker
    • Grundlagen der theoretischen Informatik
    • Seminar "Decision Procedures and Applications"

    Winter Semester 2017/2019 

    • Vertiefung Theoretische Informatik
    • Decision Procedures for Verification
    • Non-Classical Logics

    Summer Semester 2017

    Winter Semester 2016/2017

    Summer Semester 2016

    Winter Semester 2015/2016: Forschungsfreier Semester

    Winter Semester 2015/2016: Forschungsfreier Semester

    • Vertiefung Theoretische Informatik: findet im Sommersemester 2016 statt.
    • Decision Procedures for Verification: wird erst im Wintersemester 2016/2017 angeboten.
    • Nicht-klassische Logiken: wird erst im Wintersemester 2016/2017 angeboten.
    Studierende, die eine dieser Veranstaltungen bereits besucht haben,  und die entsprechende Prüfungsleistung noch nicht erfolgreich erbracht haben, werden die Möglichkeit haben, bereits im Wintersemester 2015/16 eine Prüfung abzulegen. Wer diese Möglichkeit wahrnehmen will, richte sich bitte mit einer entsprechender Anfrage per e-mail an sofronie@uni-koblenz.de.

     


    Summer Semester 2015

      Winter Semester 2014/2015

      Summer Semester 2014

      Winter Semester 2013/2014

      Summer Semester 2013

      Winter Semester 2012/2013

    Summer Semester 2012

      Winter Semester 2011/2012

    Previous Semesters


    Functions