Meeting in Royal Holloway, United Kingdom, 05 - 07 July 2018

Colocated with WADT 2018, followed by the FLoC conferences (in Oxford).

Accommodation will be either in the college or, if asked for, in a hotel. Registration will open in May and will be available over the WADT webpage.

Travel should be easy: there is a short connection to Heathrow (between 10 - 20 mins by taxi).

The meeting with starts on the 5th at 2pm, it will end on the 7th with lunch at 12.00 noon.

The rough time plan is as follows:

Thursday

14:00-15:20 2 Talks
15:20-15:50 Coffee
15:50-17:10 2 Talks
Dinner

Friday

9:30-10:50 2 Talks (by observers)
10:50-11:10 Coffee
11:10-12:30 2 Talks (by observers)
12:30 - 14:00 Lunch
14:00-15:45 2 Talks
15:30 Coffee
16:00 -- 18:00 Business Meeting
18:15 Walk through Windsor Park
20:00 Banquet

Saturday

9:30-10:50 2 Talks
10:50-11:10 Coffee
11:10-12:30 2 Talks
12:30 Lunch

Talks

Thu, 05 July 2018

• 14:00 Software Model Checking for Mobile Security - Collusion Detection in K by Markus Roggenbach      abstract
• 14:40 Efficient Coalgebraic Partition Refinement by Stefan Milius      abstract slides paper
• 15:50 Linearity in Higher-Order Recursion Schemes by Andrzej Murawski      abstract
• 16:30 New Challenges in the Verification of Self-Adaptive Self-Learning Systems by Sabine Glesner     

Fri, 06 July 2018

• 09:30 Semantics of concurrent data structured by Ana Sokolova      abstract slides
• 10:10 Efficient Online Timed Pattern Matching by Automata-Based Skipping by Ichiro Hasuo      abstract paper
• 11:10 On formalizing lambda-definability and normalization-by-evaluation by Andreas Abel      abstract slides
• 11:50 Metric Bisimulation Games and Real-Valued Modal Logics for Coalgebras by Barbara König      abstract slides paper
• 14:00 PP is not a monad by Bartek Klin      abstract
• 14:40 The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents by Martin Wirsing      abstract

Sat, 07 July 2018

• 09:30 Morphisms and Transformations of Potentially Inconsistent Graphs by Reiko Heckel      abstract slides
• 10:10 Linear Time Logics - A Coalgebraic Perspective by Corina Cirstea      abstract
• 11:10 Sound up-to techniques and Complete abstract domains by Filippo Bonchi      abstract
• 11:50 On the semantics of replicated data types by Fabio Gadducci      slides