{ "query": { "discipline": [ "Q1049183" ], "page": 8 }, "total": 189, "sort": "newest", "page": 8, "per_page": 25, "results": [ { "id": "e113jg4", "iri": "https://id.confref.org/event/e113jg4", "kind": "event", "label": "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1999, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q7880", "country": "FR", "lat": 43.6044, "lon": 1.4433, "mode": null }, { "id": "e103beh", "iri": "https://id.confref.org/event/e103beh", "kind": "event", "label": "Formal Methods in Computer-Aided Design 1998", "acronyms": [ "FMCAD 1998", "FMCAD" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q184793", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q3966" ], "year": 1998, "start": "1998-11-04", "end": "1998-11-06", "series": [ "s109pp9" ], "place": "http://www.wikidata.org/entity/Q47265", "country": "US", "lat": 37.4444, "lon": -122.16, "mode": "on site" }, { "id": "e129s0h", "iri": "https://id.confref.org/event/e129s0h", "kind": "event", "label": "3rd International Workshop on Formal Methods for Industrial Critical Systems", "acronyms": [ "FMICS 1998" ], "fields": [ "1.1" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183" ], "year": 1998, "start": "1998-05-25", "end": "1998-05-26", "series": [ "s109ps3" ], "place": "http://www.wikidata.org/entity/Q29999", "country": "NL", "lat": 52.3667, "lon": 4.8833, "mode": "on site" }, { "id": "e129rzk", "iri": "https://id.confref.org/event/e129rzk", "kind": "event", "label": "2nd International Workshop on Formal Methods for Industrial Critical Systems", "acronyms": [ "FMICS 1997" ], "fields": [ "1.1" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183" ], "year": 1997, "start": "1997-07-04", "end": "1997-07-05", "series": [ "s109ps3" ], "place": "http://www.wikidata.org/entity/Q6662", "country": "IT", "lat": 44.1333, "lon": 12.2333, "mode": "on site" }, { "id": "e103bdk", "iri": "https://id.confref.org/event/e103bdk", "kind": "event", "label": "Formal Methods in Computer-Aided Design 1996", "acronyms": [ "FMCAD 1996", "FMCAD" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q184793", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q3966" ], "year": 1996, "start": "1996-11-06", "end": "1996-11-08", "series": [ "s109pp9" ], "place": "http://www.wikidata.org/entity/Q47265", "country": "US", "lat": 37.4444, "lon": -122.16, "mode": "on site" }, { "id": "e129ryn", "iri": "https://id.confref.org/event/e129ryn", "kind": "event", "label": "1st International Workshop on Formal Methods for Industrial Critical Systems", "acronyms": [ "FMICS 1996" ], "fields": [ "1.1" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183" ], "year": 1996, "start": "1996-03-19", "end": "1996-03-19", "series": [ "s109ps3" ], "place": "http://www.wikidata.org/entity/Q34217", "country": "GB", "lat": 51.7519, "lon": -1.2578, "mode": "on site" }, { "id": "e129rjd", "iri": "https://id.confref.org/event/e129rjd", "kind": "event", "label": "International Symposium on Formal Methods", "acronyms": [ "FM 1994" ], "fields": [ "1.1", "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1994, "start": "1994-10-18", "end": "1994-10-24", "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q1492", "country": "ES", "lat": 41.3825, "lon": 2.1769, "mode": "on site" }, { "id": "e113jy8", "iri": "https://id.confref.org/event/e113jy8", "kind": "event", "label": "VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1991, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q29999", "country": "NL", "lat": 52.3667, "lon": 4.8833, "mode": null }, { "id": "e113jxa", "iri": "https://id.confref.org/event/e113jxa", "kind": "event", "label": "VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1990, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q1707", "country": "DE", "lat": 54.3233, "lon": 10.1394, "mode": null }, { "id": "e113jwc", "iri": "https://id.confref.org/event/e113jwc", "kind": "event", "label": "VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1988, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q1761", "country": "IE", "lat": 53.3497, "lon": -6.2603, "mode": null }, { "id": "e113jve", "iri": "https://id.confref.org/event/e113jve", "kind": "event", "label": "VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1987, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q239", "country": "BE", "lat": 50.8467, "lon": 4.3517, "mode": null }, { "id": "e113jsj", "iri": "https://id.confref.org/event/e113jsj", "kind": "event", "label": "Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1981, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q25319", "country": "DK", "lat": 56.1564, "lon": 10.2097, "mode": null }, { "id": "e113jtg", "iri": "https://id.confref.org/event/e113jtg", "kind": "event", "label": "The Vienna Development Method: The Meta-Language", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 1978, "start": null, "end": null, "series": [ "s109pnb" ], "place": null, "country": null, "lat": null, "lon": null, "mode": null }, { "id": "e124646", "iri": "https://id.confref.org/event/e124646", "kind": "event", "label": "IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems", "acronyms": [ "IEICE Trans D Form Appr 2018" ], "fields": [ "1.1" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183" ], "year": null, "start": null, "end": null, "series": [], "place": null, "country": null, "lat": null, "lon": null, "mode": "on site" } ] }