December 2017 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Dec 1 10:37:48 IST 2017
Ending: Sun Dec 31 17:31:10 IST 2017
Messages: 11

• [FM-India] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [FM-India] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [FM-India] Master 2 internship in Université Paris 13, Sorbonne Paris Cité (France) + Thales R&D: Formal analysis of real-time systems using Time4sys and IMITATOR   Étienne André
• [FM-India] [CFP] SynCoP 2018: 5th International Workshop on Synthesis of Complex Parameters (ETAPS 2018 satellite)   Étienne André
• [FM-India] AFMSS 2018   Yogananda Jeppu
• [FM-India] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS   Qin Liu
• [FM-India] PhD position at Oxford, Machine Learning for Verification   Madhavan Mukund
• [FM-India] FLoC 2018 - Second Joint Call for Papers   Madhavan Mukund
• [FM-India] Call for Participation, ICISS17   Madhavan Mukund
• [FM-India] Logic Colloquium 2018 (LC18): 1st call for contributions   Madhavan Mukund
• [FM-India] SNR 2018: 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis - 2nd Call for Papers (includes extended deadlines)   Madhavan Mukund

Last message date: Sun Dec 31 17:31:10 IST 2017
Archived on: Sun Dec 31 17:31:13 IST 2017

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...