Research Reports

SQRL publishes a series of reports on our research

Seminars

Recent Seminars:-

Harold Wodlinger
Wodlinger Consulting, Canada
Software-Based Medical Devices - Presentation
April 2007

Nazareno Aguirre
National University of Rio Cuarto, Argentina
Predicate Abstraction for DynAlloy Specifications
March 2007

Volker Sorge
University of Birmingham, UK
Integrating AI Systems for Mathematical Discovery
March 2007