Professional Activities



Editorial activities

Journals

I am a 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


Scientific initiatives


Organisation of scientific meetings

Chairs

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: 14 Apr 17
Copyright © 1998-2016 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk