{
 "query": {
  "series": [
   "s10df2h"
  ],
  "page": 1
 },
 "total": 18,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1211s6",
   "iri": "https://id.confref.org/event/e1211s6",
   "kind": "event",
   "label": "Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "s10df2h",
   "iri": "https://id.confref.org/series/s10df2h",
   "kind": "series",
   "label": "Workshop on Logical and Semantic Frameworks with Applications (LSFA)",
   "acronyms": [
    "LSFA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "first": 2007,
   "last": 2025,
   "events": 17
  },
  {
   "id": "e1211gr",
   "iri": "https://id.confref.org/event/e1211gr",
   "kind": "event",
   "label": "Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goiânia, Brazil, 18th-20th September 2024.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q83189",
   "country": "BR",
   "lat": -16.6806,
   "lon": -49.2564,
   "mode": null
  },
  {
   "id": "e1210v3",
   "iri": "https://id.confref.org/event/e1210v3",
   "kind": "event",
   "label": "Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10cghk",
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q142",
   "country": "FR",
   "lat": 47.0,
   "lon": 2.0,
   "mode": null
  },
  {
   "id": "e12103m",
   "iri": "https://id.confref.org/event/e12103m",
   "kind": "event",
   "label": "Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q42800",
   "country": "BR",
   "lat": -19.9281,
   "lon": -43.9419,
   "mode": null
  },
  {
   "id": "e120zht",
   "iri": "https://id.confref.org/event/e120zht",
   "kind": "event",
   "label": "Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q1486",
   "country": "AR",
   "lat": -34.5997,
   "lon": -58.3819,
   "mode": null
  },
  {
   "id": "e11h2ft",
   "iri": "https://id.confref.org/event/e11h2ft",
   "kind": "event",
   "label": "Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  },
  {
   "id": "e11h2ew",
   "iri": "https://id.confref.org/event/e11h2ew",
   "kind": "event",
   "label": "Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2019,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e120p9m",
   "iri": "https://id.confref.org/event/e120p9m",
   "kind": "event",
   "label": "Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2018,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q43463",
   "country": "BR",
   "lat": -3.7275,
   "lon": -38.5275,
   "mode": null
  },
  {
   "id": "e120p5w",
   "iri": "https://id.confref.org/event/e120p5w",
   "kind": "event",
   "label": "12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2017,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "e120nz8",
   "iri": "https://id.confref.org/event/e120nz8",
   "kind": "event",
   "label": "11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2016,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q36433",
   "country": "PT",
   "lat": 41.15,
   "lon": -8.6108,
   "mode": null
  },
  {
   "id": "e120nqr",
   "iri": "https://id.confref.org/event/e120nqr",
   "kind": "event",
   "label": "Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2015,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e120ncf",
   "iri": "https://id.confref.org/event/e120ncf",
   "kind": "event",
   "label": "Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "e120n5x",
   "iri": "https://id.confref.org/event/e120n5x",
   "kind": "event",
   "label": "Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2013,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q174",
   "country": "BR",
   "lat": -23.5504,
   "lon": -46.6339,
   "mode": null
  },
  {
   "id": "e120m5y",
   "iri": "https://id.confref.org/event/e120m5y",
   "kind": "event",
   "label": "Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2010,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e120kvj",
   "iri": "https://id.confref.org/event/e120kvj",
   "kind": "event",
   "label": "Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2009,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "e120kk2",
   "iri": "https://id.confref.org/event/e120kk2",
   "kind": "event",
   "label": "Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2008,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q36947",
   "country": "BR",
   "lat": -12.9831,
   "lon": -38.4928,
   "mode": null
  },
  {
   "id": "e120jdg",
   "iri": "https://id.confref.org/event/e120jdg",
   "kind": "event",
   "label": "Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2007,
   "start": null,
   "end": null,
   "series": [
    "s10df2h"
   ],
   "place": "http://www.wikidata.org/entity/Q188905",
   "country": "BR",
   "lat": -20.3853,
   "lon": -43.5036,
   "mode": null
  }
 ]
}