Joomla is a open domain content managament system which is used by research groups in the school to maintain their webpages (e.g. http://fp.cs.nott.ac.uk/). The goal of this project is develop an JOOMLA extension which makes it easy to maintain seminar pagers.
Many scientists keep their own publications on their webpages together with bibliographic references. At the same time they need to update databases by the university with their pubication records. The goal of this project is develop some software which simplifies this task.
The goal of this project is to develop some aspects of automata theory using the COQ proof assistant.