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
also part-time senior researcher at the Max-Planck-Institut für Informatik, Saarbrücken
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
Publications
Talks
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 (together with Nicolas Peltier)
- Research Report 386, University of Oslo, Department of Informatics, 2009)
- CEUR Workshop Proceedings, Vol.556
-
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
- 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
-
Lectures
- Lecture at the AVACS spring school (Oldenburg, Gemany, March 2010)
- ESSLLI 2009: "Reasoning in complex theories and applications" (Advanced Course)
-
Organization, Program Committee
Current:- IJCAR 2012
- DL 2012(PC member)
- LfSA 2012
- CADE-23(PC co-chair withNikolaj Bjorner); 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)
- 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
University Koblenz-Landau
- 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.