April 2019 Archives by author
Starting: Wed Apr 3 02:13:14 IST 2019
Ending: Tue Apr 30 05:35:18 IST 2019
Messages: 16
- [FM-India] FORMATS 2019 (Amsterdam): new submission schedule
Étienne André
- [FM-India] CFP: 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019)
Claudio A. Ardagna
- [FM-India] VSTTE 2019: Second Call for Papers
Supratik Chakraborty
- [FM-India] PhD position: Formal methods in control (Munich, Germany)
Yogananda Jeppu
- [FM-India] HPCC CFP-CCF "C" Conference-8+SIs: Deadline Extended to April 15, 2019
Qin Liu
- [FM-India] HPCC CFP-CCF "C" Conference-8+SIs: Deadline Extended to April 15, 2019
Qin Liu
- [FM-India] The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, , 2 - 4 September 2019, Bordeaux, France
Madhavan Mukund
- [FM-India] AVoCS 2019 - Call for Papers
Madhavan Mukund
- [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] Software Engineering Update Meeting
Madhavan Mukund
- [FM-India] Call for Papers: ACM-IEEE MEMOCODE 2019
Madhavan Mukund
- [FM-India] SEFM 2019 - abstract submission deadline May 3, 2019
Madhavan Mukund
- [FM-India] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
Madhavan Mukund
- [FM-India] [DEADLINE EXTENDED] CyberSciTech 2019 CFP (August 5-8, 2019, Fukuoka, Japan)
Kevin I-Kai Wang
- [FM-India] [DEADLINE APPROACHING] CyberSciTech 2019 CFP (August 5-8, 2019, Fukuoka, Japan)
Kevin I-Kai Wang
- [FM-India] CyberSciTech 2019 Call for LBI, WiP, Poster Papers (August 5-8, 2019, Fukuoka, Japan)
Kevin I-Kai Wang
Last message date:
Tue Apr 30 05:35:18 IST 2019
Archived on: Tue Apr 30 05:35:20 IST 2019
This archive was generated by
Pipermail 0.09 (Mailman edition).