BRICS Newsletter
No. 11, December 2001
[Newsletter 11 front page]
 

Versions

Contents

  • Coming Events
    • Summer School on Massive Data Sets
    • Federated Logic Conference
    • Computational Complexity 2003
  • Reports on Events
    • Workshop on Probabilistic Methods in Combinatorial Optimisation
    • ICC~'01
    • PADO II
    • MFPS XVII
    • Summer School on Logical Methods
    • CONCUR~'01
    • ALGO 2001
    • Aalborg Wing Retreat
    • BRICS PhD Workshop
    • Ongoing Activities
    • Juniorklubben
  • New Researchers, Guests and PhDs
  • Dissertation Abstracts
    • Using Theory to Make Better Tools
    • On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
    • Multi-party Computations --- Information-Theoretically Secure Against an Adaptive Adversary
    • Topics in Semantics-based Program Manipulation
    • Logics and Automata for Verification: Expressiveness and Decidability Issues
    • Analysing Real-Time Systems: Theory and Tools
    • Robust and Flexible Scheduling with Evolutionary Computation
    • Reliable Real-Time Applications
    • Games for Verification: Algorithmic Issues
    • Reasoning about Objects using Process Calculus Techniques
    • A Configurable Process for Design of Object-Oriented Software Architectures
    • Specification and Test of Real-Time Systems
    • Time-Space Trade-Offs
    • A Study of Defunctionalisation and Continuation-Passing Style
    • Higher-Order Program Generation
    • Compression with Fast Random Access
  • New Reports
  • Notes Series
  • Lecture Series
  • Dissertations Series
  • News
    • Short News
    • Positions at BRICS
    • ALCOM-FT: Future Technologies
    • Automated Software Testing
    • BiRC: Bioinformatics Research Center
    • BRICS Appointed Marie Curie Training Site
    • CISS: Center for Embedded Software Systems
    • JWIG: Java Web Interface Generator
    • PALE: Pointer Assertion Logic Engine
    • The Metafront System
    • QAIP: Quantum Algorithms and Information Processing
    • SECURE: Secure Environments for Collaboration among Ubiquitous Roaming Entities
    • YakYak
  • Technical Contributions
    • Improving Firewalls using BRIC(K)S
  • Calendar of Events
  • BRICS Address and World Wide Web
 
 
 

Last modified: 2002-01-04 by webmaster.