Information for "IFM 2020"

Jump to: navigation, search

Basic information

Display titleIFM 2020
Default sort keyIFM 2020
Page length (in bytes)1,484
Page ID37662
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorSoeren (talk | contribs)
Date of page creation00:20, 18 March 2020
Latest editorBirgit.Hofmann (talk | contribs)
Date of latest edit11:15, 8 April 2020
Total number of edits7
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (4)

Templates used on this page:

Facts about "IFM 2020"
Abstract deadlineMay 15, 2020 +
AcronymIFM 2020 +
End dateNovember 20, 2020 +
Event in seriesIFM +
Event typeConference +
Has coordinates46° 0' 18", 8° 57' 7"Latitude: 46.005011111111
Longitude: 8.9520277777778
+
Has coordinatorMohammad Rezaalipour +, Diego Marcilio + and Elisa Larghi +
Has general chairCarlo A. Furia +
Has location cityLugano +
Has location countryCategory:Switzerland +
Has program chairBrijesh Dongol + and Elena Troubitsyna +
Has twitter@iFMcon +
Homepagehttps://ifm20.si.usi.ch +
IsAEvent +
NotificationAugust 14, 2020 +
Paper deadlineJune 22, 2020 +
Start dateNovember 16, 2020 +
Submission deadlineJune 22, 2020 +
Title16th International Conference on Integrated Formal Methods +