Conferences By State
- Andaman
- Andhra Pradesh
- Arunachal Pradesh
- Assam
- Bihar
- Chandigarh
- Chhattisgarh
- Dadra
- Daman and Diu
- Delhi
- Goa
- Gujarat
- Haryana
- Himachal Pradesh
- Jammu
- Jharkhand
- Karnataka
- Kerala
- Lakshadweep
- Madhya Pradesh
- Maharashtra
- Manipur
- Meghalaya
- Mizoram
- Nagaland
- Odisha
- Pondicherry
- Puducherry
- Punjab
- Rajasthan
- Sikkim
- Tamil Nadu
- Telangana
- Tripura
- Uttar Pradesh
- Uttarakhand
- West Bengal
Conferences By City
- Agra
- Ahmedabad
- Ahmednagar
- Amravati
- Amritsar
- Aurangabad
- Bangalore
- Bhilai
- Bhubaneswar
- Chandigarh
- Chennai
- Chinchawad, Pune
- Coimbatore
- Dehradun
- Delhi
- Ernakulam
- Faridabad
- Ghaziabad
- Gorakhpur
- Goregaon
- Guntur
- Gurugram
- Guwahati
- Gwalior
- Hadapsar
- Hyderabad
- Indore
- Jabalpur
- Jaipur
- Jalandhar
- Jamshedpur
- Jhansi
- Kalyan Thane
- Kanpur
- Khandala
- Kharagpur
- Kochi
- Kolhapur
- Kolkata
- Latur
- Lonavala
- Lucknow
- Ludhiana
- Madurai
- Mahabaleshwar
- Maharashtra
- Manmad
- Mumbai
- Mysuru
- Nagpur
- Nanded
- Nashik
- Navi Mumbai
- Noida
- Panchgani
- Pandharpur
- Patna
- Pimpri
- Pune
- Puri
- Raipur
- Ranchi
- Rourkela
- Sangli
- Satara
- Shirdi
- Solapur
- Surat
- Thane
- Thiruvananthapuram
- Vadodara
- Varanasi
- Vizag
Recent Post
Event Detail
FM 2016 - 21st International Symposium on Formal Methods
Event Serial-30643
Website http://fm2016.cs.ucy.ac.cy/
Contact Person- Easy Conferences
Event enquiries email address- [email protected]
Deadline for abstracts/proposals: 2016-05-16
Organized by: University of Cyprus View More Conferences
Venue: Limassol, Town in Cyprus, Limassol, Cyprus
About Event
FM 2016, by Formal Methods Europe - an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposium aims to bring together innovators and practitioners in precise mathematical methods for software and systems development
