|
|
Viorica Sofronie-Stokkermans
|
Postal address:
University of Koblenz,
Universitätsstr.1,
D-56070 Koblenz
Email: sofronie@uni-koblenz.de
Phone: (+49) 261 287-27 80
|
Software
-
- 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)
- Proceedings of IJCAR 2020 (together with Nicolas Peltier):
-
Guest editor (together with Nicolas Peltier):
Special issue of the Journal of Automated Reasoning
dedicated to IJCAR 2020
J. Autom. Reasoning (2022)
-
Guest editor (together with Nicolas Peltier):
Special issue of the Journal Logical Methods in Computer Science
dedicated to IJCAR 2020 (2022).
Current:
-
- Sicherheit 2024 (PC Member)
- WOLLIC 2024 (PC Member)
- AiML 2024 (PC Member)
- IJCAR 2024 (PC Member)
- DL 2024 (PC Member)
In the past: 2000-2022
University Koblenz-Landau
Previous Semesters
|
| |
| |
|