CAV 2018 (Duplicate): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 October 2026

16 September 2026

  • curprev 08:3208:32, 16 September 2026 Akhilesh talk contribs 494 bytes 0 Cleaned CAV 2018 (Duplicate) with new text {{Event |Acronym=CAV 2018 |Title=International Conference on Computer Aided Verification |Ordinal=30 |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018-07-14 |End date=2018-07-17 |Homepage=http://cavconference.org/2018/ |Event mode=InPerson |City=Oxford |Country=United Kingdom |Submitted papers=215 |Accepted papers=52 |Has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 |Has Proceedings DOI=http... Tag: Manual revert

14 September 2026

  • curprev 10:4610:46, 14 September 2026 Akhilesh talk contribs 494 bytes 0 Cleaned CAV 2018 (Duplicate) with new text {{Event |Acronym=CAV 2018 |Title=International Conference On Computer Aided Verification |Ordinal=30 |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018-07-14 |End date=2018-07-17 |Homepage=http://cavconference.org/2018/ |Event mode=InPerson |City=Oxford |Country=United Kingdom |Submitted papers=215 |Accepted papers=52 |Has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 |Has Proceedings DOI=http... Tag: Reverted

25 August 2026

  • curprev 03:5003:50, 25 August 2026 Akhilesh talk contribs 494 bytes +21 Cleaned CAV 2018 (Duplicate) with new text {{Event |Acronym=CAV 2018 |Title=International Conference on Computer Aided Verification |Ordinal=30 |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018-07-14 |End date=2018-07-17 |Homepage=http://cavconference.org/2018/ |Event mode=InPerson |City=Oxford |Country=United Kingdom |Submitted papers=215 |Accepted papers=52 |Has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 |Has Proceedings DOI=http...

21 August 2026

  • curprev 09:1609:16, 21 August 2026 Akhilesh talk contribs 473 bytes 0 Cleaned CAV 2018 (Duplicate) with new text {{Event |Acronym=CAV 2018 |Title=International Conference on Computer Aided Verification |Ordinal=30 |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018-07-14 |End date=2018-07-17 |Homepage=http://cavconference.org/2018/ |City=Oxford |Country=United Kingdom |Submitted papers=215 |Accepted papers=52 |Has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 |Has Proceedings DOI=https://doi.org/10.1007/9...

17 August 2026

  • curprev 08:4508:45, 17 August 2026 Akhilesh talk contribs 473 bytes +473 Recreated duplicated CAV 2018 (Duplicate) with text {{Event |Acronym=CAV 2018 |Title=International Conference on Computer Aided Verification |Ordinal=30 |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018-07-14 |End date=2018-07-17 |Homepage=http://cavconference.org/2018/ |City=Oxford |Country=United Kingdom |Submitted papers=215 |Accepted papers=52 |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 |has Proceedings DOI=https://doi.org/...
Retrieved from "https://www.openresearch.org/wiki/CAV_2018_(Duplicate)"