Child pages
  • 6th Wessex Theory Seminar

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Morning session

10:45-11:30 Paulo Oliva: Selection Functions in Proof Theory .

11:30-12:30 Max Kanovich: How and Why Purely Propositional Separation Logic is undecidable .

12:30-1:30 Lunch

Afternoon session

1:30-2:15 Dirk Pattinson: Global Caching for Coalgebraic Description Logics .

2:15-2:50 Mark Wheelhouse: High Level Program Reasoning .

2:50-3:15 Afternoon tea

Final session

3:15-4:15 Andrzej Murawski: Full Abstraction for Reduced ML .

4:15-5:00 Kohei Honda: The pi-calculus in the Real World .

Attendance

From Southampton:

...