Prof. Dr. Viorica Sofronie-Stokkermans

Head of the Group (Research Group Sofronie-Stokkermans)
Contact
+49 0261 287-2780
B 225

Functions


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 (since 2005)
  • Principal investigator in the SFB Transregio AVACS, Phase 2 (since 2008)
  • Principal investigator in the SFB Transregio AVACS, Phase 3 (since 2012)
  • Older projects

  • Software

  • H-PILoT

  • Publications

  • Sorted by year
  • Sorted by topic
  • List of publications

  • Talks

  • Slides

  • Editorial Activities


    Involvement in recent or upcoming conferences and schools

    • CADE-22: "Hierarchical and modular reasoning in complex theories" (slides)
    • KI 2008: "Reasoning in complex theories and applications" (slides)
  • Lectures
    • 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:

     

    • FSCD 2018 (PC Member)
    • AiML 2018 (PC Member)
    • CADE 26 (PC Member)
    • FroCoS 2017 (PC Member)
    • CSL 2017 (PC Member)
    • SYNASC 2017. Logic and Programming Track (PC Member)
    • FROM 2017 (PC co-chair)
    • Deduktionstreffen 2017 (PC Member)
    •  

    In the past:

     


    Referee; Committees


    Teaching


    University Koblenz-Landau


    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

  • Summer Semester 2011:Selected Topics in Automated Reasoning: Decision Procedures and Applications, Saarland University.
  • Summer Semester 2010:Seminar: Decision procedures for logical theories, Saarland University.
  • Lecture at the AVACS spring school (Oldenburg, Gemany), 15 March 2010.Slides
  • Summer 2009: Advanced Course atESSLLI 2009"Reasoning in complex theories and applications".Slides
  • CADE-22: "Hierarchical and modular reasoning in complex theories" (Tutorial).
  • Summer Semester 2009:Selected Topics in Automated Reasoning, Saarland University.
  • KI 2008: "Reasoning in complex theories and applications" (Tutorial)
  • Summer Semester 2008:Seminar: Decision procedures for logical theories, Saarland University.
  • Winter Semester 2005/2006:Seminar: Decision procedures for logical theories, Saarland University.
  • Winter Semester 2004/2005:Diskrete Strukturen und Logik, University Trier.
  • Winter Semester 2004/2005:Automated Reasoning, University Trier.
  • Summer Semester 2004:Automated Reasoning;Exercises.
  • Summer Semester 2002:Nichtklassische Logiken, Saarland University.
  • Summer Semester 2001:Universelle Algebra und Verbandstheorie, Saarland University.
  • Winter Semester 1999/2000:AK der Theoretischen Informatik 3 (185.134), blocked course (Jan 24-28, 2000), E 185 Institut für Computersprachen der Technisch-naturwissenschaftlichen Fakultät der Technischen Universität Wien.
  • Summer Semester 1999:Universelle Algebra und Verbandstheorie(KVV), Saarland University.