ETAPS 2015: 11-18 April 2015, London, UK

ETAPS 2015 Workshops Programme

Sat, 11 April

Sun, 12 April

ETAPS Conferences

Sat, 18 April

GALOP GALOP   HotSpot
GaM GaM MBT
QAPL QAPL PLACES
FMSPLE DICE TPDP
FOPARA FESCA TTATT
SynCop VerifyThis  
VPT WoC  
  WPLI  
  Pre-SAT-dinner (19:30) Post-SAT-dinner (19:30)

Saturday, 11 April 2015

10th Games for Logic and Programming Languages (GALOP - Day 1)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

GALOP - Saturday, 11 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.13
  • 09h30: Introduction
  • 09h45: Pierre-Louis Curien (special session)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.13
  • 11h00: Luke Ong (special session)
  • 11h45: Samson Abramsky (special session)
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.13
  • 14h00: Andrzej Murawski (tutorial)
  • 14h30: Ugo Dal Lago, Claudia Faggian, Benoît Valiron and Akira YoshimizuParallelism and Synchronization in an Infinitary Context
  • 15h00: Yann HamdaouiMultitoken Geometry of Interaction and Multimove Games
  • 15h30: Simon CastellanA game semantics for fork(II)
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.13
  • 16h30: Charles Grellois and Paul-André Melliès. Coloured tensorial logic and higher-order model-checking
  • 17h00: Colin Riba. Some Monoidal Fibrations of Tree Automata
  • 17h30: Clément Jacq and Paul-André Melliès. Distributive laws and finitary Game Semantics of Linear Logic

1st Graphs as Models (GaM - Day 1)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

GaM - Saturday, 11 April
09h00 - 12h30 Francis Bancroft Building / Room: FB.1.08
  • NO MORNING SESSION
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.08
  • 14h00: Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi and Benjanim Morandi. Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
  • 14h30: Detlef Plump, Christopher Bak, Glyn Faulkner and Colin Runciman. A Reference Interpreter for the Graph Programming Language GP
  • 15h00: Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varro and Andy Schürr. Improved Conflict Detection for Graph Transformation with Attributes
  • 15h30: Marwan Radwan and Reiko Heckel. Detecting and Refactoring Operational Smells within the Domain Name System
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.08
  • 16h30: TOOL DEMOS

12th Quantitative Aspects of Programming Languages and Systems (QAPL - Day 1)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

QAPL - Saturday, 11 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.15
  • 09h30: Catuscia Palamidessi (invited speaker)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.15
  • 11h00: Fabio Martinelli, Ilaria Matteucci and Francesco Santini. Semiring-based Specification Approaches for Quantitative Security
  • 11h30: 12:00 Rajesh Kumar, Dennis Guck and Marielle Stoelinga. Time Dependent Analysis with Dynamic Counter Measure Trees
  • 12h00: Yusuke Kawamoto and Thomas Given-Wilson. Quantitative Information Flow for Scheduler-Dependent Systems
  LUNCH
14h30 - 16h00 Francis Bancroft Building / Room: FB.1.15
  • 14h30: Matias David Lee and Erik de Vink. Rooted probabilistic branching bisimulation as a congruence 
  • 15h00: Diego Latella, Mieke Massink and Erik De Vink. A Definition Scheme for Quantitative Bisimulation
  • 15h30: Alessandro Aldini and Marco Bernardo. Expected-Delay-Summing Weak Bisimilarity for Markov Automata
  COFFEE BREAK
16h30 - 17h30 Francis Bancroft Building / Room: FB.1.15
  • 16h30: Luca Bortolussi and Jane Hillston. Efficient Checking of Individual Rewards Properties in Markov Population Models
  • 17h00: Arnd Hartmanns and Holger Hermanns. Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage

4th FOundational and Practical Aspects of Resource Analysis (FOPARA)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

FOPARA - DICE - Saturday, 11 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.06
  • 09h30: Kevin Hammond. Structure, Semantics and Speedup: Reasoning about Structured Parallel Programs using Dependent Types (invited speaker) [TACLe session 9h30-12h30]
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.06
  • 11h00: Elvira Albert, Antonio E. Flores Montoya and Samir Genaim. May-Happen-in-Parallel Analysis with Condition Synchronization
  • 11h30: Bernard van Gastel, Rody Kersten and Marko van Eekelen. A Dependent Type System for Energy Consumption Analysis
  • 12h00: Emmanuel Hainry and Romain Péchoux. Implicit computational complexity in Object Oriented Programs
  LUNCH
14h30 - 16h00 Francis Bancroft Building / Room: FB.1.06
  • 14h30: Martin Avanzini, Ugo Dal Lago and Georg Moser. Higher-Order Complexity Analysis: Harnessing First-Order Tools
  • 15h00: Emmanuel Hainry and Romain Péchoux. Higher order interpretations for Basic Feasible Functions
  • 15h30: Dominic Orchard. Complexity bounds from abstract categorical models
  COFFEE BREAK
16h30 - 17h30 Francis Bancroft Building / Room: FB.1.06
  • 16h30: Jakob Grue Simonsen. Cons-free Term Rewriting and Complexity Classes (invited speaker)

2nd Synthesis of Complex Parameters (SynCop)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

SynCop - Saturday, 11 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.01.1
  • Parosh Abdulla. Cut-offs in Parameterized Verification (invited talk)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.01.1
  • 11h00: Benoit Delahaye. Consistency for Parametric Interval Markov Chains
  • 11h30: Laurent Fribourg, Ulrich Kühne and Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
  • 12h00: Adrien Le Coent, Florian De Vuyst, Christian Rey, Ludovic Chamoin and Laurent Fribourg. Guaranteed control of switched control systems using model order reduction and state-space bisection
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.01.1
  • 14h00: Marta Kwiatkowska. Parameter synthesis for probabilistic real-time systems (invited talk)
  • 15h00: Bharath Siva Kumar Tati and Markus Siegle. Parameter and Controller Synthesis for Markov Chains with Actions and State Labels
  • 15h30: Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian T. Ringsmose, Kim G. Larsen and Radu Mardare. Parametric Verification of Weighted Systems
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.01.1
  • 16h30: Julien Alexandre Dit Sandretto, Alexandre Chapoutot and Olivier Mullier. Tuning PI controller in nonlinear uncertain closed-loop systems with interval analysis

  • Informal Presentations:
  • 17h00: Nicolas David, Claude Jard, Didier Lime, and Olivier H. Roux. Discrete Parameters in Petri Nets (accepted at Petri Nets 2015)
  • 17h20: Hoang Gia Nguyen. Enhanced Distributed Behavioral Cartography of Timed Automata (under submission)
  • 17h40: Alessandro Cimatti, Alberto Griggio, Sergio Mover and Stefano Tonetta. Parameter Synthesis with IC3 (presented at FMCAD 2013)

6th Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

FMSPLE - Saturday, 11 April
09h15 - 10h30 Francis Bancroft Building / Room: FB.1.09
  • 09h15: Welcome
  • 09h30: Marsha Chechik. Towards a Framework for Managing Software Families (invited talk)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.09
  • 11h00: Lars Luthmann, Stephan Mennicke and Malte Lochau. Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
  • 11h30: Tessa Belder, Maurice H. Ter Beek and Erik De Vink. Coherent branching feature bisimulation
  • 12h00: Uwe Lesta, Ina Schaefer and Tim Winkelmann. Detecting and Explaining Conflicts in Attributed Feature Models
  LUNCH
14h00 - 15h30 Francis Bancroft Building / Room: FB.1.09
  • 14h00: Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy. Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
  • 14h30: Maurice H. Ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin. Quantitative Analysis of Probabilistic Software Product Line Models with Statistical Model Checking
  • 15h00: Ian Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy and Mallikarjun Kande. Analysis of Software Binaries for Reengineering-Driven Product Line Architecture – An Industrial Case Study
  • 15h30: Discussion
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.09
  • Panel discussion

3rd Verification and Program Transformation (VPT)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

VPT - Saturday, 11 April
09h00 - 10h30 Francis Bancroft Building / Room: FB.1.01.2
  • 09h00: Opening
  • 09h15: Arie Gurfinkel (Carnegie Mellon University, USA). The SeaHorn Verification Framework (invited talk
  • 10h00: Martin Lester. Control Flow Analysis for SF Combinator Calculus
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.01.2
  • 11h00: Bishoksan Kafle, John P. Gallagher and Pierre Ganty. Decomposition by Tree Dimension in Horn Clause Verification
  • 11h30: G.W. Hamilton. Verifying Temporal Properties of Reactive Systems by Transformation
  • 12h00: Discussion
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.01.2
  • 14h00: David Monniaux (VERIMAG, CNRS - University of Grenoble, France). Program Transformation and Verification are Interrelated (invited talk)
  • 14h45: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. Proving Horn Clause Specifications of Imperative Programs
  • 15h15: Wei Bai and Emmanuel M. Tadjouddine. Automated Program Translation in Certifying Online Auctions
  • 15h45: Discussion
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.01.2
  • 16h30: Alexei P. Lisitsa and Andrei P. Nemytykh. Finite Countermodel Based Verification for Program Transformation (A Case Study)
  • 17h00: Sebastian Schlesinger, Paula Herber, Thomas Gothel and Sabine Glesner. Towards the Verification of Refactorings of Hybrid Simulink Models (Presentation)
  • 17h20: Fouad ben Nasr Omri, Safa Omri and Ralf Reussner. Incremental and Compositional Probabilistic Analysis of Programs under Uncertainty. (Presentation)
  • 17h40h: Discussion

Sunday, 12 April 2015

10th Games for Logic and Programming Languages (GALOP - Day 2)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

GALOP - Sunday, 12 April
09h00 - 10h30 Francis Bancroft Building / Room: FB.1.13
  • 09h00: Paul Blain Levy (invited talk)
  • 10h00: James Laird. Game Semantics for Bounded Polymorphism
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.13
  • 11h00: Christophe Fouquere and Myriam Quatrini. A Characterization of Ludics in Game Semantics
  • 11h30: Alice Pavaux. Internal Completeness in Nonlinear Ludics
  • 12h00: David Baelde, Amina Doumane and Alexis Saurin. Least and Greatest Fixed Points in Ludics
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.13
  • 14h00: Nikos Tzevelekos (invited talk)
  • 15h00: Guilhem Jaber. Reasoning on Equivalence of Stateful Programs: A Marriage of Game Semantics and Operational Techniques
  • 15h30: Dietmar Berwanger and Marie Van Den Bogaard. Caring but not knowing. On preplay communication in infinite games
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.13
  • 16h30: Valentin Blot. Positional interpretation of Peano arithmetic with winning strategies
  • 17h00: Étienne Miquey. Realizability games for arithmetical formulæ
  • 17h30: Can Baskent. Game Semantics: A Paraconsistent Approach

1st Graphs as Models (GaM - Day 2)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes! 

GaM - Sunday, 12 April
09h00 - 10h30 Francis Bancroft Building / Room: FB.1.08
  • 09h00: Heinz Ulrich Hoppe. Network Analysis of Online Communities - Applications and Tools (invited speaker)
  • 10h00: Anton Wijs. Confluence Detection for Transformations of Labelled Transition Systems.
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.08
  • 11h00: Luc Moreau. Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs
  • 11h30: Jason Vallet, Bruno Pinaud, Guy Melançon and Hélène Kirchner. A Visual Analytic Approach to Compare Propagation Models in Social Networks
  • 12h00: Aleks Kissinger and Vladimir Zamdzhiev. !-graphs with Trivial Overlap are Context-free
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.08
  • 14h00: Ugo Montanari, Matteo Sammartino and Nicklas Hoch. Dynamic Programming on Nominal Graphs
  • 14h30: Discussion Groups
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.08
  • 16h30: Discussion Talks
  • 17h00: Challenges Session

12th Quantitative Aspects of Programming Languages and Systems (QAPL - Day 2)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

QAPL - Sunday, 12 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.15
  • 09h30: Holger Hermanns (invited speaker)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.15
  • 11h00: TBC (invited speaker)
  • 11h30: CARMA: Collective Adaptive Resource-sharing Markovian Agents
  • 12h00: Mads Rosendahl and Maja Kirkeby. Probabilistic Output Analysis by Program Manipulation
  LUNCH

6th Developments in Implicity Computational ComplExity (DICE)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

DICE - FOPARA - Sunday, 12 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.06
  • 09h30: Simona Ronchi Della Rocca. Intersection Types and Implicit Computational Complexity 
  • (invited talk)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.06
  • 11h00: Guillaume Bonfante, Jean-Yves Moyen and Pierre Boudes. Extensional filters reveal algorithms
  • 11h30: Pierre Valarcher and Yoann Marquer. An algorithmic complete programming language for a large class of algorithms computable in polynomial time
  • 12h00: Clément Aubert. An in-between “implicit” and “explicit” complexity: Automata
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.06
  • 14h00: Thomas Seiller. Towards a Complexity-through-Realizability Theory
  • 14h30: Reinhard Kahle and Isabel Oitavem. The probabilistic class PP
  • 15h00: Patrick Baillot, Gilles Barthe and Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Cryptographic Reductions
  • 15h30: Jostein Aanderaa. On Robinson style simplifications to the traditional bounded recursion on notation scheme
  COFFEE BREAK
16h30 - 17h30 Francis Bancroft Building / Room: FB.1.06
  • 16h30: Deepak Garg. Type-based analysis of incremental computational complexity (invited speaker)

1st Workshop on Continuations (WoC) 

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

WoC - Sunday, 12 April
09h00 - 10h30 Francis Bancroft Building / Room: FB.1.01.1
  • 09h00: Tristan Crolard, CNAM, France. A verified abstract machine for functional coroutines (invited talk)
  • 10h00: Jules Hedges, Queen Mary University of London, UK. The selection monad as a CPS translation
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.01.1
  • 11h00: Neil Sculthorpe, Paolo Torrini, and Peter Mosses, Swansea University, UK. A modular structural operational semantics for delimited continuations
  • 11h30: Gabriel Kerneis, Paris, France. Why all programmers want continuations (but use callbacks instead) (distilled tutorial)
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.01.1
  • 14h00: Hayo Thielecke, University of Birmingham, UK. Command injection attacks, continuations, and the Lambek calculus (distilled tutorial)
  • 15h00: Serguei Lenglet, Université de Lorraine, France. Bisimulations for delimited-control operators (distilled tutorial)
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.01.1
  • 16h30: Ikuo Kobori and Yukiyoshi Kameyama, University of Tsukuba, Japan; Oleg Kiselyov, Tohoku University, Japan. ATM without tears: prompt-passing style transformation for typed delimited-control operators
  • 17h00: Jay McCarthy, Vassar College, USA. Theory and application of continuation marks (distilled tutorial)

12th Formal Engineering approaches to Software Components and Architectures (FESCA)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

FESCA - Sunday, 12 April
09h00 - 10h30 Francis Bancroft Building / Room: FB.1.01.2
  • 09h00: Workshop opening
  • 09h15: Steffen Zschaler (King's College London, UK). Building flexible analysis: Modular formal specification of QoS and QoS analysis (Invited talk)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.01.2
  • 11h00: Jean-Michel Hufflen. Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
  • 11h30: Nils Jähnig, Thomas Göthel and Sabine Glesner. A Denotational Semantics for Communicating Unstructured Code
  • 12h00: Vasileios Koutsoumpas. A Formal Approach based on Fuzzy Logic for the Specification of Interactive Systems
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.01.2
  • 14h00: Michael Langhammer (Karlsruhe Institute of Technology, Germany). Co-Evolution of Component-based Architecture and Code using Vitruvius (tutorial)
  • 15h15: Panel Discussion (B. Buhnova, J. Kofron and L. Happe). Changing role of Software Architecture in Research and Development
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB.1.01.2
  • 16h30: Heinz Riener, Ruediger Ehlers and Goerschwin Fey. Path-Based Program Repair
  • 16h55: Diego Marmsoler, Alexander Malkis and Jonas Eckhardt. A Model of Layered Architectures
  • 17h20: Ian Cassar, Adrian Francalanza and Simon Said. Improving Runtime Overheads for detectEr
  • 17h45: Workshop closing

4th VerifyThis

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes! 

VerifyThis - Sunday, 12 April
09h00 - 13h00 Francis Bancroft Building / Room: FB.1.09
  • 09h00: Challenge 1
  • 10h00: BREAK
  • 10h15: Challenge 2
  • 11h15: BREAK
  • 11h30: Challenge 3
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.09
  • Discussion & Judging
  COFFEE BREAK

Workshop on Programming Languages in Industry (WPLI)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

WPLI - Sunday, 12 April
11h20 - 12h30

Francis Bancroft Building / Room: FB.1.13a

Session on programming language design

  • 11h20: Opening
  • 11h30: Avik Chaudhuri + Basil Hosmer (Facebook US). Flow
  • 12h00: Dulma Rodríguez (Facebook UK). Static analysis at Facebook
  LUNCH
14h00 - 16h00

Francis Bancroft Building / Room: FB.1.13a

Session on using programming languages in software development companies

  • 14h00: Michael Sperber (Active Group GmbH). Functional Programming
  • 14h30: Uri Baghin (Facebook UK). Source Control and Building at Facebook
  • 15h00: Tyler Sorensen (UCL). GPU Concurrency: Weak Behaviour and Programming Assumptions
  • 15h30: Fausto Spoto (Juliasoft). Experience with the Static Analysis of Banking and Insurance Java code with Julia
  COFFEE BREAK
16h30 - 17h00

Francis Bancroft Building / Room: FB.1.13a

  • 16h30: Don Syme (Microsoft). The F# Path to Relaxation

 

Saturday, 18 April 2015

3rd Hot Issues in Security Principles and Trust (HotSpot)

Please refer to the detailed program on the [workshop website] for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

HotSpot - Saturday, 18 April
09h00 - 10h00 Francis Bancroft Building / ** Room: FB 1.15 **
  • Emiliano De Cristofaro. The Genomics Revolution: Innovation Dream or Privacy Nightmare? (invited speaker, joint with TPDP)
10h00 - 10h30 Francis Bancroft Building / Room: FB 1.06
  • 10h00: Dimitrios Kouzapas and Anna Philippou. Type checking privacy policies in the pi-calculus
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB 1.06
  • 11h00: Ximeng Li, Flemming Nielson and Hanne Riis Nielson. Factorization of Behavioral Integrity
  • 11h30: Michael Backes, Esfandiar Mohammadi and Tim Ruffing. Computational Soundness for Interactive Primitives for Equivalence Properties
  • 12h00: Ben Smyth and David Bernhard. Ballot secrecy with malicious bulletin boards
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB 1.06
  • 14h00: Cas Cremers. Symbolic security protocol analysis using the Tamarin Prover (invited talk)
  • 15h00: Sreekanth MalladiTowards a completeness result for model-checking of modern-day security protocols
  • 15h30: Johannes Kinder. Hypertesting: The Case for Automated Testing of Hyperproperties
  COFFEE BREAK
16h30 - 17h30 Francis Bancroft Building / Room: FB 1.06
  • 16h30: Jason Crampton, Charles Morisset and Nicola Zannone. Access Control with Non-deterministic and Probabilistic Attribute Retrieval
  • 17h00: Umbreen Sabir Mian, Jerry Den Hartog, Sandro Etalle and Nicola Zannone. Auditing with incomplete logs
17h30 - 18h00
  • WG 1.7 business meeting

10th Model Based Testing (MBT)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes! 

MBT - Saturday, 18 April
09h00 - 10h30 Francis Bancroft Building / Room: FB 1.08
  • 09h00: Alexander Petrenko, Holger Schlingloff. Celebrating the tenth anniversary of MBT Workshop
  • 09h30: Ana Cavalli. Evolution of testing techniques: from active testing to monitoring techniques (invited talk)
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB 1.08
  • 11h00: Marcus Gerhold and Mariëlle Stoelinga. Ioco theory for probabilistic automata
  • 11h45: Natalia Kushik and Nina Yevtushenko. Adaptive Homing is in P
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB 1.08
  • 14h00: Ana Rosario Espada et. al. Using Model Checking to Generate Test Cases for Android Applications
  • 14h40: Hartmut Lackner and Martin Schmidt. Potential Errors and Test Assessment in Software Product Line Engineering
  • 15h20: Paul Jorgensen. A Visual Formalism for Interacting Systems
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB 1.08
  • 16h30: Yu. Gurevich. Testing Philosophy (invited talk - remotely)

8th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

PLACES - Saturday, 18 April
09h20 - 10h30 Francis Bancroft Building / Room: FB 1.13
  • 09h20: Welcome and opening
  • 09h30: Dominic Orchard and Nobuko Yoshida. Using session types as an effect system
  • 10h00: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida. Precise subtyping for synchronous multiparty sessions
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB 1.13
  • 11h00: Martin Vechev. Commutativity Race Detection: Concepts, Algorithms and Open Problems (invited talk + discussion)
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB 1.13
  • 14h00: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira. A Typed Model for Dynamic Authorizations
  • 14h30: Juliana Franco and Sophia Drossopoulou. Behavioural types for non-uniform memory accesses
  • 15h00: Hans Hüttel and Nuno Pratas. Broadcast and aggregation in BBC
  • 15h30: Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto. Communicating machines as a dynamic binding mechanism of services
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB 1.13
  • 16h30: Philipp Haller and Heather Miller. Distributed Programming via Safe Closure Passing
  • 17h00: Geoffrey Brown and Amr Sabry. Reversible Communicating Processes
  • 17h30: Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo De’Liguoro. Retractable contracts

1st Theory and Practice of Differential Privacy (TPDP)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

TPDP - Saturday, 18 April
09h00 - 10h30 Francis Bancroft Building / Room: FB 1.15
  • 09h00: Emiliano De Cristofaro. The Genomics Revolution: Innovation Dream or Privacy Nightmare? (invited speaker, joint with HotSpot)
  • 10h10: Raquel Hill. A Usecase Study of a Differentially Private Behavioral Science Dataset
  COFFEE BREAK
11h00 - 12h20 Francis Bancroft Building / Room: FB 1.15
  • 11h00: Michael Backes, Aniket Kate, Sebastian Meiser and Tim Ruffing. Differential Indistinguishability: Cryptography with Imperfect Randomness
  • 11h20: Thomas Steinke and Jonathan Ullman. Between Pure and Approximate Differential Privacy
  • 11h40: James Honaker. Efficient Use of Differentially Private Binary Trees
  • 12h00: Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser and Esfandiar Mohammadi. AnoA: A Differential Anonymity Framework
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB 1.15
  • 14h00: Jonathan Ullman. Fingerprinting Codes vs. Differential Privacy (invited speaker)
  • 15h00: Davide Proserpio. wPINQ: Differentially-Private Analysis of Weighted Datasets
  • 15h20: Hamid Ebadi and David Sands. Featherweight PINQ
  • 15h40: Zhiwei Steven Wu, Aaron Roth, Justin Hsu, Marco Gaboardi and Emilio Jesús Gallego Arias. Dual Query: Practical Private Query Release for High Dimensional Data
  COFFEE BREAK
16h30 - 18h00 Francis Bancroft Building / Room: FB 1.15
  • 16h30: Hamid Ebadi and David Sands. Personalised Differential Privacy
  • 16h50: Mohammad Alaggan, Sebastien Gambs and Anne-Marie Kermarrec. Heterogeneous differential privacy
  • 17h10: Fragkiskos Koufogiannis, Shuo Han and George Pappas. Gradually Releasing Private Data under Differential Privacy
  • 17h30: Discussion and conclusion

3rd Trends in Tree Automata and Tree Transducers (TTATT)

Please refer to the detailed program on the [workshop websitefor specific slot allocation within sessions, related workshop events and/or last-minute program changes!

TTATT - Saturday, 18 April
09h30 - 10h30 Francis Bancroft Building / Room: FB.1.09
  • 09h30: Christof Löding (RTWH Aachen). Synthesis of Transducers from Automatic Specifictions
  COFFEE BREAK
11h00 - 12h30 Francis Bancroft Building / Room: FB.1.09
  • 11h00: Zoltán Fülöp and Andreas Maletti. Linking Theorems for Tree Transducers
  • 11h30: Younes Guellouma, Hadda Cherroun, Djelloul Ziadi and Bruce Watson. From tree automata minimization to string automata minimization
  • 12h00: Ahlem Belabbaci, Hadda Cherroun, Ziadi Djelloul and Loek Cleophas. Construction of Thompson's Automaton from a Regular Tree Expression
  LUNCH
14h00 - 16h00 Francis Bancroft Building / Room: FB.1.09
  • 14h00: Mikolaj Bojanczyk (Warsaw University). Transducers with origin information (invited talk)
  • 15h00: Johanna Björklund, Frank Drewes and Niklas Zechner. On Computing Best Trees for Weighted Tree Automata
  • 15h30: Nadia Ouali Sebti, Ludovic Mignot and Djelloul Ziadi. Construction of Tree Automata from a Regular Tree Expression
  COFFEE BREAK
16h30 - 17h30 Francis Bancroft Building / Room: FB.1.09
  • 16h30: Sebastian Maneth. Is look-ahead removal decidable? (invited talk)