MYWOT
Child safety
Confidence
Trustworthiness
Confidence
MALICIOUS CONTENT INDICATORS
Discotec2015.inria.fr most likely does not offer any malicious content.
Secure connection support
HTTPS
Discotec2015.inria.fr provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Discotec2015.inria.fr most likely does not offer any adult content.
Popular pages
-
DisCoTec 2015 | The 10th International Federated Conference on Distributed Computing Techniques
Home IMPORTANT: Registrations will be closed at 12:00 on Monday and will reopen Tuesday at 8:00 in the morning, on site. June 2-5, 2015 at Inria Grenoble – Rhône-Alpes, FRANCE. The DisCoTec series ...
-
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...