Homepage of Dr Manfred Kerber
Address
School of Computer Science
|
University of Birmingham
|
Birmingham, B15 2TT
|
England
|
|
e-mail: |
(see next paragraph) |
www: |
www.cs.bham.ac.uk/~mmk |
phone: |
+44-121-414-4787 |
Fax: |
+44-121-414-4281 |
|
e-mail: Because of increasing levels of spam I am currently switching
to a rigorous spam filter. Any e-mail which comes from an address
which does not belong to a pattern of e-mail addresses which my filter
accepts (e.g., everything from ac.uk will be accepted), will be
automatically deleted. If you want to initiate e-mail contact with me,
phone me, or send me a fax with your e-mail address. Alternatively you
can send me an e-mail to "M.Kerber" at "cs.bham.ac.uk" with a
specialised subject line, which currently has to be
"communication76".
Directions
Office: Rm 137 in the Computer Science Building (Y9).
Information how to come to The
University of Birmingham can be found here.
Research
My research
interests are:
- Proofs in theoretical economics
- Proof planning and re-representation: How to represent knowledge on finding proofs
- Study the usefulness of heuristics
- Agent-oriented theorem proving: How can reasoning tasks be distributed
- Mechanisation of partial function, adequate treatment of paradoxes: How to deal with epressions such as 1/0 and crash in computer languages and/or logic.
Links to activities, publications, and to funded
project can be found here.
Events
I've been main organiser and co-organiser of a number of workshops and
conferences, edited proceedings and a special issue of a journal. Links to these events can
be found here.
Current activities:
- Local Arrangements Chair and Programme Committee of `AISB/IACAP World Congress 2012',
2-6 July 2012, Birmingham, England.
- Scientific Committee `5th Workshop - Emotion and Computing, KI 2011, Berlin, 4 October 2011.
- Organizing Committee `Deduktionstreffen 2011',
20-21 October 2011, Karlsruhe.
- I am a member of the Editoral Board of the journal `Mathematics in Computer Science (MCS)'.
- I am a member of the Editoral Board of the `Journal of Applied Logic'.
Teaching
Links to all my lectures and final year projects with further links
to sets of slides can be found here.
Admin
I organise the Computer Science departmental seminar, am the Senior Tutor of the School, and for the autumn term the final year project coordinator of the School.
For details see here.
Timetable
My current timetable can be found here.
Short CV
A short CV can be found here.