Professional Activities

Editorial activities


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

Edited books

Edited proceedings

Advisory work for funding bodies

Trusts, Steering committees and Organising committees



Organisation of scientific meetings


Current PC Memberships

Previous PC Memberships


Invited talks and tutorials

Key note presentations

Selected invited seminars

Tutorials and invited lectures

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 16 Mar 20
Copyright © 1998-2020 Renate A. Schmidt, School of Computer Science, Man Univ,