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
Autumn Term 1998 BRICS Seminars Formal Systems Group Department of Computer Science Aalborg
University Autumn Term 1998
Gudmund Skovbjerg Frandsen (BRICS , Aarhus), Randomised algorithms - Friday 11 December 1998. [Abstract and Lecture Notes ]
Anna Ingólfsdóttir (BRICS , Aalborg), Towards Verified Lazy Implementation of Concurrent Value-Passing
Languages - Friday 4 December 1998. [Abstract and Paper ]
Marcin Jurdzinski (BRICS , Aarhus), Games for Verification and Synthesis
(Progress Measures, Memory and Complexity) - Friday 27 November 1998.
Note: This seminar will be rescheduled to a later date.
Paola Quaglia (BRICS , Aarhus), On Encoding the Polyadic pi-Calculus in the Monadic pi-Calculus - Friday 20 November 1998. [Abstract ]
François Laroussinie (LSV , ENS Cachan ), CMC: A Tool for Compositional Model-Checking of Real-Time
Systems - Thursday 19 November 1998. [Abstract ] (This seminar is offered jointly with the
Reactive, Real Time and Hybrid Systems Meetings .)
Note : François Laroussinie will be visiting BRICS@Aalborg in the period 18-25 November 1998. Hosts: Luca Aceto , Anna Ingólfsdóttir and Kim G. Larsen .
Matthew Hennessy (COGS , University of Sussex ), Type-Safe Execution of Mobile Agents in Anonymous Networks - Friday 13 November 1998. [Abstract and Paper ]
Huimin Lin (Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences), ``On-the-fly Instantiation'' of Value-passing Processes - Friday 13 November 1998. [Abstract ]
Note : Huimin Lin will be visiting BRICS@Aalborg in the period 11-28 November 1998. Host: Anna Ingólfsdóttir .
Anders P. Ravn (Department of Computer Science, Aalborg University , and Department of Information Technology,
Technical University of Denmark ), Why Hybrid Systems? - Friday 6 November 1998. [Abstract ]
Massimo Merro (INRIA, Sophia Antipolis ), On Asynchrony in Name-Passing Calculi - Friday 30 October 1998. [Abstract ]
Note : This seminar will be held at 12:30 in room E1-212.
Uwe Nestmann (BRICS , Aalborg), On the Expressive Power of Joint Input - Friday 23 October 1998. [Abstract and Paper ]
Luca Aceto (BRICS , Aalborg), The Power of Reachability Testing for Timed Automata - Friday 9 October 1998. [Abstract and Paper ]
This page is dormant, and won't be modified any longer.
Luca Aceto ,
Department of
Computer Science ,
Aalborg University .