Jan 22, 2018
Schedule
Meeting Schedule
Monday, Jan. 22 (Theory)
- 09:00 – 09:15 Introduction
- 09:15 – 10:00 Neil: Intensions, extensions and game semantics
- 10:00 – 10:30 Dusko: Intensional and extensional computations
- 10:30 – 11:00 Break
- 11:00 – 11:30 Simone: A mathematical theory of computation — the big theoretical synthesis of the early sixties
- 11:30 – 12:00 Barry: Beyond Lambda-Calculus: Intensional Computation
- 12:00 – 14:00 Lunch
- 14:00 – 15:30 Nao: Basic Normalization
- 14:30 – 15:00 Silvia: Preciseness of Subtyping: from extensional to intensional aspects
- 15:00 – 15:30 Jean-Yves: A “theory” of reflexive computation based on soft intuitionistic logic
- 15:30 – 16:00 Break
- 16:00 – 16:30 Bruce: Query-restricted oracle polynomial time
- 16:30 – 17:30 Discussion of day 1
Tuesday, Jan. 23 (Analysis, Verification and Models)
- 09:00 – 09:30 Roberto G: Intensional Aspects in Program Analysis
- 09:30 – 10:00 Xavier: Semantic Directed Clumping of Disjunctive Abstract States
- 10:00 – 10:30 Sebastien: Formal methods: from source-level safety to binary-level security
- 10:30 – 11:00 Break
- 11:00 – 11:30 Tachio: Compositional synthesis of leakage resilient programs
- 12:00 – 14:00 Lunch
- 14:00 – 15:30 Roberto B: Code Obfuscation Against Abstract Model Checking Attacks
- 14:30 – 15:00 Martin Z: Formal Verification in Imperative Multivalued Programming over Continuous Data Types
- 15:00 – 15:30 Chris: Tensor topology
- 15:30 – 16:00 Break
- 16:00 – 16:30 Aleks: Causal structure for black-box processes
- 16:30 – 17:00 Amar: Bringing compositionality to rewriting theory via polygraphs
- 17:00 – 18:00 Discussion of day 2
Wednesday, Jan. 24 (Models)
- 09:00 – 09:30 Ugo M: Decomposition Structures for Soft Constraint Evaluation Problems
- 09:30 – 10:00 Roberto B: Branching Cell Decomposition, Confusion Freeness and Probabilistic Nets
- 10:00 – 10:30 Andre: Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
- 10:30 – 11:00 Break
- 11:00 – 11:30 Stefan: Efficient Coalgebraic Partition Refinement
- 11:30 – 12:00 Discussion day 3
- 12:00 – 13:30 Lunch
- 13:30 – 19:00 Excursion
- 19:00 – 21:30 Banquet
Thursday, Jan. 25 (New ideas)
- 9:00 – 10:30 Open slots for new ideas
- 10:30-11:00 Break
- 11:00 – 12:00 Closing
- 12:00 – 13:30 Lunch