LF Tools Workshop

Carnegie Mellon University
4-8 March 2011

The purpose of this workshop is to review recent developments in LF-style logical frameworks (day 1 — March 4) and to demonstrate accompanying tools (day 2 — March 8; day 3 — March 23).

Friday 4 March 2011

10:30-11:30: Substructural Operational Semantics (Rob Simmons)
11:30-12:30: Process Calculi in Linear Logic (Bernardo Toninho)
12:30-1:30: Lunch
1:30-3:00: Process Calculi (Yuxin Deng)

Tuesday 8 March 2011

9:30-11:00: Celf (Carsten Schürmann)
11:00-1:00: Twelf (TBA)
1:00-2:00: Lunch
2:00-3:00: HLF (Bernardo Toninho)
3:00-3:45: Ollibot (Rob Simmons)

Wednesday 23 March 2011

10:00-11:00: HLF (Rob Simmons)
11:00-12:00: Linear cut elimination in HLF (Bernardo Toninho)