BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2023/newsitem/14401/16
 ---17-November-2023-15th-Latin-American-Workshop-o
 n-New-Methods-of-Reasoning-LANMR-2023-Mexico-City-
 Mexico
DTSTAMP:20230801T130147
SUMMARY:15th Latin American Workshop on New Method
 s of Reasoning (LANMR 2023), Mexico City, Mexico
DTSTART;VALUE=DATE:20231116
DTEND;VALUE=DATE:20231117
LOCATION:Mexico City, Mexico
DESCRIPTION:LANMR 2023 is the fifteenth edition of
  the Latin American Workshop series on Logic/Langu
 ages, Algorithms and New Methods of Reasoning. The
  aim of this workshop is to bring together people 
 from different fields such as programming language
 s foundations, formal verification, philosophy or 
 artificial intelligence, around methods of reasoni
 ng and applications involving logic.  LANMR 2023 w
 ill be a hybrid event including in-person and onli
 ne participation. The physical venue will be Ciuda
 d Universitaria UNAM (Facultad de Ingeniería) in M
 éxico City.  We call for extended abstracts. In pa
 rticular you can present work in progress or work 
 that is recently published elsewhere. Abstracts sh
 ould be written in English, limited to 3 pages inc
 luding footnotes and appendices (but not reference
 s) and prepared for anonymous review. The language
  of the workshop is English, authors of accepted c
 ontributions will be required to give a 30 minute 
 presentation, including questions and discussion, 
 either in-person or online. A book of abstracts wi
 ll be distributed previous to the meeting.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>LANMR 202
 3 is the fifteenth edition of the Latin American W
 orkshop series on Logic/Languages, Algorithms and 
 New Methods of Reasoning. The aim of this workshop
  is to bring together people from different fields
  such as programming languages foundations, formal
  verification, philosophy or artificial intelligen
 ce, around methods of reasoning and applications i
 nvolving logic.</p>\n  <p>LANMR 2023 will be a hyb
 rid event including in-person and online participa
 tion. The physical venue will be Ciudad Universita
 ria UNAM (Facultad de Ingeniería) in México City.<
 /p>\n</div><div>\n  <p>We call for extended abstra
 cts. In particular you can present work in progres
 s or work that is recently published elsewhere. Ab
 stracts should be written in English, limited to 3
  pages including footnotes and appendices (but not
  references) and prepared for anonymous review. Th
 e language of the workshop is English, authors of 
 accepted contributions will be required to give a 
 30 minute presentation, including questions and di
 scussion, either in-person or online. A book of ab
 stracts will be distributed previous to the meetin
 g.</p>\n</div>
URL:http://www.lanmr.unam.mx
END:VEVENT
END:VCALENDAR