BPL Meetings

From PLSwiki

Plan

• Monday (18/9)
  • Planning
  • Arne - BPL implementation
• Monday (25/9)
  • Troels - Bigraphical Reactive Systems as Graph Transformation Systems
• Thursday (28/9)
  • Søren - Stenning-protocol in Bigraphs
• Monday (2/10)
  • Ebbe - Location models in Bigraphs
• Thursday (5/10)
  • Cancelled
• Monday (9/10)
  • Henning - GeoCast in Bigraphs
• Thursday (12/10)
  • BPL - the Implementation
  • Code structure review
• Monday (16/10)
  • Cancelled
• Thursday (19/10)
  • BPL - the Implementation
  •  ?
• Monday (23/10)
  • BiLogic and GeoCast in Bigraphs
• Thursday (26/10)
  • BPL - the Implementation
  •  ?
• Monday (30/10)
  • BiLogic and GeoCast in Bigraphs
• Thursday (2/11)
  • BPL - the Implementation
  •  ?
• Monday (6/11)
  • Postponed.
• Thursday (9/11)
  • BPL - the Implementation
  •  ?
• Monday (13/11)
  • Postponed.
• Thursday (16/11)
  • BPL - the Implementation
  •  ?
• Monday (20/11)
  • Discuss [Varró, Varró & Schürr, 2005] and [Varró, Friedl & Varró, 2006],
    (see BPL Related Tools Literature).
• Thursday (23/11)
  • BPL - the Implementation
  •  ?
• Monday (27/11)
  •  ?
• Thursday (30/11)
  • BPL - the Implementation
  •  ?
• Monday (18/12)
  • Discuss Analyzing Security Protocols with Secrecy Types and Logic Programs. JACM 52 (1), pp.102-146. 2005. [Abadi & Blanchet],
    (see BPL Related Tools Literature).

Literature

BPL Related Tools Literature