Viorica Sofronie-Stokkermans

       

Postal address:
Universität Koblenz-Landau,
Universitätsstr.1,
D-56070 Koblenz

Email: sofronie@uni-koblenz.de
Phone: (+49) 261 287-27 80


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

  • Invited speaker
  • AVACS Concluding Colloquium
  • PAS 2014
  • SYNASC 2014
  • Anniversary Conference: Faculty of Sciences 150 years, University Bucharest, August 29-September 1, 2013
  • IFIP WG2.2 meeting, Lisboa, September 23-26, 2013
  • ALCOP 2011 (Meeting on Algebra, Coalgebra, and Proof Theory), Bern, Switzerland, April 27-29, 2011
  • FTP 2007 (invited speaker at joint FroCos and FTP session)
  • COS 2004
  • JIM 2003
  • ISMVL 2001
  • Symposium on Multiple-Valued logics affiliated with the 11th LMPRS 19
  • COS 2004
  • JIM 2003
  • ISMVL 2001
  • Seminar of the Polish Association for Logic and Philosophy of Science, April 8, 1998
  • Seminar of the Kurt Gödel Gesellschaft, TU Wien, June 19, 1996
  • Tutorials
  • 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:

    • CADE 26 (PC Member)
    • FroCoS 2017 (PC Member)
    • CSL 2017 (PC Member)
    • LICS 2016 (PC Member)
    • IJCAR 2016 (PC Member)
    • DL 2016 (PC Member)
    • AiML 2016 (PC Member)
    • SYNASC 2016 (PC Member)
    • Deduktionstreffen 2016 (PC Member)
    In the past:


    Referee; Committees


    Teaching


    University Koblenz-Landau

  • Winter Semester 2016/2017
  • Summer Semester 2016
  • Winter Semester 2015/2016: Forschungsemester

    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 entsprechenden 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 at ESSLLI 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.

  • Last modified: Wed June 9 17:45:47 CEST 2015