Previous Seminars

Spring 2006

• Wednesday 7.6.2006, 13:30, room A5-006, Fr. Bajersvej 7,
  Franck Cassez, CNRS Nantes, France.
  Sensor Minimization Problems in Fault Diagnosis [Abstract].
• Thursday 18.5.2006, 15:00, room C3-204, Fr. Bajersvej 7,
  Thomas Chatain, Distribcom research group, IRISA Rennes Cedex, France.
  Symbolic unfoldings of time Petri nets [Abstract].
• Wednesday 26.4.2006, 15:00, room B2-109, Fr. Bajersvej 7,
  Rafael Wisniewski, Department of Control Engineering, Aalborg University, Denmark.
  Towards Modelling of Hybrid Systems [Abstract].
• Thursday 9.3.2006, 14:30, room B2-109, Fr. Bajersvej 7,
  Gregorio Díaz Descalzo, La Mancha Real-Time and Concurrent Systems Group, University of Castilla, Spain.
  Model Checking of Web Services Choreographies and Orchestrations [Abstract].
• Wednesday 8.3.2006, 14:30, room B2-109, Fr. Bajersvej 7,
  Morten Kühnrich, Department of Computer Science, Aalborg University, Denmark.
  Authentication and Sandboxing in a Distributed pi-Calculus [Abstract].
• Wednesday 8.2.2006, 14:30, room B2-109, Fr. Bajersvej 7,
  Michael Westergaard, Department of Computer Science, Aarhus University, Denmark.
  Looking Good, Behaving Well [Abstract].

Fall 2005

• Wednesday 12.10.2005, 14:30, room A4-108, Fr. Bajersvej 7,
  Jiri Simsa, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  A Distributed-Memory Algorithm for LTL Model-Checking [Abstract].

Spring 2005

• Wednesday 20.4.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Kim G. Larsen, CISS, Department of Computer Science, Aalborg University, Denmark.
  UPPAAL Tiga: Efficient Controller Synthesis of Timed Systems [Abstract].
• Wednesday 13.4.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Claus Brabrand, BRICS, Department of Computer Science, Aarhus University, Denmark.
  */"XSugar: Reversible Stylesheets"/* [Abstract].
• Monday 14.3.2005, 13:00, room E3-109, Fr. Bajersvej 7E,
  Jooyong Lee, BRICS, Department of Computer Science, Aarhus University, Denmark.
  Reverse Code Generation and Embedding for Program Model Checking. [Abstract].
• Wednesday 9.3.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Ulrich Fahrenberg, Department of Mathematical Sciences, Aalborg University, Denmark.
  Bisimulation for Higher-Dimensional Automata. A geometric interpretation. [Abstract].
• Wednesday 2.3.2005, 14:30, room NJ 14 4-117, Niels Jernes Vej 14,
  Jiri Barnat, Faculty of Informatics, Masaryk University in Brno, Czech Republic.
  Distributed Memory LTL Model Checking [Abstract].
• Wednesday 23.2.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Franck Cassez, CNRS Nantes, France.
  Structural Translation from Time Petri Nets to Timed Automata [Abstract].
• Wednesday 16.2.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Patricia Bouyer, CNRS LSV, Cachan, France.
  Timed Control with Partial Observability [Abstract].
• Wednesday 9.2.2005, 14:30, room A4-106, Fr. Bajersvej 7,
  Anders Møller, BRICS, Department of Computer Science, Aarhus University, Denmark.
  Verifying Programs That Manipulate Pointers [Abstract].
• Thuesday 18.1.2005, 13:00, room A4-108, Fr. Bajersvej 7,
  Hans Huttel, BRICS, Department of Computer Science, Aalborg University, Denmark.
  Recursion vs. Replication in Simple Cryptographic Protocols [Abstract].

Fall 2004

• Thursday 9.12.2004, 13:00, room B2-109, Fr. Bajersvej 7,
  Kim G. Larsen, CISS, Department of Computer Science, Aalborg University, Denmark.
  Priced Timed Automata Decidability Results, Algorithms and Applications or Four Different Ways of Winning Vector-Race [Abstract].
• Wednesday 24.11.2004, 14:30, room A4-108, Fr. Bajersvej 7,
  Pascal Zimmer, BRICS, Aarhus University, Denmark.
  Generalised Recursion in ML and Mixins [Abstract].
• Wednesday 17.11.2004, 14:30, room A4-108, Fr. Bajersvej 7,
  Søren Nøhr Christensen and Michel Thrysøe, Department of Computer Science, Aalborg University, Denmark.
  Umbrella, Security for Consumer Electronics [Abstract] [Video].
• Wednesday 3.11.2004, 14:30, room A4-108, Fr. Bajersvej 7,
  Alexandre David, CISS, Department of Computer Science, Aalborg University, Denmark.
  The DBM Library of UPPAAL and DBM Substractions [Abstract] [Video].
• Wednesday 13.10.2004, 14:30, room A4-108, Fr. Bajersvej 7,
  Marius Mikucionis, BRICS, Department of Computer Science, Aalborg University, Denmark.
  Online Testing of Real-time Systems [Abstract].
• Wednesday 29.9.2004, 14:30, room B2-109, Fr. Bajersvej 7,
  Luca Aceto, BRICS, Department of Computer Science, Aalborg University, Denmark.
  The Role of Hennessy's Merge in the Quest for Finite Equational Axiomatizations of Parallel Composition Modulo Bisimilarity [Abstract].
• Wednesday 18.8.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Didier Lime, Institut de Recherche en Communications et en Cybernétique de Nantes, University of Nantes, France.
  Timed analysis of real-time systems using extended time Petri nets [Abstract].

Spring 2004

• Wednesday 16.6.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Gregorio Diaz Descalzo, Department of Computer Science, University of Castilla - La Mancha, Spain.
  Automatic Verification on Probabilistic Real Time Systems [Abstract].
• Wednesday 19.5.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Bharat Bhushan, Fraunhofer FOKUS, Berlin, Germany
  Measuring Performance and Analysing End-to-End Service Quality of 3G Services [Abstract].
• Wednesday 5.5.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Johan Bengtsson, Department of Information Technology, Uppsala University, Sweden
  Taming Timed Automata [Abstract].
• Wednesday 21.4.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Manfred Jaeger, Department of Computer Science, Aalborg University, Denmark
  First-order Probabilistic Modeling [Abstract].
• Wednesday 14.4.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Hanne Gottliebsen, Queen Mary, University of London, UK
  Formal Methods for SATS HVO Or "how to safely handle more aircraft in a small section of the sky" [Abstract].
• Wednesday 10.3.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  Jacob Illum Rasmussen, Department of Computer Science, Aalborg University, Denmark
  Resource-Optimal Scheduling Using Priced Timed Automata [Abstract].
• Wednesday 11.2.2004, 14:30, room A4-106, Fr. Bajersvej 7,
  António Ravara, Departamento de Matemática, Instituto Superior Técnico, Lisbon,
  Session Types for Inter-Process Communication [Abstract].
• Tuesday 27.1.2004, 14:30, room D2-106, Fr. Bajersvej 7,
  Juhan Ernits, Department of Computer Science, Tallinn Technical University, Estonia,
  Application of Model Checking in Memory Arbiter Synthesis [Abstract].
• Tuesday 20.1.2004, 14:30, room C3-204, Fr. Bajersvej 7,
  Zhiming Liu, International Institute for Software Technology, The United Nations University, Macao SAR China,
  A Design Calculus and its Application to UML Based Software Development [Abstract].

Fall 2003

• Thrusday 11.12.2003, 14:30, room C3-204, Fr. Bajersvej 7,
  Andrzej Wasowski, Department of Innovation, IT University of Copenhagen (CISS visitor in fall 2003)
  Generic Descriptions of Environments for Reactive Systems [Abstract].
• Thrusday 4.12.2003, 14:30, room C3-204, Fr. Bajersvej 7,
  Vojtech Rehak, Faculty of Informatics, Masaryk University Brno (currently a Marie Curie Fellow at BRICS in Aarhus.).
  On Extensions of Process Rewrite Systems [Abstract].
• Thursday, 27.11.2003, 13.30-16.00, room C3-204, Fredrik Bajersvej 7,
  Fabio Somenzi, Dept. of Electrical and Computer Engineering, University of Colorado.
  Abstraction in model checking [Abstract]
  Oded Maler, Verimag, Grenoble
  Verification for dummies [Abstract].
• Thursday, 13.11.2003, 14.30, room C3-204, Fredrik Bajersvej 7, Marco Carbone (carbone@brics.dk), BRICS@Aarhus, Aarhus University
  Trust in distributed networks [Abstract].

Spring 2003

• Monday, June 30, 14.30, room E4-104, Fredrik Bajersvej 7, K. Subramani (ksmani@csee.wvu.edu), Computer Science and Electrical Engineering, West Virginia University
  On the complexity of 2 person rational games [Abstract].

• Thursday, May 1, 14.30, room C3-204, Fredrik Bajersvej 7. Jens Chr. Godskesen (jcg@it-c.dk), IT University of Copenhagen.
  Testing Embedded Systems using Connectivity Testing [Abstract].
• Thursday, March 27, 14.30, room C3-204, Fredrik Bajersvej 7. Rune Jensen (rune@cs.cmu.edu), Carnegie Mellon School of Computer Science.
  Efficient BDD-based Algorithms for Heuristic Search and Automated Planning [Abstract].
• Thursday, March 20, 14.30, room C3-204, Fredrik Bajersvej 7. Jens Chr. Godskesen (jcg@it-c.dk), IT University of Copenhagen.
  Reasoning about Soft and Hard Mobile Resources [Abstract].
• Thursday, March 6, 14.30, room C3-204, Fredrik Bajersvej 7. Antonio Ravara (amar@math.ist.utl.pt), Mathematics Department of Instituto Superior Técnico, Lisbon, Portugal.
  Typing migration-control in lsd-pi [Abstract].
• Thursday, February 27, 14.30, room C3-204, Fredrik Bajersvej 7. Ole Høgh Jensen (ohj@cs.auc.dk), BRICS, Department of Computer Science, Aalborg University.
  Bigraphs and pi-calculus [Abstract].

Fall 2002

• Thursday, November 14, 13.00, room B2-104, Fredrik Bajersvej 7. Jiri Srba (srba@brics.dk), BRICS, Department of Computer Science, Aarhus University.
  Distributed Timed-Arc Petri Nets [Abstract].
• Tuesday, October 15, 13.00, room E2-214, Fredrik Bajersvej 7. Daniele Varacca (Daniele.Varacca@cl.cam.ac.uk), Computer Laboratory, University of Cambridge.
  Semantics of probabilty and nondeterminism [Abstract].
• Tuesday, September 17, 13.00, room E3-209, Fredrik Bajersvej 7. Pawel Sobocinski (pawel@brics.dk), BRICS, Department of Computer Science, Aarhus University.
  Deriving Bisimulation Congruences: A 2-categorical Approach [Abstract].
• Thursday, August 15, 13.00, room E2-214, Fredrik Bajersvej 7. Hans Hüttel (hans@cs.auc.dk), BRICS, Department of Computer Science, Aalborg University.
  2 talks on the spi-calculus [Abstract]
• Tuesday, August 6, 13.00, room E2-214, Fredrik Bajersvej 7. Stavros Tripakis, VERIMAG, Grenoble, France.
  Fault-Diagnosis of Timed Systems [Abstract]

Previous semesters

BRICS WWW home page
Josva Kleist, Department of Computer Science, Aalborg University.