9:30 - 9:35 Welcome & Open (President, UCC)
9:35 - 10:30 INVITED SPEAKER
Prof. Dines Bjorner (Technical University of Denmark).
(Introduced by: Micheal Mac an Airchinnigh)
10:30 - 11:00 Coffee
11:00 - 12:30 Session #1
11:00 - 11:30 Anthony Karel Seda and Pascal Hitzler
"Strictly Level-Decreasing Logic Programs"
11:30 - 12:00 Arthur Hughes
"Constructive Mathematics in Topoi"
12:00 - 12:30 Claus Pahl
"Facilitating Modular Property-Preserving Extensions
of Programming Languages"
12:30 - 14:00 Lunch
14:00 - 15:30 Session #2
14:00 - 14:30 Richard Shore
"A Use Case Interpretation of B AMN"
14:30 - 15:00 Brian Matthews and Elvira Locuratolo
"Translating Structured Database Schemas
into Abstract Machines"
15:00 - 15:30 Raphael Couturier
"Formal engineering of the bitonic sort using PVS"
15:30 - 16:00 Coffee
16:00 - 17:00 Session #3
16:00 - 16:30 T.J.Harmer, P.J.McParland and J.M.Boyle
"Applications of the TAMPR Transformation System"
16:30 - 17:00 Stephen Fitpatrick, M.Clint and P. Kilpatrick
"A Case Study on Proving Transformations Correct:
Data-Parallel Conversion"
17:00 Close
19:00 Coach for dinner
20:00 Dinner in Ballymaloe House, Co. Cork.
10:30 - 11:00 Coffee
11:00 - 12:30 Session #4
11:00 - 11:30 Hugh Gibbons
"Declarative View of Imperative Programs"
11:30 - 12:00 Luming Lai
"An Unbounded Nondeterministic Model for CSP-like Languages"
12:00 - 12:30 Mark A. Changizi
"A New Semantics for Vagueness"
12:30 - 14:00 Lunch
14:00 - 15:00 Session #5
14:00 - 14:30 Paul Gibson and Dominique Mery
"Teaching Formal Methods: Lessons to learn"
14:30 - 15:00 Micheal Mac an Airchinnigh
"Mathematics for Formal Methods, a proposal for education reform"
15:00 - 16:00 --- to be decided
16:00 - 16:15 Prizes & Close.