User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 10:38, 8 April 2020 (diff | hist) . . (0) . . IFM 2018 (current)
- 10:37, 8 April 2020 (diff | hist) . . (0) . . IFM 2017 (current)
- 10:36, 8 April 2020 (diff | hist) . . (0) . . IFM 2016 (current)
- 10:34, 8 April 2020 (diff | hist) . . (+22) . . N IFM (Birgit.Hofmann verschob die Seite IFM nach IFM 2020) (Tag: New redirect)
- 10:34, 8 April 2020 (diff | hist) . . (0) . . m IFM 2020 (Birgit.Hofmann verschob die Seite IFM nach IFM 2020)
- 10:31, 8 April 2020 (diff | hist) . . (+17) . . IFM 2020
- 09:28, 8 April 2020 (diff | hist) . . (+1,279) . . N IFM 2016 (Created page with "{{Event |Acronym=IFM 2016 |Title=12th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2016/06/01 |End date=2016/06/03 |City=Reyk...")
- 09:18, 8 April 2020 (diff | hist) . . (+1,298) . . N IFM 2017 (Created page with "{{Event |Acronym=IFM 2017 |Title=13th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2017/09/18 |End date=2017/09/22 |City=Turi...")
- 09:09, 8 April 2020 (diff | hist) . . (+1,305) . . N IFM 2018 (Created page with "{{Event |Acronym=IFM 2018 |Title=14th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2018/09/05 |End date=2018/09/07 |City=Mayn...")
- 08:58, 8 April 2020 (diff | hist) . . (+1,300) . . N IFM 2019 (Created page with "{{Event |Acronym=IFM 2019 |Title=15th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2019/12/02 |End date=2019/12/06 |City=Berg...")
- 12:19, 6 April 2020 (diff | hist) . . (+432) . . N ICATPN 2020 (Created page with "{{Event |Acronym=ICATPN 2020 |Title=41st International Conference on Application and Theory of Petri Nets |Series=ICATPN |Type=Conference |Superevent=Paris Nord Summer of LoVe...") (current)
- 11:35, 6 April 2020 (diff | hist) . . (+1,600) . . N SEFM 2020 (Created page with "{{Event |Acronym=SEFM 2020 |Title=18th International Conference on Software Engineering and Formal Methods |Series=SEFM |Type=Conference |Start date=2020/09/14 |End date=2020/...") (current)
- 10:50, 6 April 2020 (diff | hist) . . (+1,492) . . N SLE 2020 (Created page with "{{Event |Acronym=SLE 2020 |Title=International13th Conference on Software Language Engineering |Series=SLE |Type=Conference |Start date=2020/11/15 |End date=2020/11/20 |Submis...")
- 13:57, 1 April 2020 (diff | hist) . . (+311) . . N ICER 2020 (Created page with "{{Event |Acronym=ICER 2020 |Title=16th International Computing Education Research Conference |Series=ICER |Type=Conference |Start date=2020/08/10 |End date=2020/08/12 |Submiss...")
- 13:46, 30 March 2020 (diff | hist) . . (+31) . . ISPEC 2020 (current)
- 13:37, 30 March 2020 (diff | hist) . . (+1,267) . . N ISPEC 2020 (Created page with "{{Event |Acronym=ISPEC 2020 |Title=16th International Conference on Information Security Practice and Experience |Series=ISPEC |Type=Conference |Start date=2020/11/20 |End dat...")
- 12:59, 26 March 2020 (diff | hist) . . (+1,231) . . N IVA 2020 (Created page with "{{Event |Acronym=IVA 2020 |Title=20th ACM International Conference on Intelligent Virtual Agents |Series=IVA |Type=Conference |Start date=2020/09/09 |End date=2020/09/12 |Subm...")
- 12:20, 26 March 2020 (diff | hist) . . (+1,262) . . N IEEE-IV 2020 (Created page with "{{Event |Acronym=IEEE-IV 2020 |Title=31st IEEE Intelligent Vehicles Symposium |Series=IEEE-IV |Type=Conference |Start date=2020/06/23 |End date=2020/06/26 |Submission deadline...")
- 14:08, 25 March 2020 (diff | hist) . . (+1,215) . . N ISC 2020 (Created page with "{{Event |Acronym=ISC2020 |Title=Information Security Conference |Series=ISC |Type=Conference |Start date=2020/12/16 |End date=2020/12/20 |Submission deadline=2020/07/28 |Homep...")
- 12:45, 25 March 2020 (diff | hist) . . (+1,147) . . IFM 2020
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
