Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
[go: Go Back, main page]
Viorica Sofronie-Stokkermans

Viorica Sofronie-Stokkermans

Programming Logics Group
Max-Planck-Institut für Informatik

Stuhlsatzenhausweg 85
D-66123 Saarbrücken
Germany		 Phone: +49 681 9325-207
Fax: +49 681 9325-299
e-mail: sofronie at mpi-sb.mpg.de

Research Interests
  • Automated reasoning
  • Automated reasoning in classical and non-classical logic
  • Combinations of decision procedures
  • Complex systems
  • Modeling (mathematical models for concurrency, sheaf semantics)
  • (Deductive) verification
  • Logic
  • applications to verification, knowledge representation
  • Algebra
  • representation theorems in universal algebra
  • decidability, complexity in universal algebra
  • computer algebra

    • Projects
  • Principal investigator in the SFB Transregio AVACS

    • Publications
  • List of publications
  • Sorted by year
  • Sorted by topic
  • Publications in the MPI Library Database (MPI data base query)

    • Talks
  • Sorted by year
  • Slides

    • Involvement in recent or upcoming conferences

  • Invited speaker
  • 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
  • Organization
  • ADDCT 2007 (co-chair)
  • TABLEAUX 2007 (workshops chair)
  • ISMVL technical committee (2002-2004)
  • Program Committee
  • ADDCT 2007
  • TABLEAUX 2007
  • TABLEAUX 2005
  • IJCAR 2004 (program
  • ISMVL technical committee (2002-2004)
  • JIM 2003
  • AISC 2002
  • AISC 2000

    • PhD Students

  • Carsten Ihlemann
  • Swen Jacobs

    • Teaching

  • Winter Semester 2005/2006: Seminar: Decision procedures for logical theories, University Saarbrücken.
  • 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, University Saarbrücken.
  • Summer Semester 2001: Universelle Algebra und Verbandstheorie, University Saarbrücken.
  • 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), University Saarbrücken.
    • Contact me anytime if you are interested in doing a project or thesis with me.

    Responsibilities:

  • Applications for Ph.D. and Post-Doctoral fellowships in AG2
  • Library (book suggestions)

    • Curriculum Vitae

    Impressum and legal notices

    file last changed 8.01.2007