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 FS Seminars
Spring Term 1999 BRICS Seminars Formal Systems Group Department of Computer Science Aalborg
University Spring Term 1999
Anders Møller (BRICS , Aarhus),
The MONA Project -
Thursday, 27 May 1999. [Abstract ]
M. Oliver Möller (BRICS , Aarhus),
Solving Bit-Vector Equations -
Decision Procedures for Hardware Verification -
Tuesday, 25 May 1999. [Abstract ]
Uwe Nestmann (Migration=Cloning;Aliasing - Friday 7 May 1999. [Abstract ]
Lisbeth Fajstrup
and Martin Raussen (Department of Mathematics, Aalborg
University ), Geometry in Concurrency: Detecting Deadlocks in
Concurrent Systems - Friday, 23 April 1999. [Abstract ]
Martin
Steffen (Department of
Computer Science , Kiel University), Polarized Higher-Order
Subtyping - Thursday, 15 April 1999. [Abstract ]
Note: Martin Steffen will be visiting BRICS@Aalborg in the
period April 14--16. Host: Uwe
Nestmann and the Ny-klubben .
Anna
Ingólfsdóttir (BRICS , Aalborg),
The Max-Plus Algebra is not Finitely Based - Friday, 9 April
1999. [Abstract ]
Klaus
Dittrich (Department of Computer
Science, University of Zurich ), Towards Exploitation of the Data Universe: Database Technology for
Comprehensive Query Services - Friday, 19 March 1999. [Abstract and Biographical Information ]
Note: Klaus Dittrich visits the computer science department
from March 16
until March 23. His visit is sponsored by the Nykredit Centre for Database
Research. If you are interested to meet with him please contact
Michael H. Böhlen .
Martin Dickhoefer (Department of
Computer Science , Kiel University), The automata-theoretic method works for TCTL model
checking - Thursday, 18 March 1999. [Abstract and Paper ]
Note : Martin Dickhoefer and Thomas Wilke will be visiting BRICS@Aalborg on 18 March, 1999.
Michael R. Hansen (Department of Information Technology,
Technical University of Denmark ), Duration Calculus -
Friday, 12 March 1999. [Abstract ]
Kevin Compton (BRICS ,
Aarhus, and University of
Michigan ), Introduction to Convergence Laws and 0-1 Laws
- Friday, 5 March 1999. [Abstract ]
Sanjiva Prasad (BRICS , Aarhus),
Modelling Authentication Protocols in the Pi Calculus -
Friday, 26 February 1999. [Abstract ]
António
Ravara (Secção de
Ciência da Computação ,
Departamento de
Matemática ,
Instituto
Superior Técnico , Lisbon), Typing Non-uniform Concurrent
Objects - Friday 12 February 1999. [Abstract ]
Note : António Ravara will be visiting BRICS@Aalborg in
January and February 1999. Host: Uwe
Nestmann and the Ny-klubben .
Thomas Hune (BRICS , Aarhus), Modeling Real-time Programs - Friday 5
February 1999. [Abstract ]
This page is dormant, and won't be modified any longer.
Luca Aceto ,
Department of
Computer Science ,
Aalborg University .