Basic Research in Informatics for Creating the Knowledge Society ABOUT BRICKS Background Consortium Organization Boards Funding RESEARCH Projects Publications Phd Theses Posters NEWS & AGENDA News Agenda CONTACT Contact RESEARCH: POSTERS Click on a theme in the table below for research posters pertaining to that project. Themes           PDC                     MSV                     IS                     AFM           Theme AFM: Algorithms and Formal Methods Circulant Graphs and Quantum StateTransfer (AFM1) Monogamy of Bell correlations and Tsirelson\ufffds bound (AFM1) Computing evolutionary distance by genome rearrangements: a combinatorial approach (AFM2) Combinatorial approaches in phylogenetics: two examples (AFM2) Transmission Control Protocols for the Internet (AFM3) SAT-based Abstraction Refinement for (Timed) Constraint Automata (AFM3) A Declarative Proof Language for the Coq Proof Assistant (AFM4) INFINITY: Computing, reasoning, modeling with infinite objects (AFM5) Effective Validation and Verification of Systems by combining Formal Methods and Visualisation (AFM6) VeriGEM: A Verification Grid for Enhanced Model Checking (AFM6) VeriGEM: A Verification Grid for Enhanced Model Checkingg (AFM6) Compositional Analysis of (Dynamic) Fault Trees (AFM7) COMFORTS: a COMmon Framework for the analysis of Reactive and Timed Systems (AFM8) © 2004-2009 BRICKS Consortium