scope
|
present talks
|
past talks
| Date | Speaker | Title |
| Oct 2 | Ruth Mizzi | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (paper) |
| Oct 9 | Mike Rosner | An Introduction to the Grammatical Framework. (abstract) |
| Oct 16 | Adrian Francalanza | The duality between Induction and Coinduction (abstract) |
| Oct 23 | Clare Cini | On Inductive and co-inductive interpretations for LTL proof systems (abstract) |
| Oct 30 | Reuben Farrugia | Resilient Video Coding using Difference Expansion and Histogram Modification (abstract) |
| Nov 13 | Mark Micallef | On Continuous Integration and Testing (abstract) |
| Nov 20 | Jonathan Attard | Principles of Aspect-Oriented Programming (abstract) |
| Nov 27 | Andrew Calafato | Vulnerabilities introduced with Java Card 3 Connected Edition (abstract) |
| Dec 4 | Chris Porter | 7 rules for designing acceptable identity mechanisms in e-government services (abstract) |
| Dec 11 | Claire Dimech | CARD: Controlling Architectural Degradation in Real life Applications (abstract) |
| Jan 8 | Gordon Pace | Haskell, Logics and Embedded Languages: A Hands-On Session (abstract) (Haskell script) |
| Jan 15 | Erica Tanti | Why Do Scala Developers Mix the Actor Model with Other Concurrency Models? (paper) |
| Jan 22 | Mark Vella | All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) (paper) |
| Jan 29 | James Gatt | Analysis of Trigger-Based Behaviour in Malware using BAP (abstract) |
| Feb 5 | Christian Colombo | A Runtime Verification Tutorial (abstract) (instructions) |
| Feb 12 | Ruth Mizzi | Extensible Technology-Agnostic Runtime Verification (abstract) |
| Feb 19 | Joseph Masini | Session Types for Inter-Process Communication (paper) |
| Feb 26 | Mark-Anthony Cachia | Formalising and Proving Incremental Mutation Testing (abstract) |
| Mar 05 | Christian Colombo | Monitor-Oriented Compensation Programming Through Compensating Automata (abstract) |
| Mar 12 | Tyron Zerafa | Towards Haskell in the Cloud (paper) |
| Apr 09 | Mark Anthony Cachia | Differential Symbolic Execution (abstract) |
| Apr 23 | Gabriel Dimech | Exploring Runtime Verification Possibilities for ESB frameworks (abstract) |
| Apr 30 | Harold Thimbleby | Improving healthcare by demanding better IT (abstract) |
| May 14 | Abigail Cauchi | Using Differential Formal Analysis for dependable number entry (abstract) |
| May 21 | Joseph Masini | Behavioural Types for Actor Systems (paper) |
| May 28 | Erica Tanti | Behavioural Equivalences (paper) |
| June 4 | Ingram Bondin | Introduction to Uncomputability (abstract) |
| June 14 | Simon Gay | Programs + Communication Structures = Systems (abstract) |
| Date | Speaker | Title |
| Oct 11 | Adrian Francalanza | Testing Hennessy-Milner Logic with Recursion (paper) |
| Oct 18 | Adrian Francalanza | Testing Hennessy-Milner Logic with Recursion (continued) |
| Oct 25 | Chris Colombo | Runtime Verification for LTL and TLTL (paper) |
| Nov 1 | Tobias Khun | Survey and Classification of Controlled Natural Languages (abstract) |
| Nov 8 | Ruth Mizzi | An Overview of the MOP Runtime Verification Framework (paper) |
| Nov 15 | Aimee Borda | Separation Logic: A Logic for Shared Mutable Data Structures (paper) |
| Nov 22 | Reuben Farrugia | Computer Vision Applications (abstract) |
| Nov 29 | Aldrin Seychell | McErlang: A Model Checker for a Distributed Functional Programming Language (paper) |
| Dec 6 | Mandy Zammit | Verification Techniques for Distributed Algorithms (paper) |
| Dec 20 | Mandy Zammit | Verification Techniques for Distributed Algorithms (Continued) |
| Jan 10 | Clare Cini | On the Construction of Monitors for Temporal Logic Properties (paper) |
| Jan 24 | Clare Cini | On the Construction of Monitors for Temporal Logic Properties (Continued) |
| Feb 7 | Chris Porter | Crossing political and physical borders: Authentication of identities on the move (abstract) |
| Feb 14 | Chris Porter | Crossing political and physical borders: Authentication of identities on the move (Continued) |
| Feb 21 | Aimee Borda | Separation Logic: A Logic for Shared Mutable Data Structures (Continued) |
| Feb 28 | Daniel D'Agostino | Distributed High-Fidelity Graphics using P2P (abstract) |
| Mar 13 | Ruth Mizzi | Runtime Monitoring of Concurrent Systems using polyLARVA (abstract) |
| Mar 20 | Martin Leucker | Invited Talk: Runtime Verification (abstract) |
| Mar 28 | Gordon Pace | Interaction and Interference: Two-Party Contracts (abstract) |
| Apr 17 | Mark Micallef | Symbolic Execution in Software Testing (abstract) |
| Apr 24 | Christian Colombo | Axiomatic Semantics (abstract) |
| May 8 | Clare Cini | Reasoning with Temporal Logic on Truncated Paths (paper) |
| May 15 | Joseph Bonello | The CAP Theorem (abstract) |
| May 22 | Aldrin Seychell | Monitoring For Safe-HML with recursion (abstract) |
| May 29 | Aimee Borda | Sorting Networks (paper) and (paper) |
| Date | Speaker | Title |
| Oct 19 | Mark Micallef | Overview of Unit Testing and Mocking (abstract) |
| Oct 26 | Chris Colombo | Compensation-Aware Runtime Monitoring (abstract) |
| Nov 9 | Andrew Gauci | Runtime Monitoring of Distributed Systems (abstract) |
| Nov 23 | Kevin Falzon | Combining runtime verification and testing: QuickCheck to LARVA (abstract) |
| Nov 30 | Chris Porter | Identity Theft over GSM - Risks, Reasons, Resolutions (abstract) |
| Dec 7 | Ingram Bondin | Modeling Discrete Slowdown (abstract) |
| Jan 11 | Chris Colombo | Formal Methods for Model-Based Testing (abstract) (slides) |
| Jan 18 | Chris Colombo | A hands-on session on Quickcheck. (instructions) (dict_eqc.erl) |
| Jan 25 | Reuben Farrugia | Robust Video Transmission using Reversible Watermarking Techniques (abstract) |
| Feb 1 | Joseph Bonello | Development Design Patterns (abstract) |
| Feb 8 | Adrian Francalanza | Scala, Erlang, F# Creators Discuss Functional Languages |
| Feb 15 | Mark Micallef | Exploring the concept of knowledge driven software development (abstract) |
| Feb 22 | James Scicluna | Grammatical Inference: Theory and Techniques (abstract) |
| Mar 1 | Armand Sciberras | Automatic Detection of Defects in Manufacturing using AI techniques (abstract) |
| Mar 8 | Neville Grech | Preemptive type checking in dynamically typed programs (abstract) |
| Mar 15 | Tobias Kuhn | Controlled English for Knowledge Representation (abstract) |
| Mar 22 | Katie Jane Wood | Increasing Awareness of Privacy Issues in Clouds (abstract) |
| Mar 29 | Adrian Francalanza | Reasoning about Resource Management for Message Passing Concurrency (abstract) |
| Apr 5 | Ian Agius | A Gentle Introduction to Bio-Informatics (abstract) |
| Apr 26 | Ruth Mizzi | Towards a more Flexible LARVA Runtime Monitoring Framework (abstract) |
| May 3 | Rueben Farrugia | Depth map compression for 3DTV Services (abstract) |
| May 10 | Sandro Spina | JavaScript: The Second Coming (abstract) |
| May 17 | Nik Sultana | Programming Pearls: Little Languages (paper) |
| May 24 | Cristian Colombo | Compensating Automata (abstract) |
| Date | Speaker | Title |
| Oct 20 | Chris Colombo | Pi-Calculus and its Application to Compensations (paper) |
| Oct 27 | Gordon Pace | A Generic Framework for Compensations (abstract) |
| Nov 3 | Gordon Pace | (Talk Continuation) A Generic Framework for Compensations |
| Nov 10 | Ruth Schembri | |
| Dec 1 | David Bailey | |
| Dec 15 | Andrew Calleja | Interfacing Haskell and Google Web Toolkit via JavaScript Object Notation (abstract) |
| Jan 5 | Ruth Schembri | Refinement Annotations for LARVA's DATES (abstract) |
| Jan 12 | David Bailey | MapReduce: Simplified Data Processing on Large Clusters (paper) |
| Jan 19 | Andrew Gauci | The pi-calculus and its applications for localised runtime verification of distributed systems. (abstract) |
| Jan 26 | Andrew Gauci | (Talk Continuation) The pi-calculus and its applications for localised runtime verification of distributed systems. |
| Feb 2 | Alan Cassar | High Performance User-Level Thread Migration for SMP Clusters (abstract) |
| Feb 9 | Andrea DeMarco | Speaker Recognition and Voice Biometrics (abstract) |
| Feb 23 | Adrian Francalanza | Joe Armstrong's Functions + Messages + Concurrency = Erlang talk. |
| Mar 9 | Adrian Francalanza | Barbara Liskov's The Power of Abstraction talk. |
| Mar 23 | Georgios Yannakakis | Game Technology (abstract) |
| Apr 14-16 | Nik Sultana | Mini Course: An introduction to Isabelle/HOL (abstract) (Installation Instructions) |
| Apr 20 | Chris Colombo | Being a scientist (abstract) |
| Apr 27 | Adrian Francalanza | Uniqueness Typing for Resource Management in Message Passing Concurrency (abstract) and (paper) |
| May 11 | Neville Grech | Generating Correct and Efficient Equality and Hashing Methods Using JEqualityGen (paper) |
| Jun 1 | Kevin Falzon | Preliminary Experiments in Quickcheck and Erlang (abstract) |
| Date | Speaker | Title |
| Oct 29: | Tarmo Uustalu | Guest Speaker: Proof Transformation for Program Optimizations. (abstract) |
| Oct 30: | Mark Bonnici | A Calculus of Durations. paper |
| Nov 13: | David Bailey | Are Virtual Machine Monitor Microkernels Done Right? paper 1 vs paper 2 |
| Nov 20: | Christian Tabone | Personal Work: Functional Meta-Languages for Hardware Design (abstract) |
| Dec 11: | Ruth Schembri | Refinement: An Overview. paper |
| Jan 8: | Nik Sultana | Proofs Are Programs: 19th Century Logic and 21st Century Computing paper |
| Jan 22: | Adrian Francalanza | Personal Work: Permission based separation logic for message passing concurrency (abstract) |
| Feb 5: | Alan Cassar | SEDA: An Architecture for WellConditioned, Scalable Internet Services paper |
| Feb 19: | Chris Colombo | Runtime Monitoring Overview: paper 1 and paper 2 |
| Mar 5: | Adrian Francalanza | (Rescheduled Talk) Permission based separation logic for message passing concurrency |
| Mar 12: | Adrian Francalanza | (Talk Continuation) Permission based separation logic for message passing concurrency |
| Mar 26: | Andrew Calleja | An Overview of Domain Specific Languages, based on papers 1, 2, 3 and 4. |
| April 2: | Andrew Calleja | (Talk Continuation) An Overview of Domain Specific Languages. |
| Apr 9: | Nik Sultana | (Rescheduled Talk) Proofs Are Programs: 19th Century Logic and 21st Century Computing paper |
| Apr 16: | David Bailey | Formal Requirements for Virtualizable Third Generation Architectures paper |
| Apr 23: | Gordon Pace | Demistifying Monads: abstract, paper and link. |
| Apr 30: | Gordon Pace | (Talk Continuation) Demistifying Monads. |
| May 7: | Mark Vella | Personal Work: Adopting the Danger Model for Anomaly Detection (abstract) |
| May 14: | Ranier Bonnici | Personal Work: Context-Aware Architectures (abstract) |
| May 21: | Ruth Schembri | An Introduction to Axiomatic Semantics. book chapter. |