jfas.de > axel > talks

Axel Schairer's Selected Talks

Some slides are available from my old DFKI talks page, at least for the time being. I might make them available here as time permits. If you are interested in something, please let me know.

Conference and Workshop Talks

Similarities and Reuse of Proofs in Formal Software Verification, 4th European Workshop on Case Based Reasoning (EWCBR), Trinity College, Dublin, Irland (25. September 1998)

A Pragmatic Approach to Reuse in Tactical Theorem Proving, 4th International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena, Italien (18. Juni 2001)

Towards an Evolutionary Formal Software Development (Posterpräsentation), 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, USA (28. November 2001)

Proof Transformations for Reusing Proofs after Changing Subformulae of Verification Conditions, First Workshop on Evolutionary Formal Software Development (EFSD), Kopenhagen, Dänemark (21. Juli 2002)

Proof Transformations for Evolutionary Formal Software Development, 9th International Conference on Algebraic Methodology and Software Technology (AMAST), La Reunion, Frankreich (13. September 2002)

Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems, First International Conference on Security in Pervasive Computing (SPC), Boppard (12. März 2003)

Talks at Workhops without Proceedings

Using Annotations for Reusing Proofs, 8th CLAM-INKA-OMRS Workshop (CIAO), University of Edinburgh, Schottland, UK (13. April 1999)

Reasoning About a Subset of ML, 9th CLAM-INKA-OMRS Workshop (CIAO), IBFI Schloss Dagstuhl (20. März 2000)

Integrating Tactics and Interaction by Proof Reuse, 10th CLAM-INKA-OMRS Workshop (CIAO), DIST, Universität Genua, Italien (6. April 2001)

Generic Formal Security Models in Practice, Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik, Universität Karlsruhe (15. Mai 2001)

Supporting Evolutionary Formal Development using Proof Transformations, 11th CLAM-INKA-OMRS Workshop (CIAO), University of Edinburgh, Schottland, UK (11. April 2002)

Using Specification Transformations to Trigger Proof Transformations, 12th CLAM-INKA-OMRS Workshop (CIAO), IBFI Schoss Dagstuhl (3. April 2003)

A Transformational Approach to the Management of Change, Theorema-Omega Workshop, RISC, Linz, Östereich (25. Mai 2003)

Security Types for Multiagent Systems Development, Dagstuhl Seminar on Language-Based Security, IBFI Schloss Dagstuhl (8. Oktober 2003)

A Framework for Development Transformations, 13th CLAM-INKA-OMRS Workshop (CIAO), DIST, Universität Genua, Italien (5. April 2004)

Development Transformations: Supporting Evolutionary Formal Software Development, Workshop on Logic, Proofs and Programs, LORIA, Nancy, Frankreich (17. Juni 2004)

Transformations for Evolutionary Formal Developments, Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik, Universität des Saarlandes, Saarbrücken (4. Oktober 2004)

Other Talks

SEMAS -- Decomposing Multiagent Security, Project Status Presentation, 27th Scientific Advisory Board Meeting, DFKI Saarbrücken (17. Februar 2003)

Evolutionary Formal Software Development: Development Transformations. 28th Scientific Advisory Board Meeting, DFKI Saarbrücken (16. Februar 2004)

Transformations for Evolutionary Formal Development - Supporting the Management of Change. 29th Scientific Advisory Board Meeting, DFKI Saarbrücken (14. Februar 2005)

Last update 26 July 2005 by axel