A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 

max planck institut
informatik

Homepage

Viorica Sofronie-Stokkermans Max-Planck-Institut für Informatik Postal address: Max-Planck-Institut für Informatik Campus E 1.4 , Room 2.22, D-66123 Saarbrücken Germany Email: sofronie@mpi-inf.mpg.de Phone: +49 681 9325 207 Fax: +49 681 9325 999

Viorica Sofronie-Stokkermans University Koblenz-Landau Postal address: University Koblenz-Landau, Universitätsstr.1, D-56070 Koblenz Germany Email: sofronie@uni-koblenz.de Phone: +49 261 287-27 80 Fax: +49 261 287-27 ??

---

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

---

Education

• 2004 Habilitation in Computer Science at Saarland University, Saarbrücken, Germany
• 1997 PhD in Computer Science, Johannes Kepler University, Linz, Austra.

---

Coordinator of the research area "Reasoning in Complex Theories"

Past PhD Students

• Swen Jacobs (PhD defense in January 2010; now postdoctoral researcher in the LARA group at EPFL Lausanne)
• Carsten Ihlemann (PhD defense in August 2010; now at BTC, Oldenburg)
• Francis Gasse (now at the FU Berlin)

---

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

---

Publications

Sorted by year

Sorted by topic

List of publications

• Publications in the MPI Library Database (MPI data base query)

---

Talks

Slides

---

Editorial Activities

• Proceedings of ADDCT 2007
• Proceedings of CEDAR 2008
• Guest editor: 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 (Research Report 386, University of Oslo, Department of Informatics, 2009)
• Guest editor: Special issue of the Journal of Symbolic Computation:
  First Order Theorem Proving (in preparation) CFP
  
• 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: Special issue of the Journal of Automated Reasoning dedicated to CADE'23 (together with Nikolaj Bjorner)
  (in preparation)

---

Involvement in recent or upcoming conferences and schools

• Invited speaker
  • ALCOP 2011 (Meeting on Algebra, Coalgebra, and Proof Theory), Bern, Switzerland, April 27-29, 2011
  • FroCos 2007 and 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 1999
  • 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 2012 (PC member)
  • CADE-23 (PC co-chair with Nikolaj Bjørner)
  • FroCoS 2011 (Conference Chair)
  • FroCoS 2011 (PC member)
  • TABLEAUX 2011 (PC member)
  • FTP 2011 (PC member)
  • BNAIC 2011 (PC member)
  • SYNASC 2011, Logic and Programming track (PC member)
  • DL 2011 (PC member)
  • Deduktionstreffen 2011 (committee member)
  In the past:
  • IJCAR 2010 (PC member), IJCAR 2010 (Publicity chair), DL 2010 (PC member), LfSA 2010 (PC member), BNAIC 2010 (PC member), Deduktionstreffen 2010 (committee member),
  • FTP 2009 (PC co-chair with Nicolas Peltier), FroCos 2009 (PC member), TABLEAUX 2009 (PC member), ADDCT 2009 (co-chair), Deduktionstreffen 2009 (committee member), DL 2009 (PC member)
  • IJCAR 2008 (PC member), Symbolic Computation and Deduction in System Design and Verification (co-organizer; special session at ACA 2008), Deduktionstreffen 2008 (committee member), CEDAR 2008 (co-chair)
  • TABLEAUX 2007 (PC member), ADDCT 2007 (co-chair), TABLEAUX 2007 (workshops chair)
  • TABLEAUX 2005 (PC member)
  • IJCAR 2004 (PC member)
  • ISMVL technical committee (2002-2004)
  • JIM 2003 (PC member)
  • AISC 2002 (PC member)
  • AISC 2000 (PC member)

---

Referee; Committees

---

Teaching

• 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-naturwissenschaftliche Fakultät der Technischen Universität Wien.
• Summer Semester 1999: Universelle Algebra und Verbandstheorie (KVV), Saarland University.

---

Curriculum Vitae

---

• Viorica Sofronie-Stokkermans:
• Research interests
• Research activities
• - Projects
• - Publications, talks
• Editorial activities
• Conferences/Schools
• - Invited talks
• - Programme committees
• - Tutorials, lectures
• Referee, Committees
• Teaching
• CV