10times
24th EditionConference

International Symposium on Formal Methods

20 - 26 Nov 2021Add To Calendar
Chinese Academy of Sciences, Beijing, China
AboutFollowersReviewsExhibitorsPhotosSpeakersTravel Deals

FM will highlight the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. We are in particular interested in the application of formal methods in the areas of systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, biology. We also welcome papers on experiences from application of formal methods in industry, and on the design and validation of formal methods tools.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100
Delegates
Estimated Count

Category & Type

Conference
IT & Technology

Editions

Nov 2021 Interested


Frequency Newly Listed

Official Links

WebsiteContacts


Report Error
Claim this event
Different Located Editions
Oxford, UK15 - 17 Jul 2018
Pyrgos, Cyprus07 - 11 Nov 2016
5 Followers

Organizer

LogoSend Stall Book Request

Formal Methods Europe

Ireland4 Total Events / 2 Upcoming Events
39.910633116.335632

Venue Map & Directions

map of Chinese Academy of Sciences

Chinese Academy of Sciences

52 Sanlihe Rd, Xicheng Qu, Beijing Shi
China

Get Directions

Featured Hotels in Beijing

More Hotels

You have no contacts. Please add contacts from below or share on social media

Send to all
No Results