| Saturday, April 12th |
| 09h00 - 10h30 |
CASSTING
Room: F112 |
- Nicolas Gast. Efficiency and Prices in Real-Time Electricity Markets (invited talk)
|
FESCA
Room: F309 |
- Colin Atkinson (University of Mannheim). Facilitating Formal Views in View-Driven (Orthographic) Software Engineering (invited talk)
|
GALOP
Room: F018 |
- Glynn Winskel. TBA (invited talk)
|
GRAMSEC
Room: F114 |
- Erlend Andreas Gjære and Per Håkon Meland. Threats Management Throughout the Software Service Life-cycle
- Ludovic Apvrille and Yves Roudier. Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
- Stéphane Paul. Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study
|
HAS
Room: F116 |
- Thao Dang. TBA (invited talk)
- Yi Deng and Agung Julius. Safe Neighborhood Computation for Hybrid System Verification
|
MSFP
Room: F320 |
- Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction (invited talk)
- Paolo Capriotti and Ambrus Kaposi. Free applicative functors
|
PLACES
Room: F316 |
- Dimitris Mostrous. Multiparty Sessions based on Proof Nets
- Sam Lindley and J. Garrett Morris. Sessions as Propositions
- Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions
|
QAPL
Room: F022 |
- Oded Maler. Timed Systems: The Unmet Challenge (invited talk)
|
|
| 10h30 - 11h00 |
Coffee Break |
| 11h00 - 12h30 |
CASSTING
Room: F112 |
- Gilles Geeraerts, Joël Goossens, Amélie Stainer. Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
- Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur. Robust Strategies in Timed Games
- Benjamin Monmege, Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. Weighted Timed Games: Positive Results with Negative Costs
|
FESCA
Room: F309 |
- Mounira Kezadri, Benoit Combemale, Marc Pantel and Xavier Thirioux. Correct-by-construction model composition: Application to the Invasive Software Composition method
- Faiz Ul Muram, Huy Tran and Uwe Zdun. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
- Fenglin Han, Jan Blech, Peter Herrmann and Heinz Schmidt. Towards Verifying Safety Properties of Real-Time Probabilistic Systems
- Luciana Santos, Valdivino Santiago Júnior and Nandamudi Vijaykumar. Transformation of UML Behavioral Diagrams to Support Software Model Checking
|
GALOP
Room: F018 |
- Clovis Eberhart, Tom Hirschowitz and Thomas Seiler. Fully Abstract Concurrent Games for Pi
- Pierre Clairambault. Concurrent Hyland-Ong Games
|
GRAMSEC
Room: F114 |
- Ketil Stølen. Graphical Models for Security: Overview, Challenges, and Recommendations (invited talk)
|
HAS
Room: F116 |
- Olaf Stursberg. TBA (invited talk)
- John Leth, Rafael Wisniewski, Jakob Rasmussen and Henrik Schioler. Stochastic Analysis of Synchronization in a Supermarket Refrigeration System
|
MSFP
Room: F320 |
- Jules Hedges. Monad transformers for backtracking search
- Andreas Abel and James Chapman. Normalization by evaluation in the delay monad
- Tarmo Uustalu. Coherence for skew-monoidal categories
|
PLACES
Room: F316 |
- Dimitrios Kouzapas, Ramunas Gutkovas and Simon Gay. Session Types for Broadcasting
- Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors
- Tzu-Chun Chen. Lightening Global Types
|
QAPL
Room: F022 |
- Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. Stochastically timed predicate-based communication primitives for autonomic computing
- Marino Miculan and Marco Peressotti. GSOS for non-deterministic processes with quantitative aspects
- Max Tschaikowski and Mirco Tribastone. Extended Differential Aggregations in Process Algebra for Performance and Biology
|
|
| 12h30 - 14h00 |
Lunch |
| 14h00 - 16h00 |
CASSTING
Room: F112 |
- John Fearnley. Finding Nash equilibria in bimatrix games (invited talk)
- Patricia Bouyer, Thomas Brihaye, Quentin Hautem, Nicolas Markey. k-fault tolerant Nash equilibria
- Véronique Bruyère, Noémie Meunier, Jean-François Raskin. Secure Equilibria in Weighted Games
|
FESCA
Room: F309 |
- Colin Atkinson (University of Mannheim). Orthographic and Deep Modeling with Melanee (tutorial)
- Arnaud Lanoix and Olga Kouchnarenko. Component Substitution through Dynamic Reconfigurations
- Rui Couto, António Nestor Ribeiro and José Creissac Campos. Application of Ontologies in Identifying Requirements Patterns in Use Cases
- Wei Bai, Emmanuel Tadjouddine and Yu Guo. Enabling Automatic Certification of Online Auctions
|
GALOP
Room: F018 |
- Tomás Kroupa. TBA (invited talk)
- Hugo Férée. A Game Semantics Approach to Complexity
|
GRAMSEC
Room: F114 |
- Thomas Bauereiss and Dieter Hutter. Possibilistic Information Flow Control for Workflow Management Systems
- Cristian Prisacariu. Actor Network Procedures as Psi-calculi for Security Ceremonies
- Aitor Couce Vieira, Siv Hilde Houmb, and David Rios Insua. A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity
|
HAS
Room: F116 |
- Anders P. Ravn. TBA (invited talk)
- Aneel Tanwani. On Asymptotic Stabilization of Linear Systems with Event-triggered Output Feedback and Quantized Measurements
- Takumi Akazaki, Ichiro Hasuo and Kohei Suenaga. Input Synthesis for Sampled Data Systems by Program Logic
|
MSFP
Room: F320 |
- Shin-ya Katsumata (Kyoto University). Logical Relations for Monads by Categorical TT-Lifting (invited talk)
- Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen and Nikhil Swamy. Polymonadic programming
- Daan Leijen. Koka: Programming with Row-polymorphic Effect Types
|
PLACES
Room: F316 |
- Akash Lal (Microsoft Research India). Finding Concurrency Bugs Under Imprecise Harnesses (invited talk)
- Stefan Blom, Saeed Darabi and Marieke Huisman. Verifying Parallel Loops with Separation Logic
- Janwillem Swalens, Stefan Marr, Joeri De Koster and Tom Van Cutsem. Towards Composable Concurrency Abstractions
|
QAPL
Room: F022 |
- Stephen Gilmore. Quantitative Aspects of Public Transport (invited talk)
- Michele Pagani. A Bird's Eye View on the Quantitative Semantics of Linear Logic
- Herbert Wiklicky. Quantitative Aspects in Program Synthesis
- Lili Xu, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. A Multiplicative Variant of the Kantorovich distance for Differential Privacy
|
|
| 16h00 - 16h30 |
Coffee Break |
| 16h30 - 18h00 |
CASSTING
Room: F112 |
- Milka Hutagalung, Martin Lange, Étienne Lozes. Buffered Simulation Games for Büchi Automata
- Dietmar Berwanger, Marie van den Bogaard. Distributed synthesis with delayed signals
|
FESCA
Room: F309 |
- Antinisca Di Marco and Catia Trubiani. A model-driven approach to broaden the detection of software performance antipatterns at runtime
- Stefan Stattelmann, Manuel Oriol and Thomas Gamer. Execution Time Analysis for Industrial Control Applications
- Christian Colombo and Gordon Pace. Comprehensive Monitor-Oriented Compensation Programming
|
GALOP
Room: F018 |
- Andrzej Murawski and Nikos Tzevelekos. Game Semantics for Interface Middleweight Java
- Alexis Goyet. Building Simple Languages with the Power of References
|
GRAMSEC
Room: F114 |
- Panel. Open questions in graphical security modeling
|
HAS
Room: F116 |
- Martin Nilsson Jacobi. TBA (invited talk)
- Luminita Cristiana Totu and Rafael Wisniewski. On modeling populations of switched diffusions with discrete dynamics consisting of both spontaneous and forced terms
|
MSFP
Room: F320 |
- Wolfgang Jeltsch. Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
- Baltasar Trancón Y Widemann and Markus Lepper. Foundations of Total Functional Data-Flow Programming
|
PLACES
Room: F316 |
- Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantovic. Session Type Isomorphisms
|
QAPL
Room: F022 |
- Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
- Dennis Guck, Mark Timmer, and Stefan Blom. Extending Markov Automata with State and Action Rewards
- Giulio Iacobelli, Mirco Tribastone, and Andrea Vandin. Differential Ordinary Lumpability in Markovian Process Algebra
- Daniel Gebler. Compositional metric reasoning with Probabilistic Process Calculi
|
|
| 20h00 - 23h00 |
Dinner at Restaurant Le Chasse-Spleen |