!The homepage of Dines Bjorner contains much additional material!
[Homepage|http://www2.imm.dtu.dk/~db] \\

!The Bulletin of EATCS No. 96 contains a [Dialogue about Formal Methods with Professor Cris Calude|Bjorner_Interview] \\

! Other important information 
See [full PDF file here|ae-db-research.pdf]


!Any further pages in alphabetic order of their title as created for or by you.\\

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".\\
[{CategoryIndexPlugin category='User/Bjørner_Dines/OtherInformation'}]