Workshop Program
University of the South Pacific
Laucla Bay Campus, IEP Lab (level 4)
Suva, Fiji
| 08:55-09:00 | Welcome | (I. Cervesato and C. Schürmann) |
| 09:00-10:00 | Invited speaker |
| 09:00 |
Focusing, computation, specification and reasoning
|
10:00-10:30
| 10:30-12:30 | Automation of Focusing | (chair: E. Pimentel) |
| 10:30 |
Towards the Automated Generation of Focused Proof Systems
|
| 11:00 |
Proof Outlines as Proof Certificates: A System Description
|
| 11:30 |
Discussion: The Role of Focusing in Human Affairs
|
12:00-14:00
| 14:00-15:00 | Applications | (chair: D. Miller) |
| 14:00 |
Realisability semantics of abstract focussing, formalised
|
| 14:30 |
Multiplicative-Additive Focusing for Parsing as Deduction
|
| 15:00-15:05 | Goodbye | (I. Cervesato) |
15:30-16:00