Combined display of all available logs of ConfIDent. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:55, 19 September 2022 Curator 75 talk contribs created page IFM 2022 (Created page with "{{Event |Acronym=IFM 2022 |Title=International Conference on Integrated Formal Methods |Ordinal=17 |In Event Series=Event Series:IFM |Single Day Event=no |Start Date=2022/06/0...")