Schedule

Feb 16, 2015

20th September, 2015

21st September, 2015

7:30-9:00: Breakfast
9:00-10:30: Technical Session
- Self-introduction by participants
10:30-11:00: Break
11:00-11:45: Technical Session
- Werner Dietl:?Collaborative Verification of the Information Flow for a
  High-Assurance App Store
12:00-13:30: Lunch
13:30-14:00: Group Photo Shooting
14:00-15:30: Technical Session
- Thomas Wies: Automating Separation Logic using SMT
15:00-15:30: Break
15:30-17:00: Technical Session
- Hiroshi Unno: Verification of Featherweight Java Programs via
  Transformation to Higher-order Functional Programs with Recursive Data Types
- Xin Li: Automata-Based Abstraction Refinement for muHORS Model
18:00-19:30: Dinner

22nd September, 2015

7:30-9:00: Breakfast
9:00-10:00: Technical Session
- Werner Dietl: Tutorial on the Checker framework
10:00-10:30: Break
10:30-12:00: Technical Session
- Nadia Polikarpova: A Fully Verified Container Library
- Sukyoung Ryu: Analyzing JavaScript Web Applications in the Wild (Mostly)
  Statically
12:00-13:30: Lunch
13:30-15:00: Technical Session
- Hongseok Yang: ‘Cause I’m Strong Enough’: Reasoning about Consistency
  Choices in Distributed Systems
- Gary Leavens: Modular Reasoning and a Definition of Supertype Abstraction
15:00-15:30: Break
15:30-17:00: Technical Session
- Erik Poll: State machine learning: from testing to formal specifications
- Tachio Terauchi: On predicate refinement heuristics used in CEGAR
18:00-19:30: Dinner

23rd September, 2015

7:30-9:00: Breakfast
9:00-10:00: Technical Session
- Davide Ancona: Type soundness proofs with big-step operational semantics of
  object-oriented languages
10:00-10:30: Break
10:30-12:00: Technical Session
- Atsushi Igarashi: Type Systems for Dynamic Layer Composition
- Tomoyuki Aotani: A semantics for context-oriented programming languages with?multiple layer activation mechanisms
12:00-13:30: Lunch
13:30-15:00: Technical Session
- Nikos Tzevelekos: Game Semantics for Interface Middleweight Java
- Steven Ramsay: Deciding contextual equivalence for IMJ*
15:00-15:30: Break
15:30-16:15: Technical Session
- Vassilis Koutavas: Reasoning about Class Behavior using the Bisimulation Technique
18:00-19:30: Dinner

24th September, 2015

7:30-9:00: Breakfast
9:00-10:00: Technical Session
- Alex Summers: The Viper Project: Verification Infrastructure for?Permission-based Reasoning
10:00-10:30: Break
10:30-12:00: Technical Session
- Alex Potanin: Wyvern Formalisation: Objects, Classes, Modules, and Type Members
- Rustan Leino: Traits and dynamic frames
12:00-13:30: Lunch
13:30- Excursion to Kamakura and Banquet

25th September, 2015

Tagged: