Objective Research objectives and content The project will result in a complete axiomatisation of a simplified mereotopology. The elements of this mereotopology will consist of lines and regions bounded by these lines. Thus it will include one- and two-dimensional spatial entities. Although this mereotopology is parsimonious, it is adequate for many computer applications such as Geographical Information Systems. The result of the project is primarily a theoretical one. Nevertheless, the axiomatisation will provide a mean for a wide range of computer applications for qualitative spatial representation and reasoning. Interfacing the methods of topology, model theory, logic and computer science, will ensure the success of the project. Training content (objective, benefit and expected impact) Objectives: - acquisition of knowledge in the areas of mathematical topology, logic, and model theory - use of various research methods - publications, PhD Benefits and expected impact: - confidence in the ability to carry out research abroad - experience in a foreign higher education system - readiness to move to a foreign country to do research - foreign language experience - cultural experience - personal contacts Fields of science humanitieslanguages and literaturegeneral language studiesnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicstopologynatural sciencescomputer and information sciences Programme(s) FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998 Topic(s) 0302 - Post-doctoral research training grants TM22 - Geometry and Topology Call for proposal Data not available Funding Scheme RGI - Research grants (individual fellowships) Coordinator University of Manchester Address Oxford road M13 9PL Manchester GB See on map EU contribution € 0,00 Participants (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all Not available Germany EU contribution € 0,00 Address See on map
