List of presentations in 2003 (latest first)
- (PEM) Introduction to the System Analysis Toolkit.
- Date: 13 November 2003, 10:00, M280.
- Speaker: Tobias Kuipers.
- Materials: [Abstract]
- (PEM) Formal Islands: introducing algebraic pattern matching facilities into a classical language.
- Date: 6 November 2003, 10:00, M280.
- Speaker: Pierre-Etienne Moreau.
- Materials: [Abstract]
- (PEM) Bridging the Gap between Distributed Middleware and Software Engineering.
- Date: 16 October 2003, 10:00, M280.
- Speaker: Vania Marangozova.
- Materials: [Abstract]
- (CANCELLED) Testability of Object-Oriented Systems: a Metrics-based Approach.
- Date: 18 September 2003, 10:00, Z.009.
- Speaker: Magiel Bruntink.
- Materials: [Abstract]
- (PEM) Refactoring for Generalization using Type Constraints.
- Date: 23 June 2003, 14:00, M279.
- Speaker: Frank Tip.
- Materials: [Abstract]
- (PEM) High Level, High Speed FPGA Programming.
- Date: 16 June 2003, 15:00.
- Speaker: Wim Bohm.
- Materials: [Abstract]
- (CANCELLED) First-order Theorem Proving with Equality by Superposition.
- Date: 24 April 2003, 10:00.
- Speaker: Jürgen Stuber.
- Materials: [Abstract]
- (CANCELLED) Rule-based compilation for data-parallel languages.
- Date: 17 April 2003, 14:00.
- Speaker: Leo Breebaart (TU Delft).
- Materials: [Abstract]
- (PEM) An Action Semantics Environment.
- Date: 3 April 2003, 10:00, M280.
- Speaker: Jørgen Iversen.
- Materials: [Abstract]
- (PEM) Standalone sdf/asf/term editors: a next step towards standalone environments.
- Date: 20 March 2003, 14:00, F013 (UvA).
- Speaker: Mark van den Brand.
- Materials: [Abstract]
- (PEM) Source Based Software Risk Assessment.
- Date: 13 March 2003, 10:00, F013 (UvA).
- Speaker: Tobias Kuipers.
- Materials: [Abstract]
- (PEM) Generative Programming: Towards Automation in Product-Line Development.
- Date: 7 March 2003, 10:00, Z009.
- Speaker: Krzysztof Czarnecki.
- Materials: [Abstract]
- (PEM) A verification mechanism for Java.
- Date: 27 February 2003, 10:00, F013 (UvA).
- Speaker: Robbert de Haan.
- Materials: [Abstract]
- (PEM) Software Assessment.
- Date: 20 February 2003, 10:00, F013 (UvA).
- Speaker: Paul Hendriks and Hans van Oosten (M&I).
- Materials: [Abstract]
- (PEM) Dynamic Business Integration met behulp van Agent Technology.
- Date: 6 February 2003, 10:00, C001.
- Speaker: René Clerc (Tryllian B.V.).
- Materials: [Abstract]
- (PEM) Tools and Techniques for Java API Testing.
- Date: 30 January 2003, 10:00, Z009.
- Speaker: Paul Strooper.
- Materials: [Abstract]
- (PEM) Database Reverse Engineering and Data-centered application Reengineering.
- Date: 21 January 2003, 10:00, M279.
- Speaker: Jean Henrard (Universiteit van Namen).
- Materials: [Abstract]
- (PEM) Tolerant parsing of Cobol systems for efficiently organizing transformation projects.
- Date: 16 January 2003, 10:00, M280.
- Speaker: Steven Klusener.
- Materials: [Abstract]
- (CANCELLED) Dynamic Business Integration met behulp van Agent Technology.
- Date: 9 January 2003, 10:00, M279.
- Speaker: René Clerc.
- Materials: [Abstract]
Page generated on 20/02/2013. All material on this website is © by PEM speakers unless stated otherwise.
The list is maintained by Vadim Zaytsev.
Older abstracts are recovered by Vadim Zaytsev from archives of Jurgen Vunju and Bas Basten: URLs mentioned there are not guaranteed to work.