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
[go: Go Back, main page]
BRICS Seminars
Institute of Computer Science
Aalborg University

Important Note: From Tuesday, 1 February 2000, the seminar series will be organized by Hans Hüttel. Please contact him for information (and complaints) on the seminars in this series, and to be added to the mailing list for seminar announcements.

Autumn Term 1999 and January 2000

  • Anna Philippou (University of Cyprus) Weak Bisimulation for Probabilistic Systems - Wednesday, 19 January 2000. [Abstract]

  • Glynn Winskel (BRICS, Aarhus) Linearity in Distributed Computation - Friday, 17 December 1999. [Abstract]

    Note: This seminar is cancelled, and will be rescheduled at some time in the next semester,

  • Rune Bang Lyngsoe (BRICS, Aarhus) Computational Biology - Friday, 10 December 1999. [Abstract]

  • David Toman ( Department of Computer Science, Faculty of Mathematics, University of Waterloo , and BRICS, Aarhus) Query Processing in Embedded Control Programs - Monday, 6 December 1999. [Abstract]

    Note: This seminar will be held at 10:15 in E3-209.

  • Erik Ernst (Institute of Computer Science, Aalborg University) gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance - Thursday, 2 December 1999. [Abstract]

    Note: This seminar will be held at 1pm in E1-214.

  • Thomas Hildebrandt (ITU, Copenhagen) Categorical Models for Concurrency: Independence, Fairness and Dataflow - Friday, 26 November 1999. [Abstract]

  • Igor Walukiewicz (Department of Informatics, Warsaw University, Warsaw, Poland) Local Logics for Traces - Friday, 19 November 1999. [Abstract]

  • Björn Victor (Department of Computer Systems (DoCS) at Uppsala University, Sweden) Types of Fusion (work in progress) - Tuesday, 16 November 1999. [Abstract]

  • Ernst-Ruediger Olderog (Department of Computer Science, University of Oldenburg, Germany) Correct Real-Time Software for Programmable Logic Controllers - Friday, 12 November 1999. [Abstract]

    Note: Ernst-Ruediger Olderog will be visiting BRICS@Aalborg from 25 October until 4 December. Host: Anders Ravn.

  • Ernst-Ruediger Olderog (Department of Computer Science, University of Oldenburg, Germany) Combining Specification Techniques for Processes, Data and Time - Friday, 5 November 1999. [Abstract]

    Note: Ernst-Ruediger Olderog will be visiting BRICS@Aalborg from 25 October until 4 December. Host: Anders Ravn.

  • Frits W. Vaandrager ( Computing Science Department, University of Nijmegen) Analysis of Biphase Mark Protocols using Uppaal - Thursday, 28 October 1999. [Abstract]

  • Franck Cassez (IRCyN, Nantes) An Overview of my Research Work: Past and Present - Friday, 15 October 1999.

  • Ivan Damgaard (BRICS, Aarhus) Unconditionally Secure Cryptography; was Shannon too Pessimistic? - Tuesday, 12 October 1999. [Abstract]

  • Hans Hüttel (BRICS, Aalborg) Co-inductive Reasoning in an Imperative Object Calculus (Part 1) - Friday, 1 October 1999. [Abstract]

  • Mogens Nielsen (BRICS, Aarhus), The Power of the Past - Friday, 24 September 1999. [Abstract]

  • Eric Jul (DIKU, Copenhagen, and Aalborg), Distributed Computing: Fact and Fiction - Friday, 17 September 1999. [Abstract]

    Note: The seminar will be followed by a small reception just outside E3-209. Everybody is welcome to attend.

  • Kim G. Larsen (BRICS, Aalborg) Verification and Validation of Probabilistic Systems - Thursday, 16 September 1999. [Abstract]

  • Julian C. Bradfield (Laboratory for Foundations of Computer Science, University of Edinburgh, Scotland), Alternation in the modal mu-calculus - Friday, 3 September 1999. [Abstract]

    • Previous Seminars

  • Spring Term 1999.

  • Autumn Term 1998.

    •

    Information on our informal seminar meetings may be obtained by following the links below:

    You may also wish to look at the events taking place at the Institute of Computer Science.

    This page is dormant and won't be modified any longer. The seminar series is now organized by Hans Hüttel.


    [BRICS symbol] BRICS WWW home page
    Luca Aceto, Department of Computer Science, Aalborg University.

    Last modified: Mon Jan 17 10:03:54 MET 2000