Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Dines Bjørner's Home Page

Monday, June 28, 2004: 8:30 am CEST/Summer

Welcome to my Home Page.

Akubra / Hat: Sydney, Australia; Leather Coat: Teheran, Iran; Chinese "Burberry" Scarf, Peking;
Tie: "Fashioned by Kari" (in Macau); Shirt: Lee Baron Fashions Ltd., Hong Kong.
If you wish to see a one year old photo of me click here !
No, I understand: You did'nt like it!
How about these ?

• I am now spending a one year sabbatical, 1 July 2004 - 30 June 2005, at: National University of Singapore:
  • Office Address

    Prof., Dr. Dines Bjørner, Dr.h.c., MAE, MRANS
    Department of Computer Science
    School of Computing
    National University of Singapore
    3 Science Drive 2
    Singapore 117543
    Republic of Singapore

  • E-Mail: bjorner "ad"comp.nus.edu.sg,
  • URL: http://www.comp.nus.edu.sg/cs/
  • Home Address

    Kari and Dines Bjorner
    111 Clementi Rd, Blk C, #10-07,
    Singapore 129792

Previous "Latest" News !

• I have, March 21st 2004, launched an attempt to form a worldwide "Grand Challenge"
  research consortium: The TRain Effort: The Railway Domain. Please Join Here !

Highlights:

• The PhD Summer School at Stara Lesna, Slovakia Logics of Specification Languages
• My Spring 2004 Lectures: FASE I: An MSc Course in Formal Aspects of Software Engineering: 02262
• Current, daily work: A Series of Software Engineering Textbooks Click !
  To be published by Springer-Verlag 2004-2005.
• Recent "work": The CSE/IMM/DTU CoLogNET Home Page on Formal Methods
• A 2003 "creation": ForTIA: A Formal Techniques Industry Association.

General:

• Research: Click this for Information on my Research
• Reports and Publications: Click this for Bibliography &c.
• Biodata: Click this for Biographical Information
• Dansk-sprogede ``Kronikker'': Tryk her mhp. ``klummer'' vedr. Datalogi, Informatik, og Infrastrukturer
• RAISE: Click this for Information on RAISE
• Past Lectures:
  • Fall 2003:
    • An MSc Course in Software Engineering 02260: Software Engineering
    • FASE II: An MSc Course in Formal Aspects of Software Engineering: 02268
    • A BSc Course in Software Engineering 02359
• Interesting Other Home Pages: Click this for Interesting (other) Home Pages
• Click this for Address and Map Information

Our Home since 1975: Fredsvej 11, DK-2840 Holte, Denmark

Click this for separately printable sheet on How to reach us at home ! ...
$\heartsuit$
...
...
Camilla ...
$\heartsuit$
...
...
Marianne ...
$\heartsuit$
...
...
Camilla ...
$\heartsuit$
...
...
Marianne ...
$\heartsuit$
...
...
Camilla ...
$\heartsuit$
...
Camilla, Charlotte, Kari 1998 ...
$\heartsuit$
...
Charlotte, Camilla, Eivind, Kari 1998 ...
$\heartsuit$
...
Dines and Camilla ...
$\heartsuit$
...
Camilla, Wei Wei, Charlotte, Kari 1998 ...
$\heartsuit$
...
Kari, Macau 1996 ...
$\heartsuit$
...
Dines, Chile 1998 ...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$

About this document ...

Dines Bjørner's Home Page

This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.47)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 index

The translation was initiated by on 2004-06-28