Laurence Henschen will present a new research proposal to the Computer School of Beijing Information Science and Technology University, Beijing, China, on Thursday, November 1.
The project centers around the use of logic to describe semantic conditions that valid documents, such as word documents and spreadsheets, must satisfy. This is one part of a joint research effort on document system interoperability. Interoperability refers to the ability to exchange and edit documents across different document systems, for example the Western and Asian versions of word processing systems. This becomes more and more important as the global economy expands and people from all parts of the globe exchange and edit documents.
Prof. Henschen is in the middle of a four-month appointment at BISTU to work on this and other related research projects.
|< Prev||Next >|