Browse wiki

Jump to: navigation, search
IFM 2020
Abstract deadline
May 15, 2020  +
Acronym
IFM 2020  +
End date
November 20, 2020  +
Event in series
IFM +
Event type
Conference  +
Has coordinates
46° 0' 18", 8° 57' 7"Latitude: 46.005011111111
Longitude: 8.9520277777778  +
Has coordinator
Mohammad Rezaalipour + , Diego Marcilio + , Elisa Larghi +
Has general chair
Carlo A. Furia +
Has location city
Lugano +
Has location country
Category:Switzerland +
Has program chair
Brijesh Dongol + , Elena Troubitsyna +
Has twitter
@iFMcon  +
Homepage
https://ifm20.si.usi.ch  +
IsA
Event  +
Notification
August 14, 2020  +
Paper deadline
June 22, 2020  +
Start date
November 16, 2020  +
Submission deadline
June 22, 2020  +
Title
16th International Conference on Integrated Formal Methods  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
IFM 2020 + , IFM 2020 + , IFM 2020 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
23:20:20, 17 March 2020  +
Categories
Switzerland , Stand-alone event , Formal methods
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Birgit.Hofmann +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
10:15:46, 8 April 2020  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:IFM-202020"