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 (Hierarchical Proving by Instantiation in Local Theory extensions)
  • HAHA (Hierarchical Analysis of Hybrid Automata)

  • Publications

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

  • Talks

  • Slides

  • 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)
    • 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)
    • Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5(9): 18-37, 2015 (together with Nikolaj Bjørner, Jasmin Christian Blanchette and Christoph Weidenbach)
    • Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports 7(9): 26-46, 2017 (together with Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli)

    Involvement in recent or upcoming conferences and schools

  • Invited speaker
  • ManyVal 2019, 1-3 November 2019
  • FROM 2018, June 18-20, 2018, Iasi, Romania
  • AVACS Concluding Colloquium, September 29, 2015, Oldenburg, Germany
  • PAS 2014, July 17, 2014, Part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic
  • 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:

    • IJCAR 2020 (PC co-chair)
    • LICS 2020 (PC Member)
    • Sicherheit 2020 (PC Member)
    • CADE 2019 (PC Member)
    • FroCoS 2019 (PC Member)
    • Tableaux 2019 (PC Member)
    • Deduktionstreffen 2019 (PC Member)
    • FROM 2019 (PC Member)
    • SYNASC 2019. Logic and Programming Track (PC Member)
    In the past:


    Referee; Committees


    Teaching


    University Koblenz-Landau

  • Winter Semester 2019/2020
  • Summer Semester 2019
  • Winter Semester 2018/2019
  • Summer Semester 2018
  • Winter Semester 2017/2018
  • Summer Semester 2017
  • 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