Upcoming Conferences and Deadline

Conference	Deadline	Date	Venue	Paper Length	Ideas

~~European Conference on Software Architecture (ECSA)~~	03/27/2019 - 03/31/2019	09/9-13/2019	Paris France	LNCS 16 pages	* Awas Tool
				LNCS 8 pages short paper	* Dependency Analysis
				LNCS 4 pages Tool paper	* Query Language
~~International Symposium on Model-Based Safety and Assessment (IMBSA 2019)~~	04/05/2019 abstract	10/16-18/2019	Thessaloniki Greece	LNCS 15 pages	* Awas based 80001
	05/03/2019 full Paper
FORMAL METHODS FOR INDUSTRIALLY CRITICAL SYSTEMS	04/19/2019 abstract	08/30-31/2019	Amsterdam	LNCS 15 pages	* Awas reachability analysis
	04/26/2019 full paper
International Symposium on Automated Technology for Verification and Analysis	04/26/2019 abstract			LNCS 16 pages	* Awas reachability analysis
	05/03/2019 full paper	28-31/10/2019	Taipei city, Taiwan		(have to be lot more technical may be SAFE automation is more suitable)
International Conference on Software Engineering and Formal Methods (SEFM)	05/03/2019 abstract			LNCS 15 pages	* SAFE Automation
	05/10/2019 full paper	09/16-20/2019	Oslo, Norway	LNCS 6 pages Tool Paper
~~Graphical Models for Security~~	04/05-22/2019	06/24/2019	Hoboken, New Jersey	LNCS 18 pages	* Modeling and visualizing
				LNCS 10 Pages short paper	Security errors in system
					using both PCA and UAV