Professional Activities

Editorial activities
Advisory work for funding bodies
Trusts, Steering committees and Organising committees
Organisation of scientific meetings
Networks
Invited talks and tutorials

Editorial activities

Journals

I am Associate Editor of the Artificial Intelligence: An Internatonal Journal, Elsevier.

I am Associate Editor of the Journal of Artificial Intelligence Research, AI Access Foundation.

I am Associate Editor and member of the editorial board of the Journal of Automated Reasoning, Springer.

I am a member of the editorial board of the Journal of Applied Non-Classical Logic, Taylor & Francis.

Edited special journal issues

Special Issue of Selected Extended Papers of CADE-22. Together with Brigitte Pientka (eds). Journal of Automated Reasoning 47 (2) (2011).
BiBTeX, Editorial, Special issue.
Special Issue on Practical Aspects of Automated Reasoning. Boris Konev, Renate A. Schmidt, Stephan Schulz (eds). AI Communications 23 (2-3) (2010).
BiBTeX, Editorial, Special issue.
Special issue on Empirically Successful Computerized Reasoning. Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz (eds). Journal of Applied Logic 7 (1) (2009).
BiBTeX, Link to JAL.
Special issue on Relations and Kleene Algebras in Computer Science. Renate A. Schmidt, Georg Struth (eds). Journal of Logic and Algebraic Programming 76 (1) (2008).
BiBTeX, Link to JLAP.
Special Issue on Implementation of Logics. Boris Konev, Renate Schmidt, Stephan Schulz (eds). Journal of Applied Non-Classical Logic 16 (1-2) (2006).
BiBTeX, Full text via JANCL.

Edited books

Relations and Kleene Algebra in Computer Science. R. A. Schmidt (ed), Lecture Notes in Computer Science, Vol. 4136, Springer (2006).
Abstract, BiBTeX, Full text via Springer.
Advances in Modal Logic, Volume 5. R. A. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing (eds). King's College Publications, London (2005).
Abstract, BiBTeX, Online version.

Edited proceedings

Proceedings of the 34th International Workshop on Description logics (DL 2021). Together with M. Homola and V. Ryzhikov (eds), CEUR Workshop Proceedings Vol. 2954, CEUR-WS.org.
Link to CEUR
Automated Reasoning with Analytic Tableaux and Related Methods. The 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings. Together with C. Nalon (eds), Lecture Notes in Artificial Intelligence, Vol. 10501, Springer.
Abstract, BiBTeX, DOI Link.
Frontiers of Combining Systems-FroCoS 2013. 9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings. P. Fontaine, C. Ringeissen and R. A. Schmidt (eds). Lecture Notes in Artificial Intelligence, Vol. 8152, Springer (2013).
Abstract, BiBTeX, DOI Link.
PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. P. Fontaine, R. A. Schmidt and S. Schulz (eds). EPiC Series, Vol. 21, EasyChair (2013).
Abstract, BiBTeX, Proceedings.
Proceedings of the Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010). Konev, B., Schmidt, R. and Schulz, S. (eds), EPiC Series, Vol. 9, EasyChair (2012).
Abstract, BiBTeX.
Automated Deduction-CADE-22. 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Schmidt, R. A. (ed), Lecture Notes in Artificial Intelligence, Vol. 5663, Springer (2009).
Abstract, BiBTeX, Full text via Springer.
Reasoning Web: Semantic Technologies for Information Systems. 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures. Tessaris, S., Franconi, E., Eiter, Th., Gutierrez, C., Handschuh, S., Rousset, M.-C. and Schmidt, R. A. (eds), Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 5689, Springer (2009).
Abstract, BiBTeX, Full text via Springer.
Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics (KEAPPA & IWIL 2008). Rudnicki, P., Sutcliffe, G., Konev, B., Schmidt, R., and Schulz, S. (eds), CEUR Workshop Proceedings, Vol. 418 (2008).
Abstract, BiBTeX, Full text via CEUR.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008). B. Konev, R. A. Schmidt and S. Schulz (eds). CEUR Workshop Proceedings, Vol. 373 (2008).
Abstract, BiBTeX, Full text via CEUR.
Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), 3rd International Joint Conference on Automated Reasoning. G. Sutcliffe, R. Schmidt and S. Schulz (eds). CEUR Workshop Proceedings, Vol. 192 (2006).
Abstract, BiBTeX, Full text via CEUR.
AiML-2004: Advances in Modal Logic. R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing (eds). Technical Report UMCS-04-09-01, University of Manchester, UK (2004).
Abstract, BiBTeX, PDF.
Fourth International Workshop on the Implementation of Logics. B. Konev and R. Schmidt (eds). Technical Report ULCS-03-018, University of Liverpool (2003).
Abstract, BiBTeX, PDF.

Advisory work for funding bodies

Member of EPSRC ICT Prioritisation Panel, 2019.
Member of the Computer Science Evaluation Group of Canada's Natural Sciences and Engineering Research Council (NSERC) (2012-2015)
Member of the EPSRC Peer Review College (since 2006)

Trusts, Steering committees and Organising committees

Current

The International Conference on Automated Deduction (CADE) (Vice-President since 2021, and Trustee, elected 2020, elected 2008-2015, elected 2016-2019, Vice-President 2011-2015, CADE Skolem Award Committee 2017, 2019).
Description Logic (Steering Committee member, since 2020).
British Logic Colloquium (Trustee, reelected 2023, reelected 2021, reelected 2019, elected 2017).
Practical Aspects of Automated Reasoning (Co-Founder, Steering Committee member, since 2014).

Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) (Steering committee member, 2014-2019).
Frontiers of Combining Systems (FroCoS) (Steering committee member, 2012-2019).
Advances in Modal Logic Initiative (AiML) (Steering committee member, 2002-2010).
Relational Methods in Computer Science (RelMiCS) (Steering committee member, 2005-2014).
Automated Reasoning Workshop (Organising committee member 2002-2018).

Organisation of scientific meetings

Networks

Network on the Verification and Validation of Autonomous Systems

Invited talks and tutorials

Key note presentations

Extraction Based on Forgetting and Subontology Generation. 35th International Workshop on Description Logics (DL 2022), Haifa, Israel.
Advances and Challenges in the Development and Application of Forgetting Tools. 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022), Haifa, Israel.
Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies. International Conference: Non-Classical Logics, Theory and Applications (NCL 2022), Lodz, 2022.
Just the Right Amount: SNOMED CT Content Extraction and Sharing. Invited SNOMED Research Webinar, SNOMED International, 20 Jan. 2021. Co-presenters: W. Del-Pinto and Y. Gao.
Forgetting and Subontology Generation for the Medical Ontology SNOMED CT. Joint TABLEAUX & FroCoS Invited talk, Virtual & Birmingham, Sep. 2021.
Automated Forgetting and Uniform Interpolation: Three Tools. Invited talk, SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics, Dresden, Dec. 2017.
Automated Forgetting and Uniform Interpolation for Description Logics. Invited talk, 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Brasilia, Sept. 2017.
Practical Forgetting and Uniform Interpolation for Description Logics. Invited talk, Deduktionstreffen, Berlin, Germany, 2015. Abstract, Slides
Automating Prover Development for Non-Classical Logics. Invited talk, 6th Conference on Nonclassical Logics, Theory and Applications, Lodz, 2013. Abstract, Slides
Synthesis, Refinements and Search Strategies for Semantic Tableaux with Blocking. Invited talk, The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012), Manchester, 2012. Slides
Synthesising Terminating Tableaux for Non-Classical Logics. Invited talk, 4th Conference on Nonclassical Logics, Theory and Applications, Lodz, 2011.
Synthesising Terminating Tableaux for Relational Logics. Invited talk, 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Rotterdam, 2011.
Simulation and Synthesis of Deduction Calculi. Key note presentation, Methods for Modalities 2009 (M4M-6), Copenhagen, 2009.
Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Key note presentation, Deduktionstreffen, Koblenz, Germany, 2007.
Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Key note presentation, Sixth International Conference on Advances in Modal Logic (AiML 2006), Noosa, Australia, 2006.

Selected invited seminars

Uniform Interpolation and Forgetting for Description Logics. 'Algebra, Logic, and Algorithms' seminar, Schools of Mathematics and Computing, University of Leeds, 2014.
Automated Prover Development with MetTeL for Non-Classical Logics. Seminar, McGill University, 2014.
Computing Uniform Interpolants for Description Logics. Seminar, Universitaet Koblenz, 2013.
Computing Uniform Interpolants for Description Logics. Seminar, Max-Planck Institut fur Informatik, Saarbrucken, 2013.
Second-Order Quantifier Elimination. Oxford Advanced Seminar on Informatic Structures, Computing Laboratory, University of Oxford, 2009.
Second-Order Quantifier Elimination. Departmental Seminar, Department of Computer Science, University of Liverpool, 2008.
Second-Order Quantifier Elimination. Departmental Wednesday Seminar, Computer Laboratory, University of Cambridge, 2008.
A General Tableau Method for Deciding Description Logics and Related Logics. NICTA LC Seminar, NICTA, Canberra, 2008.
Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Invited seminar, Max-Planck Institut fur Informatik, Saarbrucken, 2006.
First-Order Resolution Methods for Description Logics. Invited seminar, Department of Computer Science, University of Sheffield, 2005.

Tutorials and invited lectures

Generating Tableau Provers Using MetTeL2, TABLEAUX 2013, 16-19 September 2013, Nancy. Slides, Alternative tutorial page
Automated Synthesis of Tableau Calculi, 23rd ESSLLI 2011, 8-12 August 2011, Ljubljana. Preliminary course material
Resolution-Based Theorem Proving for Modal and Description Logic, FIRST Autumn School on Modal Logic, 10-11 Nov 2009, Copenhagen.
Resolution-Based Theorem Proving for Description and Modal Logics, KRDB Spring School 2008, 14 April 2008, Bolzano.

Last modified: 14 Feb 23

Professional Activities

Current

Previous

Chairs

Current PC Memberships

Previous PC Memberships

Key note presentations

Selected invited seminars

Tutorials and invited lectures