Programme
Session 1
Chair: Ian Mackie
9h00 - 10h00
INVITED TALK: Gabriele Vanoni. "What are abstract machines good for?"
Session 2
Chair: Sandra Alves
10h30 - 11h00: Matteo Acclavio and Roberto Maieli. "Logic Programming with Multiplicative Structures."
11h00 - 11h30: Detlef Plump and Federico Vastarini. "Random Graph Generation in Context-Free Graph Languages."
11h30 - 12h00: Shinya Sato. "Conditional Nested Pattern Matching in Interaction Nets."
12h00 - 12h30: Kin Ian Lo, Mehrnoosh Sadrzadeh and Shane Mansfield. "Developments in Sheaf-Theoretic Models of Natural Language Ambiguities."
Session 3
Chair: Ian Mackie
14h00 - 15h00
INVITED TALK: Mariangiola Dezani-Ciancaglini. "Partial Typing for Open Compliance in Multiparty Sessions."
15h00 - 15h30: Hsi-Ming Ho and Khushraj Madnani. "When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics."
Session 4
Chair: Maribel Fernández
16h00 - 17h00
INVITED TALK: Clemens Grabmayer. "From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes."