Viorica Sofronie-Stokkermans
From semanticweb.org
Affiliation: Max-Planck-Institut für Informatik, Saarbrücken
Homepage: www.mpi-inf.mpg/~sofronie
PC (co-)chair: FTP 2009, ADDCT 2009, CEDAR 2008, ADDCT 2007.
PC member of: IJCAR 2010, DL 2010, LfSA 2010, FroCos 2009, Tableaux 2009, DL 2009, IJCAR 2008, TABLEAUX 2007, TABLEAUX 2005, IJCAR 2004
OC member of: ADDCT 2009, CEDAR 2008, Symbolic Computation and Deduction in System Design and Verification (with ACA 2008), ADDCT 2007
