Call for participation: DISCOTEC 2015 (DAIS, FORTE, COORDINATION), June 2-5, 2015, Grenoble, France.

The 10th Federated Conference on Distributed Computing Techniques (DisCoTec 2015)

http://discotec2015.inria.fr | June 2-5, 2015 | Grenoble, France

Sponsored by the IFIP TC6 WG6.1, Architectures and Protocols for Distributed Systems

The DisCoTec series of federated conferences is a major event sponsored by the International Federation of Information Processing (IFIP).

DisCoTec 2015 will feature:

3 MAIN CONFERENCES

• COORDINATION 2015: 17th IFIP Int. Conf. on Coordination Models and Languages
• DAIS 2015: 15th IFIP Int. Conf. on Distributed Applications and Interoperable Systems
• FORTE 2015: 35th IFIP Int. Conf. on Formal Techniques for Distributed Objects, Components and Systems

3 WORKSHOPS

• FRIDA (2nd Workshop on Formal Reasoning in Distributed Algorithms)
• ICE (8th Interaction and Concurrency Experience)
• MeMo (2nd International Workshop on Meta Models for Process Languages)

3 PRESTIGIOUS KEYNOTE SPEAKERS

• Alois FERSCHA (J. Kepler U., Linz, Austria)
• Leslie LAMPORT (Microsoft Research)
• Willy ZWAENEPOEL (EPFL, Lausanne, Switzerland)

TECHNICAL SESSIONS

• 43 full papers
• 4 short papers

AUTHORS and TITLES of FULL PAPERS

DAIS

• Gabor Danner and Mark Jelasity: Fully Distributed Privacy Preserving Mini-Batch Gradient Descent Learning
• Resmi Ariyattu and Francois Taiani: Fluidify: Decentralized Overlay Deployment in a Multi-Cloud World
• Yaroslav Hayduk, Anita Sobe and Pascal Felber: Dynamic Message Processing and Transactional Memory in the Actor Model
• Weihai Yu, Luc Andre and Claudia-Lavinia Ignat: A CRDT Supporting Selective Undo for Collaborative Text Editing
• Anca Iordache, Eliya Buyukkaya and Guillaume Pierre: Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud
• Davide Frey, Anne-Marie Kermarrec, Christopher Maddock, Andreas Mauthe, Pierre-Louis Roman and Francois Taiani: Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders
• Tiago Jorge, Francisco Maia, Miguel Matos, Jose Pereira and Rui Oliveira: Practical Evaluation of Large Scale Applications
• Julian Zach and Hans P. Reiser: LiveCloudInspector: Towards Integrated IaaS Forensics in the Cloud
• Olga Tarasyuk, Alexander Romanovsky, Anatoliy Gorbenko, Vyacheslav Kharchenko and Vitalii Ruban: The Impact of Consistency on System Latency in Fault Tolerant Internet Computing
• Pedro Guimaraes and Jose Pereira: X-Ray: Monitoring and analysis of distributed database queries
• Mar Callau-Zori, Luciana Arantes, Julien Sopena and Pierre Sens: MERCi-MIsS: Should I turn off my servers?
• Salman Niazi, Mahmoud Ismail, Gautier Berthou and Jim Dowling: Leader Election with a NewSQL Database
• Ricardo Goncalves, Paulo Sergio Almeida, Carlos Baquero and Victor Fonte: Concise Server-Wide Causality Management for Eventually Consistent Data Stores
• Kermarrec Anne-Marie, Taiani Francois and Tirado Juan M.: Cheap and Cheerful: Trading Speed and Quality for Scalable

COORDINATION

• Luca Padovani, Tzu-Chun Chen and Andrea Tosatto : Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear p-Calculi
• Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese and Jacopo Mauro : Dynamic Choreographies: Safe Runtime Updates of Distributed Applications
• Diego Latella, Michele Loreti and Mieke Massink : Investigating Fluid-flow Semantics of Asynchronous Tuple-based Process Languages for Collective Adaptive Systems
• Edmund Soon Lee Lam, Iliano Cervesato and Nabeeha Fatima : Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
• Sung-Shik T.Q. Jongmans and Farhad Arbab : Take Command of Your Constraints!
• Marino Miculan, Marco Peressotti and Andrea Toneguzzo : Open transactions on shared memory
• Stephen Cranefield and Surangika Ranathunga : Handling agent perception in heterogeneous distributed systems: a policy-based approach
• Alberto Lluch Lafuente, Michele Loreti and Ugo Montanari : A Fixpoint-based Calculus for Graph-shaped Computational Fields
• Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson and Hanne Riis Nielson : Klaim-DB: A Modeling Language for Distributed Database Applications
• Fabio Gadducci, Francesco Santini, Luis Pino and Frank Valencia : A Labelled Semantics for Soft Concurrent Constraint Programming
• Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna and Surangika Ranathunga : VISIRI - Distributed complex event processing system for handling large number of queries
• Marina Andric, Rocco De Nicola and Alberto Lluch Lafuente : Replica-based High-Performance Tuple Space Computing
• Francesco Luca De Angelis and Giovanna Di Marzo Serugendo : Logic Fragments: a coordination model based on logic inference
• Francisco Cruz-Mencia, Antonio Espinosa, Juan Carlos Moure, Jesus Cerquides and Juan Antonio Rodriguez-Aguilar : Parallelisation and application of AD3 as a method for solving large scale combinatorial auctions

FORTE

• Luca Padovani and Luca Novara: Types for Deadlock-Free Higher-Order Programs
• Martin Abadi and Michael Isard: Timely Dataflow: A Model
• Alex Horn and Daniel Kroening: On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
• Weifeng Wang and Li Jiao: Difference Bound Constraint Abstraction for Timed Automata Reachability Checking
• Ritwika Ghosh and Sayan Mitra: Automatic Verication of Stabilization for Some Distributed Algorithms
• Youssef Arbach, David S. Karcher, Kirstin Peters and Uwe Nestmann: Dynamic Causality in Event Structures
• Dimitrios Kouzapas and Anna Philippou: Type checking privacy policies in the pi-calculus
• Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu: Compliance and subtyping in timed session types
• Kedar Namjoshi and Richard Trefler: Loop Freedom in AODVv2
• Ala Eddine Ben Salem: Extending Testing Automata to All LTL
• Ferruccio Damiani, Mirko Viroli, Danilo Pianini and Jacob Beal: Code Mobility Meets Self-organisation: a Higher-order Calculus of Computational Fields
• Benoit Claudel, Quentin Sabah and Jean-Bernard Stefani: Safe and simple isolation for an actor abstract machine
• Dirk Beyer, Stefan Lowe and Philipp Wendler: Sliced Path Prefixes - An Effective Method to Enable Refinement Selection
• Alex Horn and Daniel Kroening: Faster linearizability checking via P-compositionality
• Van-Chan Ngo, Jean-Pierre Talpin, Thierry Gautier and Axel Legay: Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler