-
ICE 2015 | DisCoTec 2015
Invited talks: Steve Ross-Talbot and Joseph Sifakis
Special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier)
Important Dates
1 April 2015: Full paper submission (extend...
-
Program | DisCoTec 2015
8:50 – 9:00 Opening (Alain Girault, General Chair)
9:00 – 10:30 Keynote #1:
Alois Ferscha – Awareness as a Mechanism of Coordination in Planetary Scale Distributed Systems
Session chair: Mirko Viroli...
-
FORTE 2015 Call for Papers | DisCoTec 2015
FORTE 2015 Call for Papers
FORTE 2015 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advanc...
-
FRIDA 2015 | DisCoTec 2015
Abstract: The motivation underlying the TLA+ specification language and some of the language’s subtleties.
Vijay Garg, Cullen Trust Endowed Professor. The University of Texas at Austin (invited talk)....
-
Dates | DisCoTec 2015
Abstract Submission: Feb. 15, 2015 (24:00 UTC-11)
Paper Submission: Feb. 22, 2015 (24:00 UTC-11)
Author Notification: March 23, 2015
Camera ready copy: April 2, 2015
Early registration: May 19, 2015
C...
-
Venue | DisCoTec 2015
Localisation
Inria Grenoble – Rhône-Alpes Inovallée 655 avenue de l’Europe 38330 Montbonnot Tel. +33 (0)4 76 61 52 00
By air
You have a choice between the Lyon-Saint-Exupéry or Geneva-Cointrin airport...