April 2019 Archives by subject

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

Starting: Wed Apr 3 02:13:14 IST 2019
Ending: Tue Apr 30 05:35:18 IST 2019
Messages: 16

• [FM-India] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): First Call for Papers   Madhavan Mukund
• [FM-India] [DEADLINE APPROACHING] CyberSciTech 2019 CFP (August 5-8, 2019, Fukuoka, Japan)   Kevin I-Kai Wang
• [FM-India] [DEADLINE EXTENDED] CyberSciTech 2019 CFP (August 5-8, 2019, Fukuoka, Japan)   Kevin I-Kai Wang
• [FM-India] AVoCS 2019 - Call for Papers   Madhavan Mukund
• [FM-India] Call for Papers: ACM-IEEE MEMOCODE 2019   Madhavan Mukund
• [FM-India] CFP: 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019)   Claudio A. Ardagna
• [FM-India] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE   Madhavan Mukund
• [FM-India] CyberSciTech 2019 Call for LBI, WiP, Poster Papers (August 5-8, 2019, Fukuoka, Japan)   Kevin I-Kai Wang
• [FM-India] FORMATS 2019 (Amsterdam): new submission schedule   Étienne André
• [FM-India] HPCC CFP-CCF "C" Conference-8+SIs: Deadline Extended to April 15, 2019   Qin Liu
• [FM-India] PhD position: Formal methods in control (Munich, Germany)   Yogananda Jeppu
• [FM-India] SEFM 2019 - abstract submission deadline May 3, 2019   Madhavan Mukund
• [FM-India] Software Engineering Update Meeting   Madhavan Mukund
• [FM-India] The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, , 2 - 4 September 2019, Bordeaux, France   Madhavan Mukund
• [FM-India] VSTTE 2019: Second Call for Papers   Supratik Chakraborty
• [FM-India] ＨＰＣＣ CFP-CCF "C" Conference-8+SIs: Deadline Extended to April 15, 2019   Qin Liu

Last message date: Tue Apr 30 05:35:18 IST 2019
Archived on: Tue Apr 30 05:35:20 IST 2019

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